Brief Announcement: The Weakest Failure Detector for Genuine Atomic Multicast
Pages 268 - 270
Abstract
Atomic broadcast is a group communication primitive to order messages across a set of distributed processes. Atomic multicast is its natural generalization where each message m is addressed to dst (m), a subset of the processes called its destination group. A solution to atomic multicast is genuine when a process takes steps only if a message is addressed to it. Genuine solutions are the ones used in practice because they have better performance.
Supplementary Material
BA paper presentation
- Download
- 302.39 MB
References
[1]
Kenneth Birman and Thomas A. Joseph. 1987. Reliable Communication in the Presence of Failures. ACM Trans. on Comp. Sys. 5, 1 (1987), 47--76.
[2]
Kenneth Birman, André Schiper, and Pat Stephenson. 1991. Lightweight Causal and Atomic Group Multicast. ACM Trans. on Comp. Sys. 9, 3 (1991), 272--314.
[3]
François Bonnet and Michel Raynal. 2010. A simple proof of the necessity of the failure detector Sigma to implement an atomic register in asynchronous message-passing systems. Inform. Process. Lett. 110, 4 (2010), 153--157.
[4]
Tushar Deepak Chandra, Vassos Hadzilacos, and Sam Toueg. 1996. The Weakest Failure Detector for Solving Consensus. J. ACM 43, 4 (July 1996), 685--722.
[5]
Tushar Deepak Chandra and Sam Toueg. 1996. Unreliable Failure Detectors for Reliable Distributed Systems. J. ACM 43, 2 (1996), 225--267.
[6]
Paulo R. Coelho, Nicolas Schiper, and Fernando Pedone. 2017. Fast Atomic Multicast. In Proceedings of the Annual IEEE/IFIP int. conf. on Dependable Sys. and Networks, DSN'17. IEEE Computer Society, 37--48.
[7]
James A. Cowling and Barbara Liskov. 2012. Granola: Low-Overhead Distributed Transaction Coordination. In Proceedings of the USENIX Annual Technical Conference, ATC'12. USENIX Association, 223--235.
[8]
Carole Delporte-Gallet and Hugues Fauconnier. 2000. Fault-Tolerant Genuine Atomic Multicast to Multiple Groups. In Proceedings of the International Conference on Principles of Distributed Systems, OPODIS'00 (Studia Informatica Universalis). Suger, 107--122.
[9]
Carole Delporte-Gallet, Hugues Fauconnier, and Rachid Guerraoui. 2002. A Realistic Look At Failure Detectors. In Proceedings of the Annual IEEE/IFIP int. conf. on Dependable Sys. and Networks, DSN'02. IEEE Computer Society, 345--353.
[10]
Carole Delporte-Gallet, Hugues Fauconnier, Rachid Guerraoui, Vassos Hadzilacos, Petr Kouznetsov, and Sam Toueg. 2004. The weakest failure detectors to solve certain fundamental problems in distributed computing. In Proceedings of the ACM Symposium on Principles of Distributed Computing, PODC'04. ACM, 338--346.
[11]
Vitor Enes, Carlos Baquero, Alexey Gotsman, and Pierre Sutra. 2021. Efficient Replication via Timestamp Stability. In Proceedings of the EuroSys European Conference on Computer Systems, EuroSys'21. ACM, 178--193.
[12]
Felix C. Freiling, Rachid Guerraoui, and Petr Kuznetsov. 2011. The Failure Detector Abstraction. ACM Comput. Surv. 43, 2, Article 9 (feb 2011), 40 pages.
[13]
Alexey Gotsman, Anatole Lefort, and Gregory V. Chockler. 2019. White-Box Atomic Multicast. In Proceedings of the Annual IEEE/IFIP int. conf. on Dependable Sys. and Networks, DSN'19. IEEE Computer Society, 176--187.
[14]
Rachid Guerraoui and André Schiper. 2001. Genuine atomic multicast in asynchronous distributed systems. Theo. Computer Science 254, 1--2 (2001), 297--316.
[15]
Udo Fritzke Jr., Philippe Ingels, Achour Mostéfaoui, and Michel Raynal. 2001. Consensus-Based Fault-Tolerant Total Order Multicast. IEEE Transactions on Parallel Distributem Systems 12, 2 (2001), 147--156.
[16]
Long Hoang Le, Mojtaba Eslahi-Kelorazi, Paulo R. Coelho, and Fernando Pedone. 2021. RamCast: RDMA-based atomic multicast. In Proceedings of the International Middleware Conference, Middleware'21. ACM, 172--184.
[17]
Parisa Jalili Marandi, Marco Primi, and Fernando Pedone. 2012. Multi-Ring Paxos. In Proceedings of the Annual IEEE/IFIP int. conf. on Dependable Sys. and Networks, DSN'12. IEEE Computer Society, 1--12.
[18]
Shuai Mu, Lamont Nelson, Wyatt Lloyd, and Jinyang Li. 2016. Consolidating Concurrency Control and Consensus for Commits under Conflicts. In Proceedings of the USENIX Symposium on Operating Systems Design and Implementation, OSDI'16. USENIX Association, 517--532.
[19]
Nicolas Schiper and Fernando Pedone. 2008. Solving Atomic Multicast When Groups Crash. In Proceedings of the International Conference on Principles of Distributed Systems, OPODIS'08 (Lecture Notes in Computer Science), Vol. 5401. Springer, 481--495.
[20]
Nicolas Schiper, Pierre Sutra, and Fernando Pedone. 2009. Genuine versus Non- Genuine Atomic Multicast Protocols for Wide Area Networks: An Empirical Study. In Proceedings of the IEEE Symposium on Reliable Distributed Systems, SRDS'09. IEEE Computer Society, 166--175.
[21]
Nicolas Schiper, Pierre Sutra, and Fernando Pedone. 2010. P-Store: Genuine Partial Replication in Wide Area Networks. In Proceedings of the IEEE Symposium on Reliable Distributed Systems, SRDS'10. IEEE Computer Society, 214--224.
Index Terms
- Brief Announcement: The Weakest Failure Detector for Genuine Atomic Multicast
Recommendations
Brief announcement: single-version permissive STM
PODC '10: Proceedings of the 29th ACM SIGACT-SIGOPS symposium on Principles of distributed computingWe present a single-version STM that satisfies a practical notion of permissiveness: it never aborts read-only transactions, and it only aborts an update transaction due to another conflicting update transaction, thereby avoiding many spurious aborts. ...
Brief announcement: on enhancing concurrency in distributed transactional memory
PODC '10: Proceedings of the 29th ACM SIGACT-SIGOPS symposium on Principles of distributed computingDistributed transactional memory (TM) models based on globally-consistent contention management policies may abort many transactions that could potentially commit without violating correctness. To reduce unnecessary aborts and increase concurrency, we ...
Brief Announcement: Proust: A Design Space for Highly-Concurrent Transactional Data Structures
PODC '17: Proceedings of the ACM Symposium on Principles of Distributed ComputingMost STM systems are poorly equipped to support libraries of concurrent data structures. One reason is that they typically detect conflicts by tracking transactions' read sets and write sets, an approach that often leads to false conflicts. A second is ...
Comments
Information & Contributors
Information
Published In
July 2022
509 pages
Copyright © 2022 Owner/Author.
Permission to make digital or hard copies of part or all of this work for personal or classroom use is granted without fee provided that copies are not made or distributed for profit or commercial advantage and that copies bear this notice and the full citation on the first page. Copyrights for third-party components of this work must be honored. For all other uses, contact the Owner/Author.
Sponsors
Publisher
Association for Computing Machinery
New York, NY, United States
Publication History
Published: 21 July 2022
Check for updates
Qualifiers
- Extended-abstract
Conference
Acceptance Rates
Overall Acceptance Rate 740 of 2,477 submissions, 30%
Contributors
Other Metrics
Bibliometrics & Citations
Bibliometrics
Article Metrics
- 0Total Citations
- 64Total Downloads
- Downloads (Last 12 months)6
- Downloads (Last 6 weeks)0
Reflects downloads up to 23 Dec 2024
Other Metrics
Citations
View Options
Login options
Check if you have access through your login credentials or your institution to get full access on this article.
Sign in