Back to Search
Start Over
Efficient Solution to Uniform Atomic Broadcast.
- Source :
-
International Journal of Foundations of Computer Science . Oct2002, Vol. 13 Issue 5, p695. 23p. 3 Black and White Photographs. - Publication Year :
- 2002
-
Abstract
- Chandra and Toueg proposed in 1993 a new approach to overcome the impossibility of reaching deterministically Consensus — and by corollary Atomic Broadcast — in asynchronous systems subject to crash failures. They augment the asynchronous system with a possibly Unreliable Failure Detector which provides some information about the operational state of processes. In this paper, we present an extension of the Consensus problem that we call Uniform Prefix Agreement. This extension enables all the processes to propose a flow of messages during an execution — instead of one as in the Consensus problem — and uses all these proposed messages to compose the decision value. Prefix Agreement is based on an Unreliable Failure Detector. We use repeated executions of Prefix Agreement to build an efficient Uniform Atomic Broadcast algorithm. This paper describes the Uniform Prefix Agreement and Uniform Atomic Broadcast algorithms, and provides proofs of their correctness. [ABSTRACT FROM AUTHOR]
- Subjects :
- *ASYNCHRONOUS circuits
*ALGORITHMS
Subjects
Details
- Language :
- English
- ISSN :
- 01290541
- Volume :
- 13
- Issue :
- 5
- Database :
- Academic Search Index
- Journal :
- International Journal of Foundations of Computer Science
- Publication Type :
- Academic Journal
- Accession number :
- 7714586
- Full Text :
- https://doi.org/10.1142/S0129054102001400