Wait-freedom with advice - Inria - Institut national de recherche en sciences et technologies du numérique Access content directly
Journal Articles Distributed Computing Year : 2015

Wait-freedom with advice

Abstract

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.
No file

Dates and versions

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

Identifiers

Cite

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⟩
180 View
0 Download

Altmetric

Share

Gmail Facebook X LinkedIn More