The process group approach to reliable distributed computing
Communications of the ACM
The Totem single-ring ordering and membership protocol
ACM Transactions on Computer Systems (TOCS)
Impossibility of distributed consensus with one faulty process
Journal of the ACM (JACM)
Unreliable failure detectors for reliable distributed systems
Journal of the ACM (JACM)
Communications of the ACM
The weakest failure detector for solving consensus
Journal of the ACM (JACM)
On the impossibility of group membership
PODC '96 Proceedings of the fifteenth annual ACM symposium on Principles of distributed computing
A dynamic view-oriented group communication service
PODC '98 Proceedings of the seventeenth annual ACM symposium on Principles of distributed computing
Heartbeat: A Timeout-Free Failure Detector for Quiescent Reliable Communication
Heartbeat: A Timeout-Free Failure Detector for Quiescent Reliable Communication
Newtop: a fault-tolerant group communication protocol
ICDCS '95 Proceedings of the 15th International Conference on Distributed Computing Systems
| Hi-index | 0.02 |
We present a model of distributed systems intended for the description of group membership services. The model incorporates a generalization of failure detectors [9], which we call oracles. Oracles provide information about processes that may be included into or excluded from the group. Based on this model, we provide a specification of a group membership service in asynchronous systems augmented with oracles. We also present an algorithm that implements such a service provided that the information supplied by the oracles is of sufficient quality.