Group Membership and View Synchrony in Partitionable Asynchronous Distributed Systems: Specifications

Operating Systems Review (ACM)

Volumn 31, Issue 2, 1997, Pages 11-22

  Babaoǧlu, Özalp ^a   Davoli, Renzo ^a   Montresor, Alberto ^a  

^a UNIVERSITY OF BOLOGNA   (Italy)

Author keywords

[No Author keywords available]

Indexed keywords

EID: 0347706731     PISSN: 01635980     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/250007.250010     Document Type: Article

References (18)

1. E. Anceaume, B. Charron-Bost, P. Minet, and S. Toueg. On the formal specification of group membership services. Technical Report TR95-1534, Department of Computer Science, Cornell University, August 1995.
2. Ö. Babaoǧlu, R. Davoli, L. Giachini, and P. Sabattini. The inherent cost of strong-partial view-synchronous communication. In J.-M. Hélary and M. Raynal, editors, Distributed Algorithms, Lecture Notes in Computer Science, pages 72-86. Springer-Verlag, 1995.
3. Ö. Babaoǧlu, R. Davoli, L.A. Giachini, and M.G. 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, pages 612-621, Maui, Hawaii, January 1995.
4. Ö. Babaoǧlu, R. Davoli, and A. Montresor. Group membership and view synchrony in partitionable asynchronous systems: Algorithms. Technical report, Department of Computer Science, University of Bologna, 1996. In preparation.
5. K. Birman. The process group approach to reliable distributed computing. Communications of the ACM, 36(12):36-53, December 1993.
6. K. Birman, R. Cooper, T. Joseph, K. Marzullo, M. Makpangou, K. Kane, F. Schmuck, and M. Wood. The ISIS - System Manual, Version 2.1. Department of Computer Science, Cornell University, September 1993.
7. T. Chandra V. Hadzulacos, S. Toueg, and B. Charron-Bost. On the impossibility of group membership. Technical Report TR95-1533, Department of Computer Science, Cornell University, October 1995.
8. T.D. Chandra and S. Toueg. Unreliable failure detectors for reliable distributed systems. Journal of the ACM, 1995. To appear.
9. K. Mani Chandy and Leslie Lamport. Distributed snapshots: Determining global states of distributed system. ACM Transactions on Computer Systems, 3(1):63-75, February 1985.
10. D. Dolev, D. Malki, and R. Strong. An asynchronous membership protocol that tolerates partitions. Technical Report CS94-6, Institute of Computer Science, The Hebrew University of Jerusalem, 1994.
11. D. Dolev, D. Malki, and R. Strong. An framework for partitionable membership service. Technical Report CS95-4, Institute of Computer Science, The Hebrew University of Jerusalem, 1995.
12. C. Dwork, N. Lynch, and L. Stockmeyer. Consensus in the presence of partial synchrony. Journal of the ACM, 35(2):288-323, April 1988.
13. P.E. Ezhilchelvan, R.A. Macedo, and S.K. Shrivastava, Newtop: A fault-tolerant group communication protocol. Technical report, Computer Laboratory, University of Newcastle upon Tyne, Newcastle upon Tyne, United Kingdom, August 1994.
14. P.E. Ezhilchelvan, R.A. Macêdo, and S.K. Shrivastava. Newtop: A fault-tolerant group communication protocol. In Proceedings of the 15th International Conference on Distributed Computing Systems, Vancouver, BC, Canada, June 1995.
15. M.J. Fischer, N.A. Lynch, and M.S. Paterson. Impossibility of Distributed Consensus with One Faulty Process. Journal of the ACM, 32(2):374-382, April 1985.
16. A. Schiper and A. Ricciardi. Virtually-synchronous communication based on a weak failure suspector. In Proceeding, of the 23rd International Symposium on Fault-Tolerant Computing, pages 534-543, June 1993.
17. A. Schiper, A. Ricciardi, and K. Birman. Understanding partitions and the "no partition" assumption. In Proceeding, 4th IEEE Workshop on Future Trends of Distributed Systems, Lisboa, Portugal, September 1993.
18. A. Schiper and A. Sandoz. Primary partition virtually synchronous communication harder than consensus. In G. Tet and P. Vitányi, editors, Distributed Algorithms, Lecture Notes in Computer Science, pages 39-52. Springer-Verlag, 1994.