Skip to Main content Skip to Navigation
Journal articles

Unreliable Distributed Timing Scrutinizer to Converge toward Decision Conditions

Emmanuelle Anceaume 1, 2 Eric Mourgaya 3 Philippe Raïpin-Parvédy 3
1 CIDRE - Confidentialité, Intégrité, Disponibilité et Répartition
CentraleSupélec, Inria Rennes – Bretagne Atlantique , IRISA-D1 - SYSTÈMES LARGE ÉCHELLE
3 ADEPT - Algorithms for Dynamic Dependable Systems
IRISA - Institut de Recherche en Informatique et Systèmes Aléatoires, INRIA Rennes
Abstract : In this paper, we propose to extend the condition-based approach introduced and developed by Most'efaoui et al. in 2001 by characterizing Vn f , the set of all the possible input vectors containing the values proposed by n processes. The condition-based approach consists in identifying sets of input vectors for which the consensus is directly solvable (i.e., in one communication step) in a pure asynchronous model despite up to f crashes. We focus on all the other input vectors. Among them, we identify those that allow to solve the consensus problem in two communication steps still in a pure asynchronous model. For the other ones, we rely on a distributed oracle that enables the input vectors to converge toward a good patterned vector with probability one. We specify a protocol that benefits from this approach to solve the consensus problem very simply and efficiently.
Document type :
Journal articles
Complete list of metadata

Cited literature [7 references]  Display  Hide  Download
Contributor : Emmanuelle Anceaume <>
Submitted on : Monday, December 16, 2013 - 9:05:20 AM
Last modification on : Thursday, February 11, 2021 - 2:48:03 PM
Long-term archiving on: : Tuesday, March 18, 2014 - 12:25:40 PM


Publisher files allowed on an open archive


  • HAL Id : hal-00916690, version 1


Emmanuelle Anceaume, Eric Mourgaya, Philippe Raïpin-Parvédy. Unreliable Distributed Timing Scrutinizer to Converge toward Decision Conditions. Studia Informatica Universalis, Hermann, 2008, 6 (2), pp.23--50. ⟨hal-00916690⟩



Record views


Files downloads