Which Broadcast Abstraction Captures k-Set Agreement?

Abstract : It is well-known that consensus (one-set agreement) and total order broadcast are equivalent in asynchronous systems prone to process crash failures. Considering wait-free systems, this article addresses and answers the following question: which is the communication abstraction that "captures" k-set agreement? To this end, it introduces a new broadcast communication abstraction, called k-BO-Broadcast, which restricts the disagreement on the local deliveries of the messages that have been broadcast (1-BO-Broadcast boils down to total order broadcast). Hence, in this context, k=1 is not a special number, but only the first integer in an increasing integer sequence. This establishes a new "correspondence" between distributed agreement problems and communication abstractions, which enriches our understanding of the relations linking fundamental issues of fault-tolerant distributed computing.
Type de document :
Communication dans un congrès
Andréa W. Richa. 31st International Symposium on Distributed Computing (DISC 2017), Oct 2017, Vienna, Austria. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, pp.1-16, 2017, 31st International Symposium on Distributed Computing (DISC 2017). 〈10.4230/LIPIcs.DISC.2017.27〉
Liste complète des métadonnées

https://hal.archives-ouvertes.fr/hal-01787801
Contributeur : Damien Imbs <>
Soumis le : lundi 7 mai 2018 - 17:56:33
Dernière modification le : jeudi 12 juillet 2018 - 09:32:59

Fichier

LIPIcs-DISC-2017-27.pdf
Fichiers éditeurs autorisés sur une archive ouverte

Licence


Distributed under a Creative Commons Paternité 4.0 International License

Identifiants

Citation

Damien Imbs, Achour Mostefaoui, Matthieu Perrin, Michel Raynal. Which Broadcast Abstraction Captures k-Set Agreement?. Andréa W. Richa. 31st International Symposium on Distributed Computing (DISC 2017), Oct 2017, Vienna, Austria. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, pp.1-16, 2017, 31st International Symposium on Distributed Computing (DISC 2017). 〈10.4230/LIPIcs.DISC.2017.27〉. 〈hal-01787801〉

Partager

Métriques

Consultations de la notice

302

Téléchargements de fichiers

20