Wait-freedom with advice - Inria - Institut national de recherche en sciences et technologies du numérique
Article Dans Une Revue Distributed Computing Année : 2015

Wait-freedom with advice

Résumé

We motivate and propose a new way of thinking about failure detectors which allows us to define what it means to solve a distributed task wait-free using a failure detector. In our model, the system is composed of computation processes that obtain inputs and are supposed to produce outputs and synchronization processes that are subject to failures and can query a failure detector. Under the condition that correct (never failing) synchronization processes take sufficiently many steps, they provide the computation processes with enough advice to solve the given task wait-free: every computation process outputs in a finite number of its own steps, regardless of the behavior of other computation processes. Every task can thus be characterized by the weakest failure detector that allows for solving it, and we show that every such failure detector captures a form of set agreement. We then obtain a complete classification of tasks, including ones that evaded comprehensible characterization so far, such as renaming or weak symmetry breaking.

Domaines

Informatique
Fichier non déposé

Dates et versions

hal-01100779 , version 1 (07-01-2015)
hal-01100779 , version 2 (06-01-2016)

Identifiants

Citer

Carole Delporte-Gallet, Hugues Fauconnier, Petr Kouznetsov, Eli Gafni. Wait-freedom with advice. Distributed Computing, 2015, 28 (1), pp.3-19. ⟨10.1007/s00446-014-0231-6⟩. ⟨hal-01100779v2⟩
193 Consultations
0 Téléchargements

Altmetric

Partager

More