Consensus in the presence of partial synchrony
Journal of the ACM (JACM)
The process group approach to reliable distributed computing
Communications of the ACM
Impossibility of distributed consensus with one faulty process
Journal of the ACM (JACM)
Distributed snapshots: determining global states of distributed systems
ACM Transactions on Computer Systems (TOCS)
Unreliable failure detectors for reliable distributed systems
Journal of the ACM (JACM)
Primary Partition "Virtually-Synchronous Communication" harder than Consensus
WDAG '94 Proceedings of the 8th International Workshop on Distributed Algorithms
The Inherent Cost of Strong-Partial View-Synchronous Communication
WDAG '95 Proceedings of the 9th International Workshop on Distributed Algorithms
HICSS '95 Proceedings of the 28th Hawaii International Conference on System Sciences
On the Impossibility of Group Membership
On the Impossibility of Group Membership
Newtop: a fault-tolerant group communication protocol
ICDCS '95 Proceedings of the 15th International Conference on Distributed Computing Systems
Group Membership and View Synchrony in Partitionable Asynchronous Distributed Systems: Specifications
System support for partition-aware network applications
ACM SIGOPS Operating Systems Review
Dynamic load balancing with group communication
Theoretical Computer Science
Practical database replication
Replication
| Hi-index | 0.00 |
Transient failures, unknown scheduling strategies and variable loads on the computing and communication resources give rise to an asynchronous and partitionable characterization for practical distributed systems with large geographic extent. We consider the group membership problem in partitionable asynchronous systems and give a formal specification that guarantees liveness and prevents capricious view splitting. Our work is based on the notion of reachability as an appropriate characterization of failures in partitionable systems in that it subsumes both process crashes and communication failures. The group membership problem is formulated in the context of view synchrony that includes a reliable multicast service for communication within the group. Our specification is modular and includes properties governing group membership separately from those governing reliable multicasts. It can be taken either partially for defining a group membership service alone, or taken as a whole for defining view synchrony.