Download:
|
by Emmanuelle Anceaume, Bernadette Charron-bost, Pascale Minet, Sam Toueg
ftp://ftp.cs.toronto.edu/db/vassos/gmsSpecification.ps.Z
Add To MetaCart
Abstract:
The problem of group membership has been the focus of much theoretical and experimental work on fault-tolerant distributed systems. This has resulted in a voluminous literature and several formal specifications of this problem have been given. In this paper, we examine the two most referenced formal specifications of group membership and show that they are unsatisfactory: One has flaws in the formalism and allows undesirable executions, and the other can be satisfied by useless protocols. 1
Citations
|
796
|
Distributed snapshots: Determining global states of distributed systems
– Chandy, Lamport
- 1985
|
|
501
|
Virtual time and global states of distributed systems
– Mattern
- 1989
|
|
477
|
The process group approach to reliable distributed computing
– Birman
- 1993
|
|
344
|
Transis: a communication sub-system for high availability
– Amir, Dolev, et al.
- 1992
|
|
168
|
Using process group to implement failure detection in asynchronous environments
– Riccardi, Birman
- 1991
|
|
151
|
Group Communication in the Amoeba Distributed Operating Systems
– Kaashoek, Tanenbaum
- 1991
|
|
150
|
Newtop: a fault-tolerant group communication protocol
– Ezhilchelvan, Macedo, et al.
- 1995
|
|
128
|
Reaching agreement on processor-group membership in synchronous distributed systems
– Cristian
- 1991
|
|
78
|
Membership algorithms for multicast communication groups
– Amir, Dolev, et al.
- 1992
|
|
76
|
Relacs: a communications infrastructure for constructing reliable applications in large-scale distributed systems
– Babao˘glu, Davoli, et al.
- 1994
|
|
76
|
A membership protocol based on partial order
– Mishra, Peterson, et al.
- 1991
|
|
63
|
An Asynchronous Membership Protocol that Tolerates Partitions
– Dolev, Malki, et al.
- 1994
|
|
63
|
A Configurable Membership Service
– Hiltunen, Schlichting
- 1998
|
|
62
|
A framework for partitionable membership service
– Dolev, Malki, et al.
- 1995
|
|
62
|
Processor Group Membership Protocols: Specification, Design and Implementation
– Jahanian, Fakhouri, et al.
- 1993
|
|
33
|
Properties of membership services
– Hiltunen, Schlichting
- 1995
|
|
26
|
The Group Membership Problem in Asynchronous Systems
– Ricciardi
- 1992
|
|
23
|
Process Membership in Asynchronous Environments
– Ricciardi, Birman
- 1995
|
|
17
|
Impossibility of group membership in asynchronous systems
– Chandra, Hadzilacos, et al.
- 1995
|
|
8
|
Issues in the design of highly available computing services
– Cristian
- 1987
|
|
8
|
Unreliable failure detector for asynchronous distributed systems
– Chandra, Toueg
- 1991
|
|
3
|
Vivek Agrawala. Processor membership in asynchronous distributed systems
– Melliar-Smith, Moser
- 1994
|
