Document Open Access Logo

Brief Announcement: Wait-Free Universality of Consensus in the Infinite Arrival Model

Authors Grégoire Bonin, Achour Mostéfaoui, Matthieu Perrin

PDF

File

Thumbnail PDF
PDF
LIPIcs.DISC.2019.38.pdf
  • Filesize: 406 kB
  • 3 pages

Document Identifiers

Related Versions

Subject Classification

ACM Subject Classification
  • Theory of computation → Distributed computing models
Keywords
  • Concurrent object
  • Consensus
  • Infinite arrival model
  • Linearizability
  • Universal construction
  • Wait-freedom

Metrics

  • Access Statistics
  • Total Accesses (updated on a weekly basis)
    0
    PDF Downloads
    0
    Metadata Views

Abstract

In classical asynchronous distributed systems composed of a fixed number n of processes where some proportion may fail by crashing, many objects do not have a wait-free linearizable implementation (e.g. stacks, queues, etc.). It has been proved that consensus is universal in such systems, which means that this system augmented with consensus objects allows to implement any object that has a sequential specification. In this paper, we consider a more general system model called infinite arrival model where infinitely many processes may arrive and leave or crash during a run. We prove that consensus is still universal in this more general model. For that, we propose a universal construction based on a weak log that can be implementated using consensus objects.

Cite As Get BibTex

Grégoire Bonin, Achour Mostéfaoui, and Matthieu Perrin. Brief Announcement: Wait-Free Universality of Consensus in the Infinite Arrival Model. In 33rd International Symposium on Distributed Computing (DISC 2019). Leibniz International Proceedings in Informatics (LIPIcs), Volume 146, pp. 38:1-38:3, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2019) https://doi.org/10.4230/LIPIcs.DISC.2019.38

Author Details

Grégoire Bonin
  • LS2N, Université de Nantes, France
Achour Mostéfaoui
  • LS2N, Université de Nantes, France
Matthieu Perrin
  • LS2N, Université de Nantes, France

Funding

This work was partially supported by the French ANR project 16-CE25-0005 O'Browser devoted to the study of decentralized applications on Web browsers.

References

  1. Keren Censor-Hillel, Erez Petrank, and Shahar Timnat. Help! In Proceedings of the 2015 ACM Symposium on Principles of Distributed Computing, pages 241-250. ACM, 2015. Google Scholar
  2. Panagiota Fatourou and Nikolaos D. Kallimanis. Highly-Efficient Wait-Free Synchronization. Theory Comput. Syst., 55(3):475-520, 2014. Google Scholar
  3. Maurice Herlihy. Impossibility and Universality Results for Wait-Free Synchronization. In Proceedings of the Seventh Annual ACM Symposium on Principles of Distributed Computing, Toronto, Ontario, Canada, August 15-17, 1988, pages 276-290, 1988. Google Scholar
  4. Michael Merritt and Gadi Taubenfeld. Resilient consensus for infinitely many processes. In International Symposium on Distributed Computing, pages 1-15. Springer, 2003. Google Scholar
  5. Michel Raynal. Distributed Universal Constructions: a Guided Tour. Bulletin of the EATCS, 121, 2017. Google Scholar
Questions / Remarks / Feedback
X

Feedback for Dagstuhl Publishing


Thanks for your feedback!

Feedback submitted

Could not send message

Please try again later or send an E-mail
© 2023-2025 Schloss Dagstuhl – LZI GmbH About DROPS Imprint Privacy Contact