作者: Kal Lin , Vassos Hadzilacos
关键词: Asynchronous communication 、 Generalization 、 Service (systems architecture) 、 Group (mathematics) 、 Computer science 、 Group membership 、 Quality (business) 、 Distributed computing 、 Fault tolerance 、 Theoretical computer science
摘要: We present a model of distributed systems intended for the description group membership services. The incorporates generalization failure detectors [9], which we call oracles. Oracles provide information about processes that may be included into or excluded from group. Based on this model, specification service in asynchronous augmented with also an algorithm implements such provided supplied by oracles is sufficient quality.