Reliable communication in the presence of failures
ACM Transactions on Computer Systems (TOCS)
The Totem single-ring ordering and membership protocol
ACM Transactions on Computer Systems (TOCS)
A reliable dissemination protocol for interactive collaborative applications
Proceedings of the third ACM international conference on Multimedia
Unreliable failure detectors for reliable distributed systems
Journal of the ACM (JACM)
The weakest failure detector for solving consensus
Journal of the ACM (JACM)
ACM Transactions on Computer Systems (TOCS)
ACM Transactions on Computer Systems (TOCS)
Lightweight Probabilistic Broadcast
DSN '01 Proceedings of the 2001 International Conference on Dependable Systems and Networks (formerly: FTCS)
Newtop: a fault-tolerant group communication protocol
ICDCS '95 Proceedings of the 15th International Conference on Distributed Computing Systems
TRAM: A Tree-based Reliable Multicast Protocol
TRAM: A Tree-based Reliable Multicast Protocol
Failure detection and consensus in the crash-recovery model
Distributed Computing
The collective memory of amnesic processes
ACM Transactions on Algorithms (TALG)
Online recovery in cluster databases
EDBT '08 Proceedings of the 11th international conference on Extending database technology: Advances in database technology
Optimistic Erasure-Coded Distributed Storage
DISC '08 Proceedings of the 22nd international symposium on Distributed Computing
On detecting termination in the crash-recovery model
Euro-Par'07 Proceedings of the 13th international Euro-Par conference on Parallel Processing
Hi-index | 0.00 |
This paper addresses the problems of broadcasting messages in a reliable and totally ordered manner assuming a crash-recovery model, i.e., a model where processes and channels may crash and possibly recover. We present a suite of specifications of reliable and total order broadcast abstractions for this model and we describe algorithms that implement those specifications. The properties of broadcast abstractions are first given separately and then composed: this provides a comprehensive design space for broadcast semantics. The algorithms we give are efficient both in terms of time-complexity (communication steps) and log-complexity (disk accesses).