Sciweavers

Share
DCOSS
2006
Springer

When Birds Die: Making Population Protocols Fault-Tolerant

11 years 9 months ago
When Birds Die: Making Population Protocols Fault-Tolerant
In the population protocol model introduced by Angluin et al. [2], a collection of agents, which are modelled by finite state machines, move around unpredictably and have pairwise interactions. The ability of such systems to compute functions on a multiset of inputs that are initially distributed across all of the agents has been studied in the absence of failures. Here, we show that essentially the same set of functions can be computed in the presence of halting and transient failures, provided preconditions on the inputs are added so that the failures cannot immediately obscure enough of the inputs to change the outcome. We do this by giving a general-purpose transformation that makes any algorithm for the fault-free setting tolerant to failures.
Carole Delporte-Gallet, Hugues Fauconnier, Rachid
Added 22 Aug 2010
Updated 22 Aug 2010
Type Conference
Year 2006
Where DCOSS
Authors Carole Delporte-Gallet, Hugues Fauconnier, Rachid Guerraoui, Eric Ruppert
Comments (0)
books