Moshe: A Group Membership Service for WANs

ACM Transactions on Computer Systems

Volumn 20, Issue 3, 2002, Pages 191-238

  Keidar, Idit ^a   Sussman, Jeremy ^b   Marzullo, Keith ^c   Dolev, Danny ^d  

^a TECHNION ISRAEL INSTITUTE OF TECHNOLOGY   (Israel)

^b IBM T J WATSON RESEARCH CENTER   (United States)

^c UNIVERSITY OF CALIFORNIA   (United States)

^d HEBREW UNIVERSITY OF JERUSALEM   (Israel)

Author keywords

Categories and Subject Descriptors: C.2.4 Computer Communication Networks : Distributed Systems; D.4.7 Operating Systems : Organization and Design Distributed Systems

Indexed keywords

EID: 0012585725     PISSN: 07342071     EISSN: None     Source Type: Journal    
DOI: 10.1145/566340.566341     Document Type: Article

References (47)

1. ACM. 1996. Commun. ACM 39, 4 (Apr.) (Special Issue on Group Communications Systems).
2. AGARWAL, D. A., MOSER, L. E., MELLIAR-SMITH, P. M., AND BUDHIA, R. K. 1998. The Totem multiplering ordering and topology maintenance protocol. ACM Trans. Comput. Syst. 16, 2 (May), 93-132.
3. AMIR, Y., DOLEV, D., MELLIAR-SMITH, P. M., AND MOSER, L. E. 1994. Robust and efficient replication using group communication. Technical report CS94-20, Institute of Computer Science, Hebrew University, Jerusalem, Israel.
4. AMIR, Y. AND STANTON, J. 1998. The Spread wide area group communication system. Technical report TR CNDS-98-4, The Center for Networking and Distributed Systems, The Johns Hopkins University, Baltimore, MD.
5. ANDERSEN, D. G., BALAKRISHNAN, H., KAASHOEK, F., AND MORRIS, R. 2001. Resilient overlay networks. In SOSP (Oct. 2001). ACM Press, New York, NY, 131-145.
6. ANKER, T., BREITGAND, D., DOLEV, D., AND LEVY, Z. 1997. CONGRESS: Connection-oriented group-address resolution service. In Proceedings of SPIE on Broadband Networking Technologies (Nov. 2-3 1997). SPIE Press, Bellingham, WA, 89-100.
7. ANKER, T. CHOCKLER, G., DOLEV, D., AND KEIDAR, I. 1998. Scalable group membership services for novel applications. In M. Mavronicolas, M. Merritt, and N. Shavit Eds., Networks in Distributed Computing (DIMACS workshop), Volume 45 of DIMACS (1998). American Mathematical Society, Providence, RI, 23-12.
8. ANKER, T., DOLEV, D., AND KEIDAR, I. 1999. Fault tolerant video-on-demand services. In 19th International Conference on Distributed Computing Systems (ICDCS, June 1999), 244-252.
9. BABAOǦLU Ö., DAVOLI, R., AND MONTRESOR, A. 2001. Group communication in partitionable systems: Specification and algorithms. IEEE Trans. Softw. Eng. 27, 4 (April), 308-336. Previous version: Technical report UBLCS98-1, Department of Computer Science, University of Bologna, Bologna, Italy.
10. BIRMAN, K. 1996. Building Secure and Reliable Network Applications. Manning Publications, Greenwich, CT.
11. BIRMAN, K., FRIEDMAN, R., HAYDEN, M., AND RHEE, I. 1999. Middleware support for distributed multimedia and collaborative computing. Saftw. Pract. Exp. 29, 14 (Dec.), 1285-1312.
12. CHANDRA, T., HADZILACOS, V., TOUEG, S., AND CHARRON-BOST, B. 1996. On the impossibility of group membership. In 15th ACM Symposium on Principles of Distributed Computing (PODC, May 1996). ACM Press, New York, NY, 322-330.
13. CHANDRA, T. D. AND TOUEG, S. 1996. Unreliable failure detectors for reliable distributed systems. Journal of the ACM 43, 2 (March), 225-267.
14. CHOCKLER, G. V., KEIDAR, I., AND VITENBERG, R. 2001. Group communication specifications: A comprehensive study. ACM Comput. Surv. 33, 4 (Dec.), 1-43. Previous version: MIT Technical report MIT-LCS-TR-790 (Sept. 1999), Massachusetts Institute of Technology, Cambridge, MA.
15. CRISTIAN, F. AND SCHMUCK, F. 1995. Agreeing on process group membership in asynchronous distributed systems. Technical report CSE95-428, Department of Computer Science and Engineering, University of California, San Diego.
16. DOLEV, D. AND MALKHI, D. 1996. The Transis approach to high availability cluster communication. Commun. ACM 39, 4 (April), 64-70.
17. DOLEV, D., MALKI, D., AND STRONG, H. R. 1994. An asynchronous membership protocol that tolerates partitions. Technical report CS94-6, Institute of Computer Science, Hebrew University, Jerusalem, Israel.
18. DWORK, C., LYNCH, N., AND STOCKMEYER, L. 1988. Consensus in the presence of partial synchrony. Journal of the ACM 35, 2 (April), 288-323.
19. FEKETE, A., LYNCH, N., AND SHVARTSMAN, A. 2001. Specifying and using a partitionable group communication service. ACM Trans. Comput. Syst. 19, 2 (May), 171-216. Previous version appeared in PODC 1997.
20. FRIEDMAN, R. AND VAN RENESSE, R. 1995. Strong and weak virtual synchrony in Horus. Technical report TR 95-1537 (Aug.), Dept. of Computer Science, Cornell University, Ithaca, NY.
21. FRIEDMAN, R. AND VAYSBURD, A. 1997. Fast replicated state machines over partitionable networks. In 16th IEEE International Symposium on Reliable Distributed Systems (SRDS, Oct. 1997). IEEE Computer Society Press, Los Alamitos, CA, 130-137.
22. GLADE, B., BIRMAN, K., COOPER, R., AND VAN RENESSE, R. 1993. Lightweight process groups in the Isis system. Distrib. Syst. Eng. 1, 29-36.
23. GUERRAOUI, R. AND SCHIPER, A. 1997a. Consensus: The big misunderstanding. In Proceedings of the 6th IEEE Computer Society Workshop on Future Trends in Distributed Computing Systems (FTDCS-6 Tunis, Tunisia, Oct. 1997). IEEE Computer Society Press, Los alamitos, CA, 183-188.
24. GUERRAOUI, R. AND SCHIPER, A. 1997b. Software-based replication for fault tolerance. IEEE Comput. 30, 4 (April), 68-74.
25. GUO, K., VOGELS, W., AND VAN RENESSE, R. 1996. Structured virtual synchrony: Exploring the bounds of virtual synchronous group communication. In 7th ACM SIGOPS European Workshop (Sept. 1996). ACM Press, New York, NY, 213-217.
26. HAYDEN, M. AND VAN RENESSE, R. 1996. Optimizing layered communication protocols. Technical report TR96-1613 (Nov.), Dept. of Computer Science, Cornell University, Ithaca, NY.
27. HILTUNEN, M. A. AND SCHLICHTING, R. D. 1998. A configurable membership service. IEEE Trans. Comput. 47, 5 (May), 573-586.
28. KEIDAR, I. AND DOLEV, D. 1996. Efficient message ordering in dynamic networks. In 15th ACM Symposium on Principles of Distributed Computing (PODC, May 1996). ACM Press, New York, NY, 68-76.
29. KEIDAR, I. AND KHAZAN, R. 2000. A client-server approach to virtually synchronous group multicast: Specifications and algorithms. In 20th International Conference on Distributed Computing Systems (ICDCS, April 2000). IEEE Computer society Press, Los Alamitos, CA, 344-355. Full version to appear in SIAM Journal on Computing, 2002.
30. KEIDAR, I. AND KHAZAN, R. 2000. A client-server approach to virtually synchronous group multicast: Specifications and algorithms. In 20th International Conference on Distributed Computing Systems (ICDCS, April 2000). IEEE Computer society Press, Los Alamitos, CA, 344-355. Full version to appear in SIAM Journal on Computing, 2002.
31. KEIDAR, I., SUSSMAN, J., MARZULLO, K., AND DOLEV, D. 2000. A client-server oriented algorithm for virtually synchronous group membership in WANs. In Proceedings of the 20th International Conference on Distributed Computing Systems (ICDCS, April 2000). IEEE Computer Science Press Los Alamitos, CA, 356-365. Full version to appear in SIAM Journal on Computing, 2002.
32. KEIDAR, I., SUSSMAN, J., MARZULLO, K., AND DOLEV, D. 2000. A client-server oriented algorithm for virtually synchronous group membership in WANs. In Proceedings of the 20th International Conference on Distributed Computing Systems (ICDCS, April 2000). IEEE Computer Science Press Los Alamitos, CA, 356-365. Full version to appear in SIAM Journal on Computing, 2002.
33. KHAZAN, R., FEKETE, A., AND LYNCH, N. 1998. Multicast group communication as a base for a load-balancing replicated data service. In 12th International Symposium on DIStributed Computing (DISC, Andros, Greece, Sept. 1998). Springer Verlag, Berlin, Germany, 258-272.
34. MALLOTH, C. P., FELBER, P., SCHIPER, A., AND WILHELM, U. 1995. Phoenix: A toolkit for building fault-tolerant, distributed applications in large scale. In Workshop on Parallel and Distributed Platforms in Industrial Products (Oct. 1995).
35. MISHRA, S., PETERSON, L. L., AND SCHLICHTING, R. L. 1993. Consul: A communication substrate for fault-tolerant distributed programs. Distrib. Syst. Eng. J. 1, 2 (Dec.), 87-103.
36. MOSER, L. E., AMIR, Y., MELLIAR-SMITH, P. M., AND AGARWAL, D. A. 1994. Extended virtual synchrony. In 14th International Conference on Distributed Computing Systems (ICDCS, June 1994). IEEE Computer Society Press, Los alamitos, CA, 56-65. Full version: Technical report ECE93-22, Department of Electrical and Computer Engineering, University of California, Santa Barbara, Santa Barbara, CA.
37. PEDONE, F. AND SCHIPER, A. 1998. Optimistic atomic broadcast. In 12th International Symposium on DIStributed Computing (DISC, Andros, Greece, Sept. 1998). Springer Verlag, Germany, 318-332.
38. POWELL, D. 1991. Delta-4: A Generic Architecture for Dependable Distributed Computing. Springer Verlag, Berlin, Germany.
39. RICCIARDI, A. M. AND BIRMAN, K. P. 1991. Using process groups to implement failure detection in asynchronous environments. In ACM Symposium on Principles of Distributed Computing (PODC, Aug 1991). ACM Press, New York, NY, 341-352.
40. RODRIGUES, L., GUO, K., SARGENTO, A., VAN RENESSE, R., GLADE, B., VERISSIMO, P., AND BIRMAN, K. 1996. A dynamic light-weight group service. In 15th IEEE International Symposium on Reliable Distributed Systems (SRDS, Oct. 1996). IEEE Computer Science Press, Los Alamitos, CA, 23-25. Also available as Technical report, TR96-1611 (Aug. 1996), Cornell University, Ithaca, NY.
41. RODRIGUES, L. AND VERISSIMO, P. 2000. Topology-aware algorithms for large-scale communication. In S. Krakowiak and S. Shrivastava Eds., Advances in Distributed Systems (Lecture Notes in Computer Science 1752). Springer Verlag, Berlin, Germany.
42. SCHIPER, A. AND RICCIARDI, A. 1993. Virtually synchronous communication based on a weak failure suspector. In 23rd IEEE Fault-Tolerant Computing Symposium (FTCS, June 1993). IEEE Computer Science Press, Los Alamitos, CA, 534-543.
43. SUSSMAN, J., KEIDAR, I., AND MARZULLO, K. 2000. Optimistic virtual synchrony. In 19th IEEE International Symposium on Reliable Distributed Systems (SRDS, Oct. 2000). IEEE Computer Science Press, Los Alamitos, CA, 42-51.
44. SUSSMAN, J. AND MARZULLO, K. 1998. The Bancomat problem: An example of resource allocation in a partitionable asynchronous system. In 12th International Symposium on DIStributed Computing (DISC, Andros, Greece, Sep. 1998), Springer Verlag, Berlin, Germany, 363-377. Full version to appear in Theoretical Computer Science, 2002.
45. SUSSMAN, J. AND MARZULLO, K. 1998. The Bancomat problem: An example of resource allocation in a partitionable asynchronous system. In 12th International Symposium on DIStributed Computing (DISC, Andros, Greece, Sep. 1998), Springer Verlag, Berlin, Germany, 363-377. Full version to appear in Theoretical Computer Science, 2002.
46. VAN RENESSE, R., HICKEY, T. M., AND BIRMAN, K. P. 1994. Design and performance of Horus: A lightweight group communications system. Technical report TR 94-1442 (Aug.), Dept. of Computer Science, Cornell University, Ithaca, NY.
47. VAN RENESSE, R., MINSKY, Y., AND HAYDEN, M. 1998. A gossip-style failure detection service. Technical report TR TR98-1687 (May), Dept. Computer Science, Cornell University, Ithaca, NY.