Title :
Impact of a failure detection mechanism on the performance of consensus
Author :
Sergent, Nicole ; Defago, Xavier ; Schiper, André
Author_Institution :
AXS Technol., Lausanne, Switzerland
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;
Conference_Titel :
Dependable Computing, 2001. Proceedings. 2001 Pacific Rim International Symposium on
Conference_Location :
Seoul
Print_ISBN :
0-7695-1414-6
DOI :
10.1109/PRDC.2001.992690
