Communication Efficiency in Self-stabilizing Silent Protocols

Stéphane Devismes 1 Toshimitsu Masuzawa 2 Sébastien Tixeuil 3, 4
3 GRAND-LARGE - Global parallel and distributed computing
CNRS - Centre National de la Recherche Scientifique : UMR8623, Inria Saclay - Ile de France, UP11 - Université Paris-Sud - Paris 11, LIFL - Laboratoire d'Informatique Fondamentale de Lille, LRI - Laboratoire de Recherche en Informatique
Abstract : Self-stabilization is a general paradigm to provide forward recovery capabilities to distributed systems and networks. Intuitively, a protocol is self-stabilizing if it is able to recover without external intervention from any catastrophic transient failure. In this paper, our focus is to lower the communication complexity of self-stabilizing protocols \emph{below} the need of checking every neighbor forever. In more details, the contribution of the paper is threefold: (i) We provide new complexity measures for communication efficiency of self-stabilizing protocols, especially in the stabilized phase or when there are no faults, (ii) On the negative side, we show that for non-trivial problems such as coloring, maximal matching, and maximal independent set, it is impossible to get (deterministic or probabilistic) self-stabilizing solutions where every participant communicates with less than every neighbor in the stabilized phase, and (iii) On the positive side, we present protocols for coloring, maximal matching, and maximal independent set such that a fraction of the participants communicates with exactly one neighbor in the stabilized phase.
Complete list of metadatas

Cited literature [18 references]  Display  Hide  Download

https://hal.inria.fr/inria-00340805
Contributor : Sébastien Tixeuil <>
Submitted on : Saturday, November 22, 2008 - 1:36:29 PM
Last modification on : Thursday, March 21, 2019 - 1:07:51 PM
Long-term archiving on : Monday, June 7, 2010 - 8:22:36 PM

Files

RR-6731.pdf
Files produced by the author(s)

Identifiers

  • HAL Id : inria-00340805, version 1
  • ARXIV : 0811.3760

Citation

Stéphane Devismes, Toshimitsu Masuzawa, Sébastien Tixeuil. Communication Efficiency in Self-stabilizing Silent Protocols. [Research Report] RR-6731, INRIA. 2008, pp.33. ⟨inria-00340805⟩

Share

Metrics

Record views

1193

Files downloads

339