Self-stabilizing indulgent zero-degrading binary consensus
Journal article, 2024

Guerraoui proposed an indulgent solution for the binary consensus problem. Namely, he showed that an arbitrary behavior of the failure detector never violates safety requirements even if it compromises liveness. Consensus implementations are often used in a repeated manner. Dutta and Guerraoui proposed a zero-degrading solution, i.e., during system runs in which the failure detector behaves perfectly, a node failure during one consensus instance has no impact on the performance of future instances. Our study, which focuses on indulgent zero-degrading binary consensus, aims at the design of an even more robust communication abstraction. We do so through the lenses of self-stabilization—a very strong notion of fault-tolerance. In addition to node and communication failures, self-stabilizing algorithms can recover after the occurrence of arbitrary transient faults; these faults represent any violation of the assumptions according to which the system was designed to operate (as long as the algorithm code stays intact). This work proposes the first, to the best of our knowledge, self-stabilizing algorithm for indulgent zero-degrading binary consensus for time-free message-passing systems prone to detectable process failures. The proposed algorithm recovers within a finite time after the occurrence of the last arbitrary transient fault. Since the proposed solution uses an Ω failure detector, we also present the first, to the best of our knowledge, self-stabilizing asynchronous Ω failure detector, which is a variation on the one by Mostéfaoui, Mourgaya, and Raynal.

Self-stabilization

Replication systems

Fault-tolerance

Author

Oskar Lundström

Student at Chalmers

Michel Raynal

Hong Kong Polytechnic University

Institut de Recherche en Informatique et Systemes Aleatoires

Elad Schiller

Network and Systems

Theoretical Computer Science

0304-3975 (ISSN)

Vol. 989 114387

Subject Categories

Computer Engineering

Embedded Systems

Computer Science

DOI

10.1016/j.tcs.2024.114387

More information

Latest update

3/8/2024 9