The generic consensus service

IEEE Transactions on Software Engineering

Volumn 27, Issue 1, 2001, Pages 29-41

  Guerraoui, Rachid ^a   Schiper, André ^a  

^a EPFL   (Switzerland)

Author keywords

Asynchronous distributed systems; Atomic commitment; Consensus; Failure detectors; Fault tolerant agreement protocols; Group membership; Modularity; Total order multicast; View synchrony

Indexed keywords

ASYNCHRONOUS DISTRIBUTED SYSTEMS; FAULT TOLERANT AGREEMENT PROTOCOLS; GENERIC CONSENSUS SERVICE; GROUP MEMBERSHIP; NONBLOCKING ATOMIC COMMITMENT; SYNCHRONOUS COMMUNICATION; TOTAL ORDER MULTICAST;

BROADCASTING; CLIENT SERVER COMPUTER SYSTEMS; FAULT TOLERANT COMPUTER SYSTEMS; INTERACTIVE COMPUTER SYSTEMS; MULTICASTING; NETWORK PROTOCOLS; SECURITY OF DATA;

COMPUTER AIDED SOFTWARE ENGINEERING;

EID: 0035101070     PISSN: 00985589     EISSN: None     Source Type: Journal    
DOI: 10.1109/32.895986     Document Type: Article

References (36)

1. Y. Amir, L. Moser, P. Melliar Smith, D. Agarwal, and P. Ciarfella, "The Totem Single-Ring Ordering and Membership Protocol," ACM Trans. Computer Systems, vol. 13, no. 4, pp. 311-342, Nov. 1995.
2. M.K. Aguilera, W. Chen, and S. Toueg, "Heartbeat: A Time-Out Free Failure Detector for Quiescent Reliable Communication," Proc. Distributed Algorithms (WDAG '97), Sept. 1997.
3. M.K. Aguilera, W. Chen, and S. Toueg, "Failure Detection and Consensus in the Crash-Recovery Model," Distributed Computing, vol. 13, pp. 99-125, 2000.
4. O. Babaoglu, R. Davoli, and A. Montresor, "Failure Detectors, GroupMembership and View-Synchronous Communication in Partitionable Systems," technical report, Computer Science Dept., Univ. of Bologna, Nov. 1995
5. . [5] A. Basu, B. Charron-Bost, S. Toueg, "Simulating Reliable Links with Unreliable Links in the Presence of Process Crashes," Proc. Distributed Algorithms (WDAG '96), pp. 105-122, Oct. 1996.
6. P.A. Bernstein, V. Hadzilacos, and N. Goodman, Concurrency Control and Recovery in Database Systems. Addison Wesley, 1987
7. . [7] K. Birman and T. Joseph, "Reliable Communication in the Presence of Failures," ACM Trans. Computer Systems, vol. 5, no 1, pp. 47-76, Feb. 1987.
8. K. Birman, A. Schiper, and P. Stephenson, "Lightweight Causal and Atomic Group Multicast," ACM Trans. Computer Systems, vol. 9, no. 3, pp. 272-314, Aug. 1991.
9. T. Chandra, V. Hadzilacos, and S. Toueg, "The Weakest Failure Detector for Solving Consensus," J. ACM, vol. 43, no. 4, pp. 685-722, July 1996.
10. T. Chandra and S. Toueg, "Unreliable Failure Detectors for Reliable Distributed Systems," J. ACM, vol. 34, no. 1, pp. 225-267, Mar. 1996.
11. T. Chandra, V. Hadzilacos, S. Toueg, and B. Charron-Bost, "On the Impossibility of Group Membership," Technical Report 95-1548, Dept. of Computer Science, Cornell Univ., Oct. 1995.
12. D. Dolev, S. Kramer, and D. Malkhi, "Early Delivery Totally Ordered Broadcast in Asynchronous Environments," Proc. IEEE Symp. Fault-Tolerant Computing, pp. 296-306, June 1993.
13. P. Ezhilchelvan, R. Macedo, and S. Shrivastava, "Newtop: A FaultTolerant Group Communication Protocol," Proc. IEEE Conf. Distributed Computing Systems, pp. 296-306, May 1997.
14. M. Fischer, N. Lynch, and M. Paterson, "Impossibility of Distributed Consensus with One Faulty Process," J. ACM, vol. 32, pp. 374-382, Apr. 1985.
15. R. Guerraoui, "Revisiting the Relationship between Non Blocking Atomic Commitment and Consensus Problems," Proc. Distributed Algorithms (WDAG '95), pp. 87-100, Sept. 1995.
16. R. Guerraoui and A. Schiper, "Transactional Model vs. Virtual Synchrony Model: Bridging the Gap," Theory and Practice in Distributed Systems, pp. 121-132, 1995.
17. R. Guerraoui, M. Larrea, and A. Schiper, "Reducing the Cost for Non-Blocking in Atomic Commitment," Proc. IEEE CoJ. Dis-tributed Computing Systems, pp. 692-697, May 1996.
18. R. Guerraoui and A. Schiper, "Total Order Multicast to Multiple Groups," Proc. 17th IEEE Int'l Conf. Distributed Computing Systems, pp. 578-585, May 1997.
19. R. Guerraoui and A. Schiper, "Genuine Atomic Multicast," Proc. Distributed Algorithms (WDAG '97), pp. 141-154, Sept. 1997.
20. R. Guerraoui and A. Schiper, "Software-Based Replication for Fault-Tolerance," Computer, vol. 30, no. 4, pp. 68-74, Apr. 1997.
21. M. Hurfin, A. Mostefaoui, and M. Raynal, "Consensus in Asynchronous Systems where Processes Can Crash and Recover," Proc. 17th IEEE Symp. Reliable Distributed Systems, pp. 280-286, Oct. 1998.
22. I. Keidar and D. Dolev, "Increasing the Resilience of Atomic Commit at No Additional Cost," Technical Report CS94-18, Inst. of Computer Science, The Hebrew Univ. of Jerusalem, 1994.
23. L. Lamport, R. Shostak, and M. Pease, "The Byzantine Generals Problem," ACM Trans. Programming Languages and Systems, vol. 4, no. 3, pp. 382-401, July 1982.
24. C. Malloth, "Conception and Implementation of a Toolkit for Building Fault-Tolerant Distributed Applications in Large Scale Networks," PhD Thesis 1557, Swiss Federal Inst. of Technology (EPFL), 1996.
25. C. Malloth and A. Schiper, "View Synchronous Communication in Large Scale Networks," ESPRIT Basic Research BROADCAST, Third Year Report, vol. 4, July 1995.
26. R. Oliveira, "Solving Consensus: From Fair-Lossy Channels to Crash-Recovery of Processes," PhD Thesis 2139, Swiss Federal Inst. of Technology (EPFL), 2000.
27. R. Oliveira, R. Guerraoui, and A. Schiper, "Consensus in the Crash-Recovery Model," Technical Report 97/239, Swiss Federal Inst. of Technology (EPFL), Aug. 1997.
28. A. Ricciardi and K. Birman, "Using Process Groups to Implement Failure Detection in Asynchronous Environments," Proc. ACM Symp. Principles of Distributed Computing, pp. 341-352, Aug. 1991.
29. L. Rodrigues, R. Guerraoui, and A. Schiper, "Scalable Atomic Multicast," Proc. Seventh Int'l Conf. Computer Communications and Networks (ICCCN '98), pp. 840-847, Oct. 1998.
30. L. Säbel and K. Marzullo, "Election vs. Consensus in Asynchronous Systems," Technical Report TR95-1488, Cornell Univ., 1995.
31. A. Schiper, "Early Consensus in an Asynchronous System with a Weak Failure Detector," Distributed Computing, vol. 10, no. 3, pp. 149-157, Mar./Apr. 1997.
32. A. Schiper and A. Sandoz, "Uniform Reliable Multicast in a Virtually Synchronous Environment," Proc. IEEE Conf. Distributed Computing Systems, pp. 561-568, May 1993.
33. F. Schneider, "Paradigms for Distributed Programs," Proc. Distributed Systems-Methods and Tools for Specification, pp. 343-430, 1985.
34. D. Skeen, "NonBlocking Commit Protocols," Proc. ACM S1GMOD Int'l Conf. Management of Data, pp. 133-142, 1981.
35. D. Skeen unpublished communication, Feb. 1985, Referenced in [7].
36. J. Turek and D. Shasha, "The Many Faces of Consensus in Distributed Systems," Computer, vol. 25, no. 6, pp. 8-17, June 1992.