Implementing a replicated service with group communication

Journal of Systems Architecture

Volumn 50, Issue 8, 2004, Pages 493-519

  Bartoli, Alberto ^a  

^a UNIVERSITY OF TRIESTE   (Italy)

Author keywords

High availability; Primary backup; Reliable network applications; State transfer; Virtual synchrony

Indexed keywords

ALGORITHMS; COMPUTER PROGRAMMING; DISTRIBUTED COMPUTER SYSTEMS; ELECTRONIC COMMERCE; ERROR ANALYSIS; RELIABILITY; SCHEDULING;

HIGH AVAILABILITY; PRIMARY-BACKUP; REALIBALE NETWORK APPLICATIONS; STATE TRANSFER; VIRTUAL SYNCHRONY;

SYSTEMS ENGINEERING;

EID: 3042780963     PISSN: 13837621     EISSN: None     Source Type: Journal    
DOI: 10.1016/j.sysarc.2003.11.003     Document Type: Article

References (106)

1. Ahamad M., Neiger G., Kohli P., Burns J., Hutto P. Causal memory: definitions, implementation, and programming. Distributed Computing. 9(1):1994;37-49.
2. Agarwal D., Moser L., Melliar-Smith P., Budhia R. The totem multiple-ring ordering and topology maintenance protocol. ACM Transactions on Computer Systems. 16(2):1998;93-132.
3. P. Alsberg, J. Day, A principle for resilient sharing of distributed resources, in: Proceedings of the Second International Conference on Software Engineering, October 1976, pp. 562-570.
4. Y. Amir, D. Dolev, S. Kramer, D. Malkhi, Transis: A communication sub-system for high availability, in: Proceedings of the 22nd Annual International Symposium on Fault-Tolerant Computing, July 1992, pp. 76-84.
5. Amir Y., Moser L.E., Melliar-Smith P.M., Agarwal D.A., Ciarfella P. The totem single-ring ordering and membership protocol. ACM Transactions on Computer Systems. 13(4):1995;311-342.
6. Y. Amir, J. Stanton, The Spread Wide Area Group Communication System, Technical Report CNDS-98-4, The Center for Networking and Distributed Systems, The Johns Hopkins University 1998 (see also http://www.spread.org ).
7. Y. Amir, C. Tutu, From Total Order to Database Replication, in: Proceedings of the 22nd International Conference on Distributed Computing Systems, July 2002.
8. T. Amir, R. Caudy, A. Munjal, T. Schlossangle, C. Tutu, N -Way Fail-Over Infrastructure for Reliable Servers and Routers, in: Proceedings of Dependable Systems and Networks, June 2003.
9. E. Anceaume, B. Charron-Bost, P. Minet, S. Toueg, On the formal specification of group membership services, Technical Report TR95-1534, Dept. of Computer Science, Cornell University, August 1995.
10. H. Attiya, R. Rappoport, The Level of Handhsake Required for Establishing a Connection, in: Distributed Algorithms (WDAG-8), Lecture Notes in Computer Science 857, Springer-Verlag 1994, pp. 179-193.
11. Babaoglu Ö., Marzullo K. Consistent global states of distributed systems: fundamental concepts and mechanisms. Mullender S. Distributed Systems. 2nd ed. 1993;ACM Press.
12. Ö. Babaoglu, R. Davoli, L. Giachini, M. Baker, RELACS: A communications infrastructure for constructing reliable applications in large-scale distributed systems, in: Proceedings of the 28th Hawaii International Conference on System Sciences, January 1995, pp. 612-621.
13. Babaoglu Ö., Bartoli A., Dini G. Enriched view synchrony: a programming paradigm for partitionable asynchronous distributed systems. IEEE Transactions on Computers. 46(6):1997;642-658.
14. Ö. Babaoglu, R. Davoli, A. Montresor, Group Communication in Partitionable Systems: Specification and Algorithms, Technical Report UBLCS-98-1, Department of Computer Science, University of Bologna, April 1998 (Revised October 1999). IEEE Transactions on Software Engineering, vol. 27, no. 4, pp. 308-336, April 2001.
15. R. Baldoni, R. Friedman, R. Van Renesse, The hierarchical daisy architecture for causal delivery, in: Proceedings of the 17th International Conference on Distributed Computing Systems, May 1997, pp. 570-577.
16. B. Ban, JavaGroups User's Guide, Dept. of Computer Science, Cornell University, August 1999.
17. A. Bartoli, Reliable Distributed Programming in Asynchronous Systems with Group Communication, Technical Report, University of Trieste, 2000.
18. Bernstein P., Hadzilacos V., Goodman N. Concurrency Control and Recovery in Database Systems. 1987;Addison-Wesley.
19. Birman K. The process group approach to reliable distributed computing. Communications of the ACM. 36(12):1993;37-53.
20. K. Birman, A Response to Cheriton and Skeen's Criticism of Causal and Totally Ordered Communication, Technical Report TR93-1390, Dept. of Computer Science, Cornell University, October 1993.
21. Birman K. Virtual synchrony model. Reliable Distributed Computing with the Isis toolkit. 1994;IEEE Computer Society Press.
22. Birman K. Building Secure and Reliable Network Applications. 1996;Manning Publishing Company.
23. Birman K. Reliable multicast goes mainstream. IEEE Bulletin of the Technical Committee on Operating Systems and Application Environments. 10(1):1998.
24. K. Birman, A Review of Experiences with Reliable Multicast, Software: Practice and Experience, vol. 29, no. 9, pp. 741-774, July 1999.
25. K.P. Birman, T.A. Joseph, Exploiting virtual synchrony in distibuted systems, in: Proceedings of the 11th ACM Symposium on Operating Systems Principles, 1987, pp. 123-138.
26. Birman K., Joseph T., Raeuchle T., El Abbadi A. Implementing fault-tolerant distributed objects. IEEE Transactions on Software Engineering. 11(6):1985;502-508.
27. Birman K.P., Schiper A., Stephenson P. Lightweight causal and atomic multicast. ACM Transactions on Computer Systems. 9(3):1991;272-314.
28. K. Birman, R. Cooper, T. Joseph, K. Marzullo, M. Makpangou, K. Kane, F. Schmuck, M. Wood, The ISIS-System Manual, Version 2.1, Dept. of Computer Science, Cornell University, September 1993.
29. K. Birman, M. Hayden, O. Ozkasap, Z. Xiao, M. Budiu, Y. Minsky, Bimodal Multicast, Technical Report TR98-1683, Department of Computer Science, Cornell University, 1998.
30. R. Budhia, Performance Engineering of Group Communication Protocols, Ph.D. Thesis, University of California, Santa Barbara, 1997.
31. N. Budhiraja, K. Marzullo, F. Schneider, S. Toueg, Primary-backup protocols: lower bounds and optimal implementations, in: Proceedings of the 3-Rd IFIP Working Conference on Dependable Computing for Critical Applications, 1992, pp. 187-198.
32. Budhiraja N., Marzullo K., Schneider F., Toueg S. The primary-backup approach. Mullender S. Distributed Systems. 2nd ed. 1993;ACM Press.
33. Special Issue on Group Communication, Communications of the ACM, 39(4), April 1996.
34. T. Chandra, V. Hadzilacos, S. Toueg, B. Charron-Bost, On the impossibility of group membership, in: Proceedings of the 15th ACM Symposium on Principles of Distributed Computing, May 1996, pp. 322-330.
35. D. Cheriton, D. Skeen, Understanding the limitations of causally and totally ordered communication, in: Proceedings of the 14th ACM Symposium on Operating Systems Principles, December 1993.
36. Cheriton D., Zwanepoel W. Distributed process groups in the V kernel. ACM Transactions on Computer Systems. 3(2):1985;77-107.
37. Chockler G., Keidar I., Vitenberg R. Group communication specifications: a comprehensive study. ACM Computing Surveys. 33(4):2001;1-43.
38. Cristian F. Understanding fault-tolerant distributed systems. Communications of ACM. 34(2):1991;56-78.
39. Cristian F. Synchronous and asynchronous group communication. Communications of the ACM. 39(4):1996;86-97.
40. Dolev D., Malkhi D. The transis approach to high availability cluster communication. Communications of the ACM. 39(4):1996;64-70.
41. D. Dolev, D. Malkhi, R. Strong, A Framework for Partitionable Membership Service, Technical Report 95-4, Dept. of Computer Science, The Hebrew University of Jerusalem, 1995.
42. D. Dolev, I. Keidar, E. Yeger-Lotem, Dynamic voting for consistent primary components, in: Proceedings of the 16th ACM Symposium on Principles of Distributed Computing, 1997.
43. A. Doudou, Manuel d'utilisation de Phoenix, LSE-EPFL, Lausanne, June 1995.
44. P. Ezhilchelvan, R. Macêdo, S. Shrivastave, Newtop: A Fault-Tolerant Group Communication Protocol, in Proceedings of the 15th International Conference on Distributed Computing Systems, pp. 296-306, May 1995.
45. A. Fekete, N. Lynch, A. Shvartsman, Specifying and using a partitionable group communication service, in: Proceedings of the 16th ACM Symposium on Principles of Distributed Computing, 1996, pp. 53-62.
46. S. Floyd, V. Jacobson, S. Mc Canne, C. Liu, L. Zhang, A Reliable Multicast Framework for Light-Weight Sessions and Application Level Framing, ACM SIGCOMM, 1995.
47. Fischer M., Lynch N., Patterson M. Impossibility of distributed consensus with one faulty process. Journal of the ACM. 32(2):1985;374-382.
48. R. Friedman, R. Van Renesse, Strong and Weak Virtual Synchrony in Horus, Technical Report TR95-1537, Dept. of Computer Science Cornell University, March 1995.
49. R. Friedman, A. Vaysburd, Fast replicated state machines over partitionable networks, in: Proceedings of the 16th Symposium on Reliable Distributed Systems, October 1997.
50. A. Galleni, D. Powell, Consensus and Membership in Synchronous and Asynchronous Distributed Systems, LAAS Report 96104, April 1996.
51. R. Golding, D. Long, Design Choices for Weak-Consistency Group Communication, Technical Report UCSC-CRL-92-45 University of California, Santa Cruz, 1992.
52. Gottschalk K., Graham S., Kreger H., Snell J. Introduction to web services architecture. IBM Systems Journal. 41(2):2002;170-177.
53. R. Guerraoui, A. Schiper, Transaction model vs. virtual synchrony model: bridging the gap, in: Theory and Practice in Distributed Systems, Lecture Notes in Computer Science 938, Springer Verlag, 1994, pp. 121-132.
54. Guerraoui R., Schiper A. Software-based replication for fault-tolerance. IEEE Computer. 30(4):1997;68-74.
55. M. Hayden, The Ensenble System, Ph.D. Thesis, Department of Computer Science, Cornell University, 1998.
56. M. Hayden, Ensemble Tutorial, Department of Computer Science, Cornell University, February 1998.
57. Herlihy M., Wing J. Linearizability: a correctness condition for concurrent objects. ACM Transactions on Programming Languages and Systems. 12(3):1990;463-492.
58. M. Hiltunen, R. Schlichting, Understanding Membership, Technical Report TR-95-07, Dept. of Computer Science, University of Arizona, July 1995.
59. Group Services Programming Guide and Reference (Version 2, Release 2), IBM Parallel Systems Support Programs for AIX, Document Number SC28-1675-00, November 1996.
60. JBoss Clustering, The JBoss Group, February 2003.
61. F. Kaashoek, A. Tanenbaum, Group communication in the Amoeba distributed operating system, in: Proceedings of the 11th IEEE International Conference on Distributed Computing Systems, May 1991, pp. 222-230.
62. Kaashoek M., Tanenbaum A., Verstoep K. Group communication in amoeba and its applications. Distributed Systems Engineering. 1(1):1993;48-58.
63. Karamanolis C., Magee J. Client-access protocols for replicated services. IEEE Transactions on Software Engineering. 25(1):1999;3-21.
64. Keidar I., Sussman J., Marzullo K., Dolev D. Moshe: a group membership service for WANs. ACM Transactions on Computer Systems. 20(3):2002;1-48.
65. B. Kemme, G. Alonso, A suite of database replication protocols based on group communication primitives, in: Proceedings of the 18th International Conference on Distributed Computing Systems, May 1998, pp. 156-163.
66. Kemme B., Alonso G. A new approach to developing and implementing eager database replication protocols. ACM Transactions on Database Systems. 25(3):2000;335-379.
67. B. Kemme, G. Alonso, Don't be lazy, be consistent: Postgres-R, a new way to implement Database Replication, in: Proceedings of 26th International Conference on Very Large Databases (VLDB), September 2000.
68. B. Kemme, A. Bartoli, O. Babaoglu, On-line reconfiguration in replicated databases based on group communication, in: Proceedings of Dependable Systems and Networks, June 2001.
69. Lamport L. Time, clocks and the ordering of events in a distributed system. Communications of the ACM. 21(7):1978;558-565.
70. Lamport L. How to make a multiprocessor that correctly executes multiprocess programs. IEEE Transactions on Computers. 28(9):1979;690-691.
71. B. Lampson, Atomic Transactions, in Distributed Systems: Architecture and Implementation, Lecture Notes in Computer Science 105, Springer-Verlag, 1981, pp. 246-265.
72. Lampson B. Reliable messages and connection establishment. Distributed Systems. 2nd ed. 1993;251-281 ACM Press.
73. Liang L., Chanson S., Neufeld G. Process groups and group communication: classifications and requirements. IEEE Computer. 23(2):1990;55-66.
74. Lin J., Paul S. RMTP: a reliable multicast transport protocol. IEEE INFOCOM. 1996;1414-1424.
75. M. Little, S. Shrivastava, Understanding the role of transactions and group communications in implementing persistent replicated objects, in: Proceedings of the 8th International Workshop on Persistent Object Systems, 1999.
76. D. Malkhi, The Transis User Tutorial, Dept. of Computer Science, The Hebrew University of Jerusalem, March 1994.
77. C. Malloth, A. Fehler, A. Schiper, U. Wilhelm, Phoenix: a toolkit for building fault-tolerant distributed applications in large-scale networks, in: Proceeding of the IEEE Workshop on Parallel and Distributed Platforms for Industrial Applications, October 1995.
78. C. Malloth, Conception and Implementation of a Toolkit for Building Fault-Tolerant Distributed Applications in Large Scale Networks, Ph.D. Thesis, EPFL, Lausanne 1996.
79. Melliar-Smith P., Moser L., Agrawala V. Processor membership in asynchronous distributed systems. IEEE Transactions on Parallel and Distributed Systems. 5(5):1994;459-473.
80. S. Mishra, L. Peterson, R. Schlichting, A membership protocol based on partial order, in: Proceedings of the International Workshop on Parallel and Distributed Algorithms, February 1991, pp. 137-145.
81. Mishra S., Fei L., Lin X., Xing G. On group communication support in CORBA. IEEE Transactions on Parallel and Distributed Systems. 12(2):2001.
82. A. Montresor, R. Davoli, O. Babaoglu, The Jgroup Tutorial and Programmer's Manual, Technical Report UBLCS2000-13, Department of Computer Science, University of Bologna, September 2000.
83. G. Morgan, S. Shrivastava, Implementing flexible object group invocation in networked systems, in: Proceedings of the International Conference on Dependable Systems and Networks, June 2000.
84. L.E. Moser, Y. Amir, P.M. Melliar-Smith, D.A. Agarwal, Extended virtual synchrony, in: Proceedings of the 14th International Conference on Distributed Computing Systems, June 1994, pp. 56-65.
85. Moser L., Melliar-Smith P., Agarwal D., Budhia R., Lingley-Papadopoulos C. Totem: a fault-tolerant multicast group communication system. Communications of the ACM. 39(4):1996;54-63.
86. Moser L., Melliar-Smith P., Narasimhan P. Consistent object replication in the eternal system. Theory and Practice of Object Systems. 4(2):1998;81-92.
87. P. Narasymhan, L. Moser, P. Melliar-Smith, State synchronization and recovery for strongly consistent replicated CORBA objects, in: Proceedings of Dependable Systems and Networks, June 2001.
88. Narasymhan P., Moser L., Melliar-Smith P. Strongly consistent replication and recovery of fault-tolerant CORBA applications. Journal of Computer Systems Science and Engineering. (Spring):2002.
89. Common Object Request Broker Architecture v2.6, Object Management Group, December 2001.
90. Raynal M., Schiper A., Toueg S. The causal ordering abstraction and a simple way to implement it. Information Processing Letters. 39(6):1991;343-350.
91. Raynal M., Singhal M. Logical time: capturing causality in distributed systems. IEEE Computer. 29(2):1996.
92. Ren Y., Bakken D., Courtney T., Cukier M., Karr D., Rubel P., Sabnis C., Sanders W., Schantz R., Seri M. AquA: an adaptive architecture that provides dependable distributed objects. IEEE Transactions on Computers. 52(1):2003;31-49.
93. A. Ricciardi, K. Birman, Using process groups to implement failure detection in asynchronous environments, in: Proceedings of the 10th ACM Symposium on Principles of Distributed Computing, August 1991, pp. 341-352.
94. Ricciardi A., Birman K. Consistent process membership in asynchronous environments. Reliable Distributed Computing with the Isis toolkit. 1994;IEEE Computer Society Press.
95. Saltzer J., Reed D., Clark D. End-to-end arguments in system design. ACM Transactions on Computer Systems. 2(4):1984;277-288.
96. Schiper A., Raynal M. From group communication to transactions in distributed systems. Communications of the ACM. 39(4):1996.
97. A. Schiper, A. Ricciardi, Virtually-synchronous communication based on a weak failure suspector, in: Proceedings of the 23rd International Symposium on Fault-Tolerant Computing, June 1993, pp. 534-543.
98. A. Schiper, A. Sandoz, Uniform reliable multicast in a virtually synchronous environment, in: Proceedings of the 13th IEEE International Conference on Distributed Computing Systems, May 1993, pp. 561-568.
99. Schneider F. Implementing fault-tolerant services using the state machine approach: a tutorial. ACM Computing Surveys. 22(4):1990;299-319.
100. VanRenesse R. Causal Controversy at Le Mont St.-Michel. ACM Operating Systems Review. 27(2):1993;44-45.
101. Van Renesse R., Birman K., Cooper R., Glade B., Stephenson P. The Horus system. Reliable Distributed Computing with the Isis toolkit. 1994;IEEE Computer Society Press.
102. R. Van Renesse, T. Hickey, K. Birman, Design and Performance of Horus: A Lightweight Group Communication System, Technical Report TR94-1442, Department of Computer Science, Cornell University, 1994.
103. Van Renesse R., Birman K., Maffeis S. Horus: a flexible group communication system. Communications of the ACM. 39(4):1996;76-83.
104. A. Vaysburd, Building Reliable Interoperable Distributed Objects with the Maestro Tools, Ph.D. Thesis, Department of Computer Science, Cornell University, 1998.
105. W. Vogels, D. Dumitriu, K. Birman, R. Gamache, R. Short, J. Vert, M. Massa, J. Barrera, J. Gray, The design and architecture of the microsoft cluster service a practical approach to high-availability and scalability, in: Proceedings of the 28th Symposium on Fault-Tolerant Computing, June 1998.
106. M. Wiesmann, F. Pedone, A. Schiper, B. Kemme, G. Alonso, Understanding replication in databases and distributed systems, in: Proceedings of the 20th IEEE International Conference on Distributed Computing Systems, April 2000.