Document Open Access Logo

Granular Synchrony

Authors Neil Giridharan , Ittai Abraham , Natacha Crooks , Kartik Nayak , Ling Ren

PDF
Thumbnail PDF

File

LIPIcs.DISC.2024.30.pdf
  • Filesize: 0.85 MB
  • 22 pages

Document Identifiers

Author Details

Neil Giridharan
  • Unversity of California, Berkeley, CA, USA
Ittai Abraham
  • Intel Labs, Petah Tikva, Israel
Natacha Crooks
  • Unversity of California, Berkeley, CA, USA
Kartik Nayak
  • Duke University, Durham, NC, USA
Ling Ren
  • University of Illinois Urbana-Champaign, IL, USA

Funding

  • Ren, Ling: National Science Foundation award #2143058.

Cite As Get BibTex

Neil Giridharan, Ittai Abraham, Natacha Crooks, Kartik Nayak, and Ling Ren. Granular Synchrony. In 38th International Symposium on Distributed Computing (DISC 2024). Leibniz International Proceedings in Informatics (LIPIcs), Volume 319, pp. 30:1-30:22, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2024) https://doi.org/10.4230/LIPIcs.DISC.2024.30

Abstract

Today’s mainstream network timing models for distributed computing are synchrony, partial synchrony, and asynchrony. These models are coarse-grained and often make either too strong or too weak assumptions about the network. This paper introduces a new timing model called granular synchrony that models the network as a mixture of synchronous, partially synchronous, and asynchronous communication links. The new model is not only theoretically interesting but also more representative of real-world networks. It also serves as a unifying framework where current mainstream models are its special cases. We present necessary and sufficient conditions for solving crash and Byzantine fault-tolerant consensus in granular synchrony. Interestingly, consensus among n parties can be achieved against f ≥ n/2 crash faults or f ≥ n/3 Byzantine faults without resorting to full synchrony.

Subject Classification

ACM Subject Classification
  • Theory of computation → Distributed algorithms
Keywords
  • Timing model
  • synchrony
  • asynchrony
  • consensus
  • blockchain
  • fault tolerance

Metrics

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

References

  1. Ittai Abraham, Dahlia Malkhi, Kartik Nayak, Ling Ren, and Maofan Yin. Sync hotstuff: Simple and practical synchronous state machine replication. In 2020 IEEE Symposium on Security and Privacy (SP), pages 106-118, 2020. URL: https://doi.org/10.1109/SP40000.2020.00044.
  2. Ittai Abraham, Kartik Nayak, Ling Ren, and Zhuolun Xiang. Good-case latency of byzantine broadcast: A complete categorization. In Proceedings of the 2021 ACM Symposium on Principles of Distributed Computing, PODC'21, pages 331-341, New York, NY, USA, 2021. Association for Computing Machinery. URL: https://doi.org/10.1145/3465084.3467899.
  3. Saksham Agarwal, Qizhe Cai, Rachit Agarwal, David Shmoys, and Amin Vahdat. Harmony: A congestion-free datacenter architecture. In 21st USENIX Symposium on Networked Systems Design and Implementation (NSDI 24), pages 329-343, Santa Clara, CA, April 2024. USENIX Association. URL: https://www.usenix.org/conference/nsdi24/presentation/agarwal-saksham.
  4. Marcos K. Aguilera, Carole Delporte-Gallet, Hugues Fauconnier, and Sam Toueg. Communication-efficient leader election and consensus with limited link synchrony. In Proceedings of the Twenty-Third Annual ACM Symposium on Principles of Distributed Computing, PODC '04, pages 328-337, New York, NY, USA, 2004. Association for Computing Machinery. URL: https://doi.org/10.1145/1011767.1011816.
  5. M.K. Aguilera, C. Delporte-Gallet, H. Fauconnier, and S. Toueg. Consensus with byzantine failures and little system synchrony. In International Conference on Dependable Systems and Networks (DSN'06), pages 147-155, 2006. URL: https://doi.org/10.1109/DSN.2006.22.
  6. Ailidani Ailijiang, Aleksey Charapko, Murat Demirbas, and Tevfik Kosar. Wpaxos: Wide area network flexible consensus. IEEE Trans. Parallel Distrib. Syst., 31(1):211-223, January 2020. URL: https://doi.org/10.1109/TPDS.2019.2929793.
  7. Olivier Baldellon, Achour Mostéfaoui, and Michel Raynal. A necessary and sufficient synchrony condition for solving byzantine consensus in symmetric networks. In International Conference on Distributed Computing and Networking, pages 215-226. Springer, 2011. URL: https://doi.org/10.1007/978-3-642-17679-1_19.
  8. Zohir Bouzid, Achour Mostfaoui, and Michel Raynal. Minimal synchrony for byzantine consensus. In Proceedings of the 2015 ACM Symposium on Principles of Distributed Computing, pages 461-470, 2015. URL: https://doi.org/10.1145/2767386.2767418.
  9. Gabriel Bracha. Asynchronous byzantine agreement protocols. Information and Computation, 75(2):130-143, 1987. URL: https://doi.org/10.1016/0890-5401(87)90054-X.
  10. Manuel Bravo, Gregory Chockler, and Alexey Gotsman. Liveness and Latency of Byzantine State-Machine Replication. In Christian Scheideler, editor, 36th International Symposium on Distributed Computing (DISC 2022), volume 246 of Leibniz International Proceedings in Informatics (LIPIcs), pages 12:1-12:19, Dagstuhl, Germany, 2022. Schloss Dagstuhl - Leibniz-Zentrum für Informatik. URL: https://doi.org/10.4230/LIPIcs.DISC.2022.12.
  11. Manuel Bravo, Gregory Chockler, and Alexey Gotsman. Making byzantine consensus live. Distributed Computing, 35(6):503-532, 2022. URL: https://doi.org/10.1007/S00446-022-00432-Y.
  12. Christian Cachin, Klaus Kursawe, and Victor Shoup. Random oracles in constantipole: practical asynchronous byzantine agreement using cryptography (extended abstract). In Proceedings of the Nineteenth Annual ACM Symposium on Principles of Distributed Computing, PODC '00, pages 123-132, New York, NY, USA, 2000. Association for Computing Machinery. URL: https://doi.org/10.1145/343477.343531.
  13. Miguel Castro and Barbara Liskov. Practical byzantine fault tolerance. In Proceedings of the Third Symposium on Operating Systems Design and Implementation, OSDI '99, pages 173-186, USA, 1999. USENIX Association. URL: https://dl.acm.org/citation.cfm?id=296824.
  14. Shinyoung Cho, Romain Fontugne, Kenjiro Cho, Alberto Dainotti, and Phillipa Gill. Bgp hijacking classification. In 2019 Network Traffic Measurement and Analysis Conference (TMA), pages 25-32, 2019. URL: https://doi.org/10.23919/TMA.2019.8784511.
  15. D. Dolev and H. R. Strong. Authenticated algorithms for byzantine agreement. SIAM J. Comput., 12(4):656-666, November 1983. URL: https://doi.org/10.1137/0212045.
  16. Cynthia Dwork, Nancy Lynch, and Larry Stockmeyer. Consensus in the presence of partial synchrony. J. ACM, 35(2):288-323, April 1988. URL: https://doi.org/10.1145/42282.42283.
  17. Michael J. Fischer, Nancy A. Lynch, and Michael Merritt. Easy impossibility proofs for distributed consensus problems. In Proceedings of the Fourth Annual ACM Symposium on Principles of Distributed Computing, PODC '85, pages 59-70, New York, NY, USA, 1985. Association for Computing Machinery. URL: https://doi.org/10.1145/323596.323602.
  18. Michael J. Fischer, Nancy A. Lynch, and Michael S. Paterson. Impossibility of distributed consensus with one faulty process. J. ACM, 32(2):374-382, April 1985. URL: https://doi.org/10.1145/3149.214121.
  19. Yue Guo, Rafael Pass, and Elaine Shi. Synchronous, with a chance of partition tolerance. In Advances in Cryptology – CRYPTO 2019: 39th Annual International Cryptology Conference, Santa Barbara, CA, USA, August 18–22, 2019, Proceedings, Part I, pages 499-529, Berlin, Heidelberg, 2019. Springer-Verlag. URL: https://doi.org/10.1007/978-3-030-26948-7_18.
  20. Moumen Hamouma, Achour Mostéfaoui, and Gilles Trédan. Byzantine consensus with few synchronous links. In Principles of Distributed Systems: 11th International Conference, OPODIS 2007, Guadeloupe, French West Indies, December 17-20, 2007. Proceedings 11, pages 76-89. Springer, 2007. URL: https://doi.org/10.1007/978-3-540-77096-1_6.
  21. Owen Hilyard, Bocheng Cui, Marielle Webster, Abishek Bangalore Muralikrishna, and Aleksey Charapko. Cloudy forecast: How predictable is communication latency in the cloud?, 2023. https://arxiv.org/abs/2309.13169, URL: https://doi.org/10.48550/arXiv.2309.13169.
  22. Toke Høiland-Jørgensen, Bengt Ahlgren, Per Hurtig, and Anna Brunstrom. Measuring latency variation in the internet. In Proceedings of the 12th International on Conference on Emerging Networking EXperiments and Technologies, CoNEXT '16, pages 473-480, New York, NY, USA, 2016. Association for Computing Machinery. URL: https://doi.org/10.1145/2999572.2999603.
  23. Jonathan Katz and Chiu-Yuen Koo. On expected constant-round protocols for byzantine agreement. In Cynthia Dwork, editor, Advances in Cryptology - CRYPTO 2006, pages 445-462, Berlin, Heidelberg, 2006. Springer Berlin Heidelberg. URL: https://doi.org/10.1007/11818175_27.
  24. Muhammad Samir Khan, Syed Shalan Naqvi, and Nitin H. Vaidya. Exact byzantine consensus on undirected graphs under local broadcast model, 2019. URL: https://arxiv.org/abs/1903.11677.
  25. Muhammad Samir Khan and Nitin Vaidya. Asynchronous byzantine consensus on undirected graphs under local broadcast model, 2019. URL: https://arxiv.org/abs/1909.02865.
  26. Leslie Lamport. The part-time parliament. ACM Trans. Comput. Syst., 16(2):133-169, May 1998. URL: https://doi.org/10.1145/279227.279229.
  27. Leslie Lamport, Robert Shostak, and Marshall Pease. The byzantine generals problem. ACM Trans. Program. Lang. Syst., 4(3):382-401, July 1982. URL: https://doi.org/10.1145/357172.357176.
  28. Iulian Moraru, David G. Andersen, and Michael Kaminsky. There is more consensus in egalitarian parliaments. In Proceedings of the Twenty-Fourth ACM Symposium on Operating Systems Principles, SOSP '13, pages 358-372, New York, NY, USA, 2013. Association for Computing Machinery. URL: https://doi.org/10.1145/2517349.2517350.
  29. Brian M. Oki and Barbara H. Liskov. Viewstamped replication: A new primary copy method to support highly-available distributed systems. In Proceedings of the Seventh Annual ACM Symposium on Principles of Distributed Computing, PODC '88, pages 8-17, New York, NY, USA, 1988. Association for Computing Machinery. URL: https://doi.org/10.1145/62546.62549.
  30. Rafael Pass and Elaine Shi. The sleepy model of consensus. In Tsuyoshi Takagi and Thomas Peyrin, editors, Advances in Cryptology - ASIACRYPT 2017, pages 380-409, Cham, 2017. Springer International Publishing. URL: https://doi.org/10.1007/978-3-319-70697-9_14.
  31. Daniel Porto, João Leitão, Cheng Li, Allen Clement, Aniket Kate, Flavio Junqueira, and Rodrigo Rodrigues. Visigoth fault tolerance. In Proceedings of the Tenth European Conference on Computer Systems, EuroSys '15, New York, NY, USA, 2015. Association for Computing Machinery. URL: https://doi.org/10.1145/2741948.2741979.
  32. Fedor Ryabinin, Alexey Gotsman, and Pierre Sutra. SwiftPaxos: Fast Geo-Replicated state machines. In 21st USENIX Symposium on Networked Systems Design and Implementation (NSDI 24), pages 345-369, Santa Clara, CA, April 2024. USENIX Association. URL: https://www.usenix.org/conference/nsdi24/presentation/ryabinin.
  33. U. Schmid, B. Weiss, and J. Rushby. Formally verified byzantine agreement in presence of link faults. In Proceedings 22nd International Conference on Distributed Computing Systems, pages 608-616, 2002. URL: https://doi.org/10.1109/ICDCS.2002.1022311.
  34. Lewis Tseng and Nitin Vaidya. Exact byzantine consensus in directed graphs, 2014. URL: https://arxiv.org/abs/1208.5075.
  35. Tian Yang, Robert Gifford, Andreas Haeberlen, and Linh Thi Xuan Phan. The synchronous data center. In Proceedings of the Workshop on Hot Topics in Operating Systems, HotOS '19, pages 142-148, New York, NY, USA, 2019. Association for Computing Machinery. URL: https://doi.org/10.1145/3317550.3321442.
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-2024 Schloss Dagstuhl – LZI GmbH About DROPS Imprint Privacy Contact