Larrea, Mikel and Fernández Anta, Antonio and Arévalo, Sergio
(2013)
Implementing the weakest failure detector for solving the consensus problem.
[Journal Articles]
Preview 

PDF (Implementing the weakest failure detector for solving the consensus problem)
 Published Version
Download (326Kb)
 Preview

Abstract
The concept of unreliable failure detector was introduced by Chandra and Toueg as a mechanism that provides information about process failures. This mechanism has been used to solve several agreement problems, such as the consensus problem. In this paper, algorithms that implement failure detectors in partially synchronous systems are presented. First two simple algorithms of the weakest class to solve the consensus problem, namely the Eventually Strong class (<>S), are presented. While the first algorithm is waitfree, the second algorithm is fresilient, where f is a known upper bound on the number of faulty processes. Both algorithms guarantee that, eventually, all the correct processes agree permanently on a common correct process, i.e. they also implement a failure detector of the class Omega (Ω). They are also shown to be optimal in terms of the number of communication links used forever. Additionally, a waitfree algorithm that implements a failure detector of the Eventually Perfect class (<>P) is presented. This algorithm is shown to be optimal in terms of the number of bidirectional links used forever.
Actions (login required)

View Item 