Impact of a failure detection mechanism on the performance of consensus

Author

Sergent, Nicole ; Defago, Xavier ; Schiper, André

Author_Institution

AXS Technol., Lausanne, Switzerland

fYear

2001

fDate

2001

Firstpage

137

Lastpage

145

Abstract

The paper considers a consensus algorithm for an asynchronous system augmented with failure detectors, and analyzes the impact on its termination time of various implementations of failure detectors. The study shows that the design of fault-tolerant distributed algorithms in the asynchronous system model augmented with failure detectors is orthogonal to implementing the actual failure detectors. This nicely decouples logical issues (proof of correctness) from engineering issues (e.g., performance and timing constraints)

Keywords

distributed algorithms; fault tolerant computing; program verification; theorem proving; asynchronous system; asynchronous system model; consensus algorithm; consensus performance; engineering issues; failure detection mechanism; failure detectors; fault-tolerant distributed algorithms; logical issues; proof of correctness; termination time; timing constraints; Algorithm design and analysis; Computer crashes; Detectors; Failure analysis; Fault detection; Fault tolerant systems; Paper technology; Redundancy; Safety; Timing;

fLanguage

English

Publisher

ieee

Conference_Titel

Dependable Computing, 2001. Proceedings. 2001 Pacific Rim International Symposium on

Conference_Location

Seoul

Print_ISBN

0-7695-1414-6

Type

conf

DOI

10.1109/PRDC.2001.992690

Filename

992690