Optimistically terminating consensus: All asynchronous consensus protocols in one framework

Proceedings - Fifth International Symposium on Parallel and Distributed Computing, ISPDC 2006

Volumn , Issue , 2006, Pages 24-33

  Zieliński, Piotr ^a  

^a UNIVERSITY OF CAMBRIDGE   (United Kingdom)

Author keywords

[No Author keywords available]

Indexed keywords

ALGORITHMS; ASYNCHRONOUS SEQUENTIAL LOGIC; PROBLEM SOLVING;

ASYNCHRONOUS CONSENSUS ALGORITHMS; BYZANTINE SETTINGS; OPTIMISTICALLY TERMINATING CONSENSUS (OTC);

NETWORK PROTOCOLS;

EID: 34547525445     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/ISPDC.2006.37     Document Type: Conference Paper

References (32)

1. Romain Boichat, Partha Dutta, Svend Frolund, and Rachid Guerraoui. Deconstructing Paxos. Technical Report DSC/2002/032, Swiss Federal Institute of Technology (EPFL), Lausanne, Switzerland, January 2001.
2. Romain Boichat, Partha Dutta, Svend Frolund, and Rachid Guerraoui. Deconstructing Paxos. ACM SIGACT News, 34, 2003.
3. Romain Boichat, Partha Dutta, Svend Frolund, and Rachid Guerraoui. Reconstructing Paxos. ACM SIGACT News, 34, 2003.
4. Francisco Brasileiro, Fabíola Greve, Achour Mostéfaoui, and Michel Raynal. Consensus in one communication step. Lecture Notes in Computer Science, 2127:42-50, 2001.
5. Miguel Castro and Barbara Liskov. Practical Byzantine fault tolerance. In Proceedings of the Third Symposium on Operating Systems Design and Implementation, pages 173-186, New Orleans, Louisiana, February 1999. USENIX Association.
6. Tushar Deepak Chandra and Sam Toueg. Unreliable failure detectors for reliable distributed systems. Journal of the ACM, 43(2):225-267, 1996.
7. Tushar Deepak Chandra, Vassos Hadzilacos, and Sam Toueg. The weakest failure detector for solving Consensus. Journal of the ACM, 43(4):685-722, 1996.
8. Assia Doudou, Benoît Garbinato, and Rachid Guerraoui. Encapsulating failure detection: From crash to Byzantine failures. In Proceedings of the 7th International Conference on Reliable Software Technologies, pages 24-50, June 2002.
9. Partha Dutta, Rachid Guerraoui, and Marko Vukolic. Asynchronous Byzantine Consensus: Complexity, resilience and authentication. Technical Report 200479, EPFL, September 2004.
10. Cynthia Dwork, Nancy Lynch, and Larry Stockmeyer. Consensus in the presence of partial synchrony. Journal of the ACM, 35(2):288-323, 1988.
11. Michael J. Fischer, Nancy A. Lynch, and Michael S. Paterson. Impossibility of distributed Consensus with one faulty process. Journal of the ACM, 32(2):374-382, April 1985.
12. Eli Gafni and Leslie Lamport. Disk Paxos. In International Symposium on Distributed Computing, pages 330-344, 2000.
13. Rachid Guerraoui and Michel Raynal. The information structure of indulgent Consensus. Technical Report PI-1531, IRISA, April, 2003.
14. Rachid Guerraoui and Michel Raynal. The alpha and omega of asynchronous Consensus. Technical Report PI-1676, IRISA, January 2005.
15. Maurice P. Herlihy. Impossibility and universality results for wait-free synchronization. In Proceedings of the 7th Annual ACM Symposium on Principles of Distributed Computing, pages 276-290, New York, NY, USA, 1988.
16. Michel Hurfin and Michel Raynal. A simple and fast asynchronous Consensus protocol based on a weak failure detector. Distributed Computing, 12(4):209-223, 1999.
17. Michel Hurfin, A. Mostfaoui, and Michel Raynal. A versatile family of Consensus protocols based on ChandraToueg's unreliable failure detectors. IEEE Transactions Comput., 51(4):395-408, 2002.
18. Klaus Kursawe. Optimistic asynchronous Byzantine agreement. Technical Report RZ 3202 (#93248), IBM Research, January 2000.
19. Leslie Lamport. Paxos made simple. ACM SIGACT News, 32(4):18-25, December 2001.
20. Leslie Lamport. Lower bounds on asynchronous Consensus. In André Schiper, Alex A. Shvartsman, Hakim Weatherspoon, and Ben Y Zhao, editors, Future Directions in Distributed Computing, volume 2584 of Lecture Notes in Computer Science, pages 22-23. Springer, 2003.
21. Leslie Lamport and Mike Massa. Cheap Paxos. In Proceedings of 2004 International Conference on Dependable Systems and Networks, pages 307-314, Florence, Italy, June 2004.
22. Butler Lampson. The ABCD of Paxos. In Proceedings of the twentieth Annual ACM Symposium on Principles of Distributed Computing, page 13. ACM Press, 2001.
23. Harry C. Li, Lorenzo Alvisi, and Allen Clement. The game of Paxos. Technical Report CS-TR-05-24, The University of Texas at Austin, Department of Computer Sciences, May 2005.
24. Jean-Philippe Martin and Lorenzo Alvisi. Fast Byzantine Paxos. Technical Report TR-04-07, University of Texas at Austin, Department of Computer Science., 2004.
25. Achour Mostéfaoui and Michel Raynal. Leader-based Consensus. Technical Report 1372, IRISA, 2000.
26. Achour Mostéfaoui and Michel Raynal. Solving Consensus using Chandra-Toueg's unreliable failure detectors: A general quorum-based approach. In Proceedings of the 13th International Symposium on Distributed Computing, pages 49-63, London, UK, 1999. Springer-Verlag.
27. Achour Mostéfaoui, Sergio Rajsbaum, and Michel Raynal. Conditions on input vectors for Consensus solvability in asynchronous distributed systems. In Proceedings of the 33rd Annual ACM Symposium on Theory of Computing, pages 153-162. ACM Press, 2001.
28. Achour Mostéfaoui, Sergio Rajsbaum, and Michel Raynal. A versatile and modular Consensus protocol. In Proceedings of International IEEE Conference on Dependable Systems and Networks, pages 364-373, 2002.
29. André Schiper. Early Consensus in an asynchronous system with a weak failure detector. Distributed Computing, 10(3): 149-157, April 1997.
30. Piotr Zielinski. Paxos at war. Technical Report UCAM-CL-TR-593, Computer Laboratory, University of Cambridge, June 2004. Available at http://www.cl.cam.ac.uk/TechReports/.
31. Piotr Zielinski. Minimizing latency of agreement protocols. PhD thesis, Computer Laboratory, University of Cambridge, 2006. Technical Report UCAM-CL-TR-667. Available at http://www.cl.cam.ac.uk/TechReports/.
32. Piotr Zielinski. Optimistically Terminating Consensus. Technical Report UCAM-CL-TR-668, Computer Laboratory, University of Cambridge, May 2006. Available at http://www.cl.cam.ac.uk/TechReports/.