Partitionable Group Membership: Specification and Algorithms

Authors:
O. Babaoglu;R. Davoli;A. Montresor
Affiliations:
-;-;-
Venue:
Partitionable Group Membership: Specification and Algorithms
Year:
1997

Citing 0
Cited 3

System support for partition-aware network applications

ACM SIGOPS Operating Systems Review
Fundamentals of fault-tolerant distributed computing in asynchronous environments

ACM Computing Surveys (CSUR)
The architecture and performance of security protocols in the ensemble group communication system: Using diamonds to guard the castle

ACM Transactions on Information and System Security (TISSEC)

Quantified Score

Hi-index	0.00

Visualization

Abstract

We give a formal specification for a partionable group membership service in asynchronous distributed systems. Our specification is motivated by the requirements for building "partition-aware" applications that can continue operating without blocking in multiple concurrent partitions and reconfigure themselves dynamically when partitions merge. The specified service is sound in the sense that it guarantees liveness, excludes trivial solutions and is implementable in practical asynchronous distributed systems where certain stability conditions hold.