Semi-passive replication and Lazy Consensus

Journal of Parallel and Distributed Computing

Volumn 64, Issue 12, 2004, Pages 1380-1398

  Défago, Xavier ^a,b   Schiper, André ^c  

^a JAPAN ADVANCED INSTITUTE OF SCIENCE AND TECHNOLOGY   (Japan)

^b JAPAN SCIENCE AND TECHNOLOGY AGENCY   (Japan)

^c EPFL   (Switzerland)

Author keywords

Asynchronous systems; Consensus; Distributed systems; Failure detectors; Fault tolerance; Group membership; High availability; Replication techniques

Indexed keywords

ALGORITHMS; DISTRIBUTED COMPUTER SYSTEMS; FAILURE ANALYSIS; FAULT TOLERANT COMPUTER SYSTEMS; NETWORK PROTOCOLS; REAL TIME SYSTEMS; RELIABILITY;

ASYNCHRONOUS SYSTEMS; FAILURE DETECTORS; GROUP MEMBERSHIP; REPLICATION TECHNIQUES; SEMI-PASSIVE REPLICATION;

PARALLEL PROCESSING SYSTEMS;

EID: 9644257385     PISSN: 07437315     EISSN: None     Source Type: Journal    
DOI: 10.1016/j.jpdc.2004.08.006     Document Type: Article

References (37)

1. M.K. Aguilera, W. Chen, S. Toueg, Using the heartbeat failure detector for quiescent reliable communication and consensus in partitionable networks, Theoret. Comput. Sci. 220 (1) (1999) 3-30.
2. M.K. Aguilera, W. Chen, S. Toueg, Failure detection and consensus in the crash-recovery model, Distrib. Comput. 13 (2) (2000) 99-125.
3. M.K. Aguilera, W. Chen, S. Toueg, On quiescent reliable communication, SIAM J. Comput. 29 (6) (2000) 2040-2073.
4. M.K. Aguilera, C. Delporte-Gallet, H. Fauconnier, S. Toueg, Thrifty generic broadcast, in: M. Herlihy (Ed.), Proceedings of the 14th International Symposium on Distributed Computing (DISC'00), Lecture Notes in Computer Science, vol. 1914, Toledo, Spain, October 2000, pp. 268-282.
5. P.A. Alsberg, J.D. Day, A principle for resilient sharing of distributed resources, in: Proceedings of the Second International Conference on Software Engineering, San Francisco, CA, USA, 1976, pp. 562-570.
6. K. Birman, R. van Renesse (Eds.), Reliable Distributed Computing with the Isis Toolkit, IEEE Computer Society Press, Silver Spring, MD, 1994
7. N. Budhiraja, K. Marzullo, F.B. Schneider, S. Toueg, The primary-backup approach, in: S. Mullender (Ed.), Distributed Systems, 2nd ed., ACM Press Books, Addison-Wesley, Reading, MA, 1993, pp. 199-216 (Chapter 8).
8. T.D. Chandra, S. Toueg, Unreliable failure detectors for reliable distributed systems, J. Assoc. Comput. Math. 43 (2) (1996) 225-267.
9. B. Charron-Bost, X. Défago, A. Schiper, Time vs. space in fault-tolerant distributed systems, in: Proceedings of the Sixth IEEE International Workshop on Object-oriented Real-time Dependable Systems (WORDS'01), Rome, Italy, January 2001.
10. G. Chockler, I. Keidar, R. Vitenberg, Group communication specifications: a comprehensive study, ACM Comput. Surv. 33 (4) (2001) 427-469.
11. X. Défago, P. Felber, A. Schiper, Optimization techniques for replicating CORBA objects, in: Proceedings of the Fourth IEEE International Workshop on Object-oriented Real-time Dependable Systems (WORDS'99), Santa Barbara, CA, USA, January 1999, pp. 2-8.
12. X. Défago, A. Schiper, N. Sergent, Semi-passive replication, in: Proceedings of the 17th IEEE International Symposium on Reliable Distributed Systems (SRDS'98), West Lafayette, IN, USA, October 1998, pp. 43-50.
13. X. Défago, A. Schiper, P. Urbán, Total order broadcast and multicast algorithms: taxonomy and survey. RR IS-RR-2003-009, Japan Advanced Institute of Science and Technology, Ishikawa, Japan, September 2003.
14. X. Défago, Agreement-Related Problems: from Semi-Passive Replication to Totally Ordered Broadcast. Ph.D. Thesis, École Polytechnique Fédérale de Lausanne, Lausanne, Switzerland, August 2000, No. 2229.
15. D. Essamé, J. Arlat, D. Powell, PADRE: a protocol for asymmetric duplex redundancy, in: IFIP Seventh Working Conference on Dependable Computing in Critical Applications (DCCA-7), San Jose, CA, USA, January 1999, pp. 213-232.
16. P. Felber, X. Défago, P. Eugster, A. Schiper, Replicating CORBA objects: a marriage between active and passive replication, in: Proceedings of the Second IFIP International Working Conference on Distributed Applications and Interoperable Systems (DAIS'99), Helsinki, Finland, June 1999, pp. 375-387.
17. C. Fetzer, Perfect failure detection in timed asynchronous systems, IEEE Trans. Comput. 52 (2) (2003) 99-112.
18. M.J. Fischer, N. A. Lynch, M.S. Paterson, Impossibility of distributed consensus with one faulty process, J. Assoc. Comput. Math. 32 (2) (1985) 374-382.
19. U. Fritzke, P. Ingels, A. Mostéfaoui, M. Raynal, Consensus-based fault-tolerant total order multicast, IEEE Trans Parallel Distrib. Systems 12 (2) (2001) 147-156.
20. D. Gries, F.B. Schneider, A Logical Approach to Discrete Math., Texts and Monographs in Computer Science, Springer, Berlin, 1993.
21. R. Guerraoui, A. Schiper, Software-based replication for fault tolerance, IEEE Comput. 30 (4) (1997) 68-74.
22. M. Hurfin, R. Maĉdo, M. Raynal, F. Tronel, A general framework to solve agreement problems, in: Proceedings of the 18th IEEE International Symposium on Reliable Distributed Systems (SRDS'99), Lausanne, Switzerland, October 1999, pp. 56-67.
23. M. Hurfin, A. Mostéfaoui, M. Raynal, Consensus in asynchronous systems where processes can crash and recover, in: Proceedings of the 17th IEEE International Symposium on Reliable Distributed Systems (SRDS'98), West Lafayette, IN, USA, October 1998, pp. 280-286.
24. L.E. Moser, P.M. Melliar-Smith, D.A. Agarwal, R.K. Budhia, C.A. Lingley-Papadopoulis, T.P. Archambault, The Totem system, in: Proceedings of the 25th International Symposium on Fault-Tolerant Computing (FTCS-25), Pasadena, CA, USA, 1995, pp. 61-66.
25. R. Oliveira, R. Guerraoui, A. Schiper, Consensus in the crash-recover model, TR 97/239, École Polytechnique Fédérale de Lausanne, Lausanne, Switzerland, August 1997.
26. F. Pedone, A. Schiper, Handling message semantics with generic broadcast protocols, Distrib. Comput. 15 (2) (2002) 97-107.
27. S. Fleisch, A. Schiper, Modeling fault-tolerant mobile agent execution as a sequence of agreement problems, in: Proceedings of the 19th IEEE International Symposium on Reliable Distributed Systems (SRDS'00), Nürnberg, Germany, October 2000, pp. 11-20.
28. S. Poledna, Replica determinism in distributed real-time systems: a brief survey, Real-Time Systems 6 (3) (1994) 289-316.
29. D. Powell, Delta4: A Generic Architecture for Dependable Distributed Computing, volume 1 of ESPRIT Research Reports, Springer, Berlin, 1991.
30. A. Schiper, Early consensus in an asynchronous system with a weak failure detector, Distrib. Comput. 10 (3) (1997) 149-157.
31. F.B. Schneider, Implementing fault-tolerant services using the state machine approach: a tutorial, ACM Comput. Survey 22 (4) (1990) 299-319.
32. J.B. Sussman, K. Marzullo, Comparing primary-backup and state machines for crash failures, in: Proceedings of the 15th ACM Symposium on Principles of Distributed Computing (PODC-15), Philadelphia, PA, USA, May 1996, p. 90.(Brief announcement).
33. P. Urbán, I. Shnayderman, A. Schiper, Comparison of failure detectors and group membership: performance study of two atomic broadcast algorithms, in: Proceedings of the IEEE International Conference on Dependable Systems and Networks (DSN'03), San Francisco, CA, USA, June 2003, pp. 645-654.
34. R. van Renesse, K.P. Birman, R. Cooper, The HORUS system, TR Department of Computer Science, Cornell University, Ithaca, NY, USA, 1993.
35. C. Yahata, J. Sakai, M. Takizawa, Generalization of consensus protocols, in: Proceedings of the Ninth International Conference on Information Networking (ICOIN-9), Osaka, Japan, 1994, pp. 419-424.
36. C. Yahata, M. Takizawa, General protocols for consensus in distributed systems, in: Proceedings of the Sixth International Conference on Database and Expert Systems Applications (DEXA'95), Lecture Notes in Computer Science, vol. 978, Springer, London, UK, September 1995, pp. 227-236.
37. H. Zou, F. Jahanian, Real-time primary-backup replications with temporal consistency, in: Proceedings of the 18th IEEE International Conference on Distributed Computing Systems (ICDCS-18), Amsterdam, The Netherlands, May 1998, pp. 48-56.