A classification of total order specifications and its application to fixed sequencer-based implementations

Journal of Parallel and Distributed Computing

Volumn 66, Issue 1, 2006, Pages 108-127

  Baldoni, Roberto ^a   Cimmino, Stefano ^a   Marchetti, Carlo ^a,b  

^a SAPIENZA UNIVERSITY OF ROME   (Italy)

^b Italian Senate ^*  (Italy)

Author keywords

Agreement problems; Atomic broadcast; Distributed algorithms; Distributed Systems; Fault tolerance; Global ordering; Group communication; Mapping implementations into specifications; Message passing; Specification hierarchy; Taxonomy; Total order broadcast

Indexed keywords

AGREEMENT PROBLEMS; ATOMIC BROADCAST; DISTRIBUTED ALGORITHMS; SPECIFICATION HIERARCHY; TOTAL ORDER BROADCAST;

ALGORITHMS; COMMUNICATION SYSTEMS; FAULT TOLERANT COMPUTER SYSTEMS; SPECIFICATIONS;

DISTRIBUTED COMPUTER SYSTEMS;

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

References (27)

1. M.K. Aguilera, C. Delporte-Gallet, H. Fauconnier, S. Toueg, Thrifty generic broadcast, in: Proceedings of the 14th International Symposium on Distributed Computing (DISC), vol. 1914, Toledo, Spain, 2000, Springer, Berlin, 2000, pp. 268-282.
2. Ö. Babaoǧlu, R. Davoli, A. Montresor, Group membership and view synchrony in partitionable asynchronous distributed systems: specifications, Technical Report UBLCS-95-18, Department of Computer Science, University of Bologna, Italy, 1995.
3. R. Baldoni, S. Cimmino, C. Marchetti, Total order communications over asynchronous distributed systems: specifications and implementations, Technical Report 06/04, Università di Roma "La sapienza", January 2004.
4. R. Baldoni, and M. Raynal Fundamentals of distributed computing: a practical tour of vector clock systems IEEE Distrib. Systems Online 3 2 2002
5. R. Baldoni, S. Cimmino, C. Marchetti, Total order communications: a practical analysis, in: Proceedings of the Fifth European Dependable Computing Conference (EDCC-5), Budapest, Hungary, April 2005, pp. 38-54.
6. B. Ban Design and implementation of a reliable group communication toolkit for java September 1998 Cornell University
7. A. Basu, B. Charron-Bost, S. Toueg, Simulating reliable links with unreliable links in the presence of process crashes, in: Proceedings of Distributed Algorithm (WDAG '96), October 1996, pp. 105-122.
8. K. Birman, T. Joseph, Exploiting virtual synchrony in distributed systems, in: Proceedings of the 11th ACM Symposium. on Operating Systems Principles, December 1987, pp. 123-138.
9. K. Birman, A. Schiper, and P. Stephenson Lightweight causal and atomic group multicast ACM Trans. Comput. Systems 9 3 1991 272 314
10. K. Birman, and R. van Renesse Reliable distributed computing with the ISIS toolkit 1994 IEEE CS Press
11. K.P. Birman A review of experiences with reliable multicast Software - Practice Exp. 29 9 1999 741 774
12. T. Chandra, V. Hadzilacos, S. Toueg, B. Charron-Bost, On the impossibility of group membership, in: Proceedings of the 15th ACM Symposium of Principles of Distributed Computing, 1996.
13. T.D. Chandra, V. Hadzilacos, and S. Toueg The weakest failure detector for solving consensus J. ACM 43 4 1996 685 722
14. G.V. Chockler, I. Keidar, and R. Vitenberg Group communications specifications: a comprehensive study ACM Comput. Surveys 33 4 2001 427 469
15. X. Dèfago, Agreement-related problems: from semi passive replication to totally ordered broadcast, Ph.D. Thesis, no. 2229, École Polytechnique Fédérale de Lausanne, Switzerland, 2000.
16. X. Dèfago, A. Schiper, P. Urbán, Total order broadcast and multicast algorithms: taxonomy and survey, ACM Comput. Surv. 36(4) (2004) 372-421.
17. H. Garcia-Molina, and A. Spauster Ordered and reliable multicast communication ACM Trans. Comput. Systems 9 3 1991 242 271
18. R. Guerraoui, and A. Schiper Software-based replication for fault tolerance IEEE Comput. 30 1997 68 74 (Special Issue on Fault Tolerance)
19. V. Hadzilacos, and S. Toueg Fault-tolerant broadcast and related problems S. Mullender Distributed Systems 1993 Addison Wesley Reading, MA (Chapter 16)
20. M.G. Hayden, The ensemble system, Ph.D. Thesis, Cornell University, Ithaca, NY, USA, 1998.
21. J. Hickey, N. Lynch, and R. van Renesse Specifications and proofs for ensemble layers R. Cleaveland Fifth International Conference on Tools and Algorithms for the Construction and Analysis of Systems vol. 1579 1999 Springer Berlin, Germany 119 133
22. L. Lamport Time, clocks and the ordering of events in a distributed system Commun. ACM 21 7 1978 558 565
23. S. Mena, A. Schiper, P. Wojciechowski, A step towards a new generation of group communication systems, Technical Report IC/2003/01, École Polytechnique Fédérale de Lausanne, Switzerland, January 2003.
24. D. Powell Group communication Commun. ACM 39 4 1996 50 97
25. A. Schiper, Dynamic group communication, Technical Report IC/2003/27, École Polytechnique Fédérale de Lausanne, Switzerland, April 2003.
26. F.B. Schneider Replication management using the state machine approach S. Mullender Distributed Systems 1993 ACM Press New York, Addison-Wesley, Reading, MA
27. U.G. Wilhelm, A. Schiper, A hierarchy of totally ordered multicasts, in: Proceedings of the 14th IEEE Symposium on Reliable Distributed Systems (SRDS-14), Bad Neuenahr, Germany, September 1995.