The renaming problem in shared memory systems: An introduction

A Castañeda, S Rajsbaum, M Raynal - Computer Science Review, 2011 - Elsevier
Exploring the power of shared memory communication objects and models, and the limits of
distributed computability are among the most exciting research areas of distributed …

The failure detector abstraction

FC Freiling, R Guerraoui, P Kuznetsov - ACM Computing Surveys …, 2011 - dl.acm.org
A failure detector is a fundamental abstraction in distributed computing. This article surveys
this abstraction through two dimensions. First we study failure detectors as building blocks to …

Anti-Ω: the weakest failure detector for set agreement

P Zielinski - Proceedings of the twenty-seventh ACM symposium on …, 2008 - dl.acm.org
In the set agreement problem, n processes have to decide on at most n-1 of the proposed
values. This paper shows that the anti-Omega failure detector is both sufficient and …

On the weakest failure detector ever

R Guerraoui, M Herlihy, P Kouznetsov… - Proceedings of the …, 2007 - dl.acm.org
Many problems in distributed computing are impossible when no information about process
failures is available. It is common to ask what information about failures is necessary and …

In search of the holy grail: Looking for the weakest failure detector for wait-free set agreement

M Raynal, C Travers - Principles of Distributed Systems: 10th International …, 2006 - Springer
Asynchronous failure detector-based set agreement algorithms proposed so far assume that
all the processes participate in the algorithm. This means that (at least) the processes that do …

Read-write memory and k-set consensus as an affine task

E Gafni, Y He, P Kuznetsov, T Rieutord - arXiv preprint arXiv:1610.01423, 2016 - arxiv.org
The wait-free read-write memory model has been characterized as an iterated\emph
{Immediate Snapshot}(IS) task. The IS task is\emph {affine}---it can be defined as a (sub) set …

From adaptive renaming to set agreement

E Gafni, A Mostéfaoui, M Raynal, C Travers - Theoretical Computer Science, 2009 - Elsevier
The adaptive M-renaming problem consists of providing processes with a new name taken
from a name space whose size M depends only on the number p of processes that …

Generalized symmetry breaking tasks and nondeterminism in concurrent objects

A Castañeda, D Imbs, S Rajsbaum, M Raynal - SIAM Journal on Computing, 2016 - SIAM
Processes in a concurrent system need to coordinate using an underlying shared memory or
a message-passing system in order to solve agreement tasks such as, for example …

Test & set, adaptive renaming and set agreement: a guided visit to asynchronous computability

E Gafni, M Raynal, C Travers - 2007 26th IEEE International …, 2007 - ieeexplore.ieee.org
An important issue in fault-tolerant asynchronous computing is the respective power of an
object type with respect to another object type. This question has received a lot of attention …

Renaming is weaker than set agreement but for perfect renaming: A map of sub-consensus tasks

A Castañeda, D Imbs, S Rajsbaum… - LATIN 2012: Theoretical …, 2012 - Springer
In the wait-free shared memory model substantial attention has been devoted to
understanding the relative power of sub-consensus tasks. Two important sub-consensus …