Easy impossibility proofs for k-set agreement in message passing systems

M Biely, P Robinson, U Schmid - Proceedings of the 30th annual ACM …, 2011 - dl.acm.org
We study distributed algorithms that solve agreement problems, namely, k-set agreement.
Their purpose is to compute and irrevocably set the output yp of process p to some decision …

On the road to the weakest failure detector for k-set agreement in message-passing systems

F Bonnet, M Raynal - Theoretical Computer Science, 2011 - Elsevier
In the k-set agreement problem, each process (in a set of n processes) proposes a value
and has to decide a proposed value in such a way that at most k different values are …

Parallel consensus is harder than set agreement in message passing

Z Bouzid, C Travers - 2013 IEEE 33rd International Conference …, 2013 - ieeexplore.ieee.org
In the traditional consensus task, processes are required to agree on a common value
chosen among the initial values of the participating processes. It is well known that …

-Based k-Set Agreement Algorithms

Z Bouzid, C Travers - … Conference On Principles Of Distributed Systems, 2010 - Springer
This paper considers the k-set agreement problem in a crash-prone asynchronous message
passing system enriched with failure detectors. Two classes of failure detectors have been …

A Topological View of Partitioning Arguments: Reducing k-Set Agreement to Consensus

H Rincon Galeana, K Winkler, U Schmid… - … on Stabilizing, Safety …, 2019 - Springer
The objective of this paper is to understand the effect of partitioning in distributed computing
models. In spite of being quite similar agreement problems,(deterministic) consensus (1-set …

Chasing the weakest failure detector for k-set agreement in message-passing systems

A Mostefaoui, M Raynal… - 2012 IEEE 11th …, 2012 - ieeexplore.ieee.org
This paper continues our quest for the weakest failure detector which allows the k-set
agreement problem to be solved in asynchronous message-passing systems prone to …

Solving k-set agreement using failure detectors in unknown dynamic networks

É Jeanneau, T Rieutord, L Arantes… - IEEE Transactions on …, 2016 - ieeexplore.ieee.org
The failure detector abstraction has been used to solve agreement problems in
asynchronous systems prone to crash failures, but so far it has mostly been used in static …

Simultaneous consensus vs set agreement: a message-passing-sensitive hierarchy of agreement problems

M Raynal, J Stainer - … Colloquium, SIROCCO 2013, Ischia, Italy, July 1-3 …, 2013 - Springer
This paper investigates the relation linking the s-simultaneous consensus problem and the k-
set agreement problem in wait-free message-passing systems. To this end, it first defines the …

Failure detectors to solve asynchronous k-set agreement: a glimpse of recent results

M Raynal - 2010 - inria.hal.science
In the k-set agreement problem, each process proposes a value and has to decide a value
in such a way that a decided value is a proposed value and at most k different values are …

The generalized loneliness detector and weak system models for k-set agreement

M Biely, P Robinson, U Schmid - IEEE Transactions on Parallel …, 2013 - ieeexplore.ieee.org
This paper presents two weak partially synchronous system models M anti (nk) and M sink
(nk), which are just strong enough for solving k-set agreement: We introduce the generalized …