Using process groups to implement failure detection in asynchronous environments
PODC '91 Proceedings of the tenth annual ACM symposium on Principles of distributed computing
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)
Totem: a fault-tolerant multicast group communication system
Communications of the ACM
The Transis approach to high availability cluster communication
Communications of the ACM
Horus: a flexible group communication system
Communications of the ACM
On the impossibility of group membership
PODC '96 Proceedings of the fifteenth annual ACM symposium on Principles of distributed computing
A new look at membership services (extended abstract)
PODC '96 Proceedings of the fifteenth annual ACM symposium on Principles of distributed computing
A framework for partitionable membership service
PODC '96 Proceedings of the fifteenth annual ACM symposium on Principles of distributed computing
Specifying and using a partitionable group communication service
PODC '97 Proceedings of the sixteenth annual ACM symposium on Principles of distributed computing
Failure detectors in omission failure environments
PODC '97 Proceedings of the sixteenth 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
Reliable Distributed Computing with the ISIS Toolkit
Reliable Distributed Computing with the ISIS Toolkit
Reliable Distributed Computing with the ISIS Toolkit
Reliable Distributed Computing with the ISIS Toolkit
Multicast Group Communication as a Base for a Load-Balancing Replicated Data Service
DISC '98 Proceedings of the 12th International Symposium on Distributed Computing
The Jgroup distributed object model
Proceedings of the IFIP WG 6.1 International Working Conference on Distributed Applications and Interoperable Systems II
HICSS '95 Proceedings of the 28th Hawaii International Conference on System Sciences
System Support for Partition-Aware Network Applications
ICDCS '98 Proceedings of the The 18th International Conference on Distributed Computing Systems
Newtop: a fault-tolerant group communication protocol
ICDCS '95 Proceedings of the 15th International Conference on Distributed Computing Systems
The ensemble system
Middleware for dependable network services in partitionable distributed systems
ACM SIGOPS Operating Systems Review
Group communication specifications: a comprehensive study
ACM Computing Surveys (CSUR)
Moshe: A group membership service for WANs
ACM Transactions on Computer Systems (TOCS)
Application-based dynamic primary views in asynchronous distributed systems
Journal of Parallel and Distributed Computing
Three-tier replication for FT-CORBA infrastructures
Software—Practice & Experience
Relying on Safe Distance to Achieve Strong Partitionable Group Membership in Ad Hoc Networks
IEEE Transactions on Mobile Computing
Implementing a replicated service with group communication
Journal of Systems Architecture: the EUROMICRO Journal
Détection de partition pour la gestion de groupes en environnement mobile
UbiMob '05 Proceedings of the 2nd French-speaking conference on Mobility and ubiquity computing
From Set Membership to Group Membership: A Separation of Concerns
IEEE Transactions on Dependable and Secure Computing
Jgroup-ARM: a distributed object group platform with autonomous replication management
Software—Practice & Experience
ACM SIGACT News
Secure failure detection in TrustedPals
SSS'07 Proceedings of the 9h international conference on Stabilization, safety, and security of distributed systems
Maximal group membership in ad hoc networks
PPAM'05 Proceedings of the 6th international conference on Parallel Processing and Applied Mathematics
Extended membership problem for open groups: specification and solution
VECPAR'04 Proceedings of the 6th international conference on High Performance Computing for Computational Science
An approach to experimentally obtain service dependability characteristics of the Jgroup/ARM system
EDCC'05 Proceedings of the 5th European conference on Dependable Computing
Efficient simulation of view synchrony
Proceedings of the Winter Simulation Conference
Enhancing group communication with self-manageable behavior
Journal of Parallel and Distributed Computing
| Hi-index | 0.00 |
We give a formal specification and an implementation for a partitionable group communication 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 guarantees liveness and excludes trivial solutions, it constitutes a useful basis for building realistic partition-aware applications, and it is implementable in practical asynchronous distributed systems where certain stability conditions hold.