A visit to mutual exclusion in seven dates
M Raynal, G Taubenfeld - Theoretical Computer Science, 2022 - Elsevier
Mutual exclusion (mutex) is one of the most fundamental synchronization problems
encountered in shared memory systems. It appears in all computer science first-degree …
encountered in shared memory systems. It appears in all computer science first-degree …
Mutual exclusion in fully anonymous shared memory systems
M Raynal, G Taubenfeld - Information Processing Letters, 2020 - Elsevier
Process anonymity has been studied for a long time. Memory anonymity is more recent. In
an anonymous memory system, there is no a priori agreement among the processes on the …
an anonymous memory system, there is no a priori agreement among the processes on the …
Anonymous shared memory
G Taubenfeld - ACM Journal of the ACM (JACM), 2022 - dl.acm.org
Assuming that there is an a priori agreement between processes on the names of shared
memory locations, as is done in almost all the publications on concurrent shared memory …
memory locations, as is done in almost all the publications on concurrent shared memory …
A short visit to distributed computing where simplicity is considered a first class property
M Raynal - The French School of Programming, 2023 - Springer
Similarly to the injunction “Know yourself” engraved on the frontispiece of Delphi's temple
more than two millennia ago, the sentence “Make it as simple as possible, but not …
more than two millennia ago, the sentence “Make it as simple as possible, but not …
Fully anonymous consensus and set agreement algorithms
M Raynal, G Taubenfeld - … , NETYS 2020, Marrakech, Morocco, June 3–5 …, 2021 - Springer
Process anonymity has been studied for a long time. Memory anonymity is more recent. In
an anonymous memory system, there is no a priori agreement among the processes on the …
an anonymous memory system, there is no a priori agreement among the processes on the …
Demystifying Anonymity: Uncovering the Structure Underlying" Read-Write Wait-Free Covering"
The study of particular synchronization problems in anonymous shared-memory models--be
it processor anonymity, memory anonymity, or full anonymity--has produced ad hoc, so …
it processor anonymity, memory anonymity, or full anonymity--has produced ad hoc, so …
From Bezout's identity to space-optimal election in anonymous memory systems
An anonymous shared memory REG can be seen as an array of atomic registers such that
there is no a priori agreement among the processes on the names of the registers. As an …
there is no a priori agreement among the processes on the names of the registers. As an …
Set agreement power is not a precise characterization for oblivious deterministic anonymous objects
G Taubenfeld - … : 26th International Colloquium, SIROCCO 2019, L' …, 2019 - Springer
Anonymous shared memory systems, recently introduced in [36], are composed of objects
for which there is no a priori agreement between processes on their names. We resolve the …
for which there is no a priori agreement between processes on their names. We resolve the …
Election in fully anonymous shared memory systems: tight space bounds and algorithms
This article addresses election in fully anonymous systems made up of n asynchronous
processes that communicate through atomic read-write registers or atomic read-modify-write …
processes that communicate through atomic read-write registers or atomic read-modify-write …
[PDF][PDF] Symmetry and anonymity in shared memory concurrent systems
M Raynal, G Taubenfeld - Bulletin of EATCS, 2022 - bulletin.eatcs.org
The Distributed Computing Column Page 1 The Distributed Computing Column Seth Gilbert
National University of Singapore seth.gilbert@comp.nus.edu.sg In this issue of the distributed …
National University of Singapore seth.gilbert@comp.nus.edu.sg In this issue of the distributed …