Concurrency control and recovery in database systems
Concurrency control and recovery in database systems
Coda: A Highly Available File System for a Distributed Workstation Environment
IEEE Transactions on Computers
Understanding fault-tolerant distributed systems
Communications of the ACM
Lightweight causal and atomic group multicast
ACM Transactions on Computer Systems (TOCS)
Impossibility of distributed consensus with one faulty process
Journal of the ACM (JACM)
ACM Transactions on Computer Systems (TOCS)
Design and Performance of Horus: A Lightweight Group Communications System
Design and Performance of Horus: A Lightweight Group Communications System
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
RELACS: A Communications Infrastructure for Constructing Reliable Applications in Large-Scale Distributed Systems
Enriched View Synchrony: A Programming Paradigm for Partitionable Asynchronous Distributed Systems
IEEE Transactions on Computers
Specifying and using a partitionable group communication service
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
The Timed Asynchronous Distributed System Model
IEEE Transactions on Parallel and Distributed Systems
Specifying and using a partitionable group communication service
ACM Transactions on Computer Systems (TOCS)
The Timewheel Group Communication System
IEEE Transactions on Computers
A Dynamic Primary Configuration Group Communication Service
Proceedings of the 13th International Symposium on Distributed Computing
Relying on Safe Distance to Achieve Strong Partitionable Group Membership in Ad Hoc Networks
IEEE Transactions on Mobile Computing
Supporting ordering and consistency in a distributed Event Heap for Ubiquitous Computing
Personal and Ubiquitous Computing
Tailoring consistency in group membership for mobile networks
Future Generation Computer Systems
Hi-index | 0.01 |
Atomic broadcast is a group communication service that enables a team of distributed processes to keep replicated data 'consistent', despite concurrency, communication uncertainty, failures and recoveries. We investigate possible meanings for replicated data 'consistency' in timed asynchronous systems, subject to crash/performance process failures and omission/performance communication failures which may partition correct team members into isolated parallel groups. We propose three different replica consistency specifications: group agreement, majority agreement and strict agreement and give examples of atomic broadcast protocols that implement these specifications. The interface issues between the underlying membership services and the broadcast protocols that provide the above semantics are also addressed.