The renaming problem in shared memory systems: An introduction
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 …
distributed computability are among the most exciting research areas of distributed …
The failure detector abstraction
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 …
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 …
values. This paper shows that the anti-Omega failure detector is both sufficient and …
On the weakest failure detector ever
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 …
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
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 …
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
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 …
{Immediate Snapshot}(IS) task. The IS task is\emph {affine}---it can be defined as a (sub) set …
From adaptive renaming to set agreement
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 …
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
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 …
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
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 …
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
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 …
understanding the relative power of sub-consensus tasks. Two important sub-consensus …