A lightweight solution to uniform atomic broadcast for asynchronous systems

2002 ◽  
Author(s):  
E. Anceaume
Keyword(s):  
Asynchronous Systems ◽  
Atomic Broadcast

EFFICIENT SOLUTION TO UNIFORM ATOMIC BROADCAST

2002 ◽  
Vol 13 (05) ◽  
pp. 695-717
Author(s):  
Emmanuelle ANCEAUME
Keyword(s):  
Efficient Solution ◽  
Asynchronous Systems ◽  
Consensus Problem ◽  
Failure Detector ◽  
Asynchronous System ◽  
New Approach ◽  
Atomic Broadcast ◽  
Crash Failures ◽  
Unreliable Failure Detector

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.

scholarly journals The reactive simulatability (RSIM) framework for asynchronous systems

2007 ◽  
Vol 205 (12) ◽  
pp. 1685-1720 ◽  
Author(s):  
Michael Backes ◽  
Birgit Pfitzmann ◽  
Michael Waidner
Keyword(s):  
Asynchronous Systems ◽  
Reactive Simulatability

Atomic Broadcast

2008 ◽  
pp. 73-76
Author(s):  
Xavier Défago
Keyword(s):  
Atomic Broadcast
Sign in / Sign up

Export Citation Format

Share Document