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 …

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 …

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 …

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 …

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 …

Demystifying Anonymity: Uncovering the Structure Underlying" Read-Write Wait-Free Covering"

G Losa, E Gafni - arXiv preprint arXiv:2405.03573, 2024 - arxiv.org
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 …

From Bezout's identity to space-optimal election in anonymous memory systems

E Godard, D Imbs, M Raynal… - Proceedings of the 39th …, 2020 - dl.acm.org
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 …

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 …

Election in fully anonymous shared memory systems: tight space bounds and algorithms

D Imbs, M Raynal, G Taubenfeld - International Colloquium on Structural …, 2022 - Springer
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 …

[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 …