Bounds for self-stabilization in unidirectional networks

Samuel Bernard 1 Stéphane Devismes 2 Maria Gradinariu Potop-Butucaru 1, 3 Sébastien Tixeuil 1, 4
3 Regal - Large-Scale Distributed Systems and Applications
LIP6 - Laboratoire d'Informatique de Paris 6, Inria Paris-Rocquencourt
4 GRAND-LARGE - Global parallel and distributed computing
LRI - Laboratoire de Recherche en Informatique, LIFL - Laboratoire d'Informatique Fondamentale de Lille, UP11 - Université Paris-Sud - Paris 11, Inria Saclay - Ile de France, CNRS - Centre National de la Recherche Scientifique : UMR8623
Abstract : A distributed algorithm is self-stabilizing if after faults and attacks hit the system and place it in some arbitrary global state, the systems recovers from this catastrophic situation without external intervention in finite time. Unidirectional networks preclude many common techniques in self-stabilization from being used, such as preserving local predicates. In this paper, we investigate the intrinsic complexity of achieving self-stabilization in unidirectional networks, and focus on the classical vertex coloring problem. When deterministic solutions are considered, we prove a lower bound of $n$ states per process (where $n$ is the network size) and a recovery time of at least $n(n-1)/2$ actions in total. We present a deterministic algorithm with matching upper bounds that performs in arbitrary graphs. When probabilistic solutions are considered, we observe that at least $\Delta + 1$ states per process and a recovery time of $\Omega(n)$ actions in total are required (where $\Delta$ denotes the maximal degree of the underlying simple undirected graph). We present a probabilistically self-stabilizing algorithm that uses $\mathtt{k}$ states per process, where $\mathtt{k}$ is a parameter of the algorithm. When $\mathtt{k}=\Delta+1$, the algorithm recovers in expected $O(\Delta n)$ actions. When $\mathtt{k}$ may grow arbitrarily, the algorithm recovers in expected $O(n)$ actions in total. Thus, our algorithm can be made optimal with respect to space or time complexity.
Liste complète des métadonnées

Littérature citée [21 références]  Voir  Masquer  Télécharger

https://hal.inria.fr/inria-00277661
Contributeur : Rapport de Recherche Inria <>
Soumis le : mardi 13 mai 2008 - 10:01:34
Dernière modification le : vendredi 25 mai 2018 - 12:02:03
Document(s) archivé(s) le : mardi 21 septembre 2010 - 16:11:22

Fichiers

RR-6524.pdf
Fichiers produits par l'(les) auteur(s)

Identifiants

  • HAL Id : inria-00277661, version 2
  • ARXIV : 0805.0851

Collections

Citation

Samuel Bernard, Stéphane Devismes, Maria Gradinariu Potop-Butucaru, Sébastien Tixeuil. Bounds for self-stabilization in unidirectional networks. [Research Report] RR-6524, INRIA. 2008, pp.24. 〈inria-00277661v2〉

Partager

Métriques

Consultations de la notice

414

Téléchargements de fichiers

173