Randomized Asynchronous Consensus with Imperfect Communications

Research output: Contribution to conferencesPaperContributedpeer-review

Contributors

Abstract

We introduce a novel hybrid failure model, which facilitates an accurate and detailed analysis of round-based synchronous, partially synchronous and asynchronous distributed algorithms under both process and link failures. Granting every process in the system up to f/sub /spl lscr// send and receive link failures (with f/sub /spl lscr///sup a/ arbitrary faulty ones among those) in every round, without being considered faulty, we show that the well-known randomized Byzantine agreement algorithm of (Srikanth & Toueg 1987) needs just n /spl ges/ 4f/sub /spl lscr// + 2ff/sub /spl lscr///sup a/+ 3f/sub a/ + 1 processes for coping with f/sub a/ Byzantine faulty processes. The probability of disagreement after R iterations is only 2/sup -R/, which is the same as in the FLP model and thus much smaller than the lower bound 0(1/R) known for synchronous systems with lossy links. Moreover, we show that 2-stubborn links are sufficient for this algorithm. Hence, contrasting widespread belief, a perfect communications subsystem is not required for efficiently solving randomized Byzantine agreement.

Details

Original languageEnglish
Number of pages10
Publication statusPublished - 2003
Peer-reviewedYes

Conference

Title22nd International Symposium on Reliable Distributed Systems
Conference number
Duration6 October 2003
Degree of recognitionInternational event
Location
CityFlorenz
CountryItaly

Keywords

Research priority areas of TU Dresden

DFG Classification of Subject Areas according to Review Boards

Keywords

  • Algorithm design and analysis, Failure analysis, Distributed algorithms, Context modeling, Embedded computing, Fault tolerance, Process design, Discrete event simulation, software fault tolerance, fault simulation, message passing, concurrency control, randomized asynchronous consensus, imperfect communications, hybrid failure model, process failure, link failure, Byzantine agreeement algorithm, Byzantine faulty processes, FLP model