Document Open Access Logo

No Symmetric Broadcast Abstraction Characterizes k-Set-Agreement in Message-Passing Systems

Authors Sylvain Gay , Achour Mostéfaoui , Matthieu Perrin

PDF

File

Thumbnail PDF
PDF
LIPIcs.OPODIS.2024.21.pdf
  • Filesize: 0.85 MB
  • 20 pages

Document Identifiers

Subject Classification

ACM Subject Classification
  • Theory of computation → Distributed computing models
  • Computer systems organization → Dependable and fault-tolerant systems and networks
  • Networks → Network properties
Keywords
  • Agreement problem
  • Asynchronous system
  • Broadcast abstraction
  • Communication abstraction
  • Compositionality
  • Message-passing system
  • Network neutrality
  • Process crash
  • k-Set agreement
  • Wait-free model
  • Total order broadcast

Metrics

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

Abstract

This paper explores the relationship between broadcast abstractions and the k-set agreement (k-SA) problem in crash-prone asynchronous distributed systems. It specifically investigates whether any broadcast abstraction is computationally equivalent to k-SA in message-passing systems.
A key contribution of the paper is the delineation of the realm of "meaningful" broadcast abstractions, through the introduction of two new symmetry properties: compositionality and content-neutrality, inspired by the principle of network neutrality. Such preciseness in definition is essential for this paper’s scope, as our aim is not to characterize the computing power of a specific broadcast abstraction, but rather to explore the domain of broadcast abstractions as a whole, in search of a broadcast abstraction with certain characteristics. The paper’s main contribution is the proof that no broadcast abstraction, which is both content-neutral and compositional, is computationally equivalent to k-set agreement when 1 < k < n, in the crash-prone asynchronous message-passing model. To the best of our knowledge, this result represents the first instance of showing that a coordination problem cannot be expressed by an equivalent broadcast abstraction. It does not establish the absence of an implementation, but rather the absence of a specification that possesses certain properties.

Cite As Get BibTex

Sylvain Gay, Achour Mostéfaoui, and Matthieu Perrin. No Symmetric Broadcast Abstraction Characterizes k-Set-Agreement in Message-Passing Systems. In 28th International Conference on Principles of Distributed Systems (OPODIS 2024). Leibniz International Proceedings in Informatics (LIPIcs), Volume 324, pp. 21:1-21:20, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2024) https://doi.org/10.4230/LIPIcs.OPODIS.2024.21

Author Details

Sylvain Gay
  • École Normale Supérieure, Paris, France
Achour Mostéfaoui
  • LS2N, Nantes Université, France
Matthieu Perrin
  • LS2N, Nantes Université, France

Funding

This work was partially supported by the French ANR project ByBloS (ANR-20-CE25-0002-01) and the CominLabs Labex project PriCLeSS (ANR-10-LABX-07-81).

References

  1. Yehuda Afek, Eli Gafni, Sergio Rajsbaum, Michel Raynal, and Corentin Travers. The k-simultaneous consensus problem. Distributed Comput., 22(3):185-195, 2010. URL: https://doi.org/10.1007/S00446-009-0090-8.
  2. Mustaque Ahamad, Gil Neiger, James E Burns, Prince Kohli, and Phillip W Hutto. Causal memory: Definitions, implementation, and programming. Distributed Computing, 9:37-49, 1995. URL: https://doi.org/10.1007/BF01784241.
  3. Kenneth P Birman and Thomas A Joseph. Reliable communication in the presence of failures. ACM Transactions on Computer Systems (TOCS), 5(1):47-76, 1987. URL: https://doi.org/10.1145/7351.7478.
  4. Elizabeth Borowsky and Eli Gafni. Generalized FLP impossibility result for t-resilient asynchronous computations. In Proceedings of the Twenty-Fifth Annual ACM Symposium on Theory of Computing, May 16-18, 1993, San Diego, CA, USA, pages 91-100. ACM, 1993. URL: https://doi.org/10.1145/167088.167119.
  5. Zohir Bouzid and Corentin Travers. Parallel consensus is harder than set agreement in message passing. In IEEE 33rd International Conference on Distributed Computing Systems, ICDCS 2013, 8-11 July, 2013, Philadelphia, Pennsylvania, USA, pages 611-620, 2013. URL: https://doi.org/10.1109/ICDCS.2013.72.
  6. Tushar Deepak Chandra and Sam Toueg. Unreliable failure detectors for reliable distributed systems. J. ACM, 43(2):225-267, 1996. URL: https://doi.org/10.1145/226643.226647.
  7. Soma Chaudhuri. More choices allow more faults: Set consensus problems in totally asynchronous systems. Information and Computation, 105(1):132-158, 1993. URL: https://doi.org/10.1006/INCO.1993.1043.
  8. Mathilde Déprés, Achour Mostéfaoui, Matthieu Perrin, and Michel Raynal. Brief announcement: The mbroadcast abstraction. In Rotem Oshman, Alexandre Nolin, Magnús M. Halldórsson, and Alkida Balliu, editors, Proceedings of the 2023 ACM Symposium on Principles of Distributed Computing, PODC 2023, Orlando, FL, USA, June 19-23, 2023, pages 282-285. ACM, 2023. URL: https://doi.org/10.1145/3583668.3594569.
  9. Mathilde Déprés, Achour Mostéfaoui, Matthieu Perrin, and Michel Raynal. Send/receive patterns versus read/write patterns in crash-prone asynchronous distributed systems. In Rotem Oshman, editor, 37th International Symposium on Distributed Computing, DISC 2023, October 10-12, 2023, L'Aquila, Italy, volume 281 of LIPIcs, pages 16:1-16:24. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2023. URL: https://doi.org/10.4230/LIPICS.DISC.2023.16.
  10. Michael J. Fischer, Nancy A. Lynch, and Michael S. Paterson. Impossibility of distributed consensus with one faulty process. Journal of the ACM, 32(2), 1985. URL: https://doi.org/10.1145/3149.214121.
  11. Vassos Hadzilacos and Sam Toueg. A modular approach to fault-tolerant broadcasts and related problems. Technical Report Tech Report 94-1425, Cornell University, 1994. Extended version of "Fault-Tolerant Broadcasts and Related Problems" in Distributed systems, 2nd Edition, Addison-Wesley/ACM, pp. 97-145 (1993. Google Scholar
  12. Maurice Herlihy and Nir Shavit. The asynchronous computability theorem for t-resilient tasks. In Proceedings of the Twenty-Fifth Annual ACM Symposium on Theory of Computing, May 16-18, 1993, San Diego, CA, USA, pages 111-120. ACM, 1993. URL: https://doi.org/10.1145/167088.167125.
  13. Damien Imbs, Achour Mostéfaoui, Matthieu Perrin, and Michel Raynal. Which broadcast abstraction captures k-set agreement? In 31st International Symposium on Distributed Computing, DISC 2017, October 16-20, 2017, Vienna, Austria, volume 91 of LIPIcs, pages 27:1-27:16, 2017. URL: https://doi.org/10.4230/LIPICS.DISC.2017.27.
  14. Damien Imbs, Achour Mostéfaoui, Matthieu Perrin, and Michel Raynal. Set-constrained delivery broadcast: A communication abstraction for read/write implementable distributed objects. Theoretical Computer Science, 886:49-68, 2021. URL: https://doi.org/10.1016/J.TCS.2021.06.044.
  15. Leslie Lamport. Time, clocks, and the ordering of events in a distributed system. Communications, 1978. Google Scholar
  16. Leslie Lamport. Generalized consensus and paxos, 2005. Google Scholar
  17. Fernando Pedone and André Schiper. Generic broadcast. In Distributed Computing: 13th International Symposium, DISC’99 Bratislava, Slovak Republic September 27-29, 1999 Proceedings 13, pages 94-106. Springer, 1999. Google Scholar
  18. David Powell. Group communication (introduction to the special section). Commun. ACM, 39(4):50-53, 1996. URL: https://doi.org/10.1145/227210.227225.
  19. Michel Raynal. Set agreement. In Encyclopedia of Algorithms, pages 1956-1959. Springer, 2016. URL: https://doi.org/10.1007/978-1-4939-2864-4_367.
  20. Michel Raynal. Fault-tolerant message-passing distributed systems: an algorithmic approach. Springer, 2018. URL: https://doi.org/10.1007/978-3-319-94141-7.
  21. Michel Raynal, André Schiper, and Sam Toueg. The causal ordering abstraction and a simple way to implement it. Information processing letters, 39(6):343-350, 1991. URL: https://doi.org/10.1016/0020-0190(91)90008-6.
  22. Michael E. Saks and Fotios Zaharoglou. Wait-free k-set agreement is impossible: the topology of public knowledge. In Proceedings of the Twenty-Fifth Annual ACM Symposium on Theory of Computing, May 16-18, 1993, San Diego, CA, USA, pages 101-110. ACM, 1993. URL: https://doi.org/10.1145/167088.167122.
  23. Fred B. Schneider. The state machine approach: A tutorial. In Proc. of Asilomar Workshop on Fault-Tolerant Distributed Computing, volume 448 of LNCS, pages 18-41. Springer, 1986. URL: https://doi.org/10.1007/BFB0042323.
  24. Tim Wu. Network neutrality, broadband discrimination. J. on Telecomm. & High Tech. L., 2:141, 2003. 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