Snap-Stabilization in Message-Passing Systems - Inria - Institut national de recherche en sciences et technologies du numérique
Rapport (Rapport De Recherche) Année : 2008

Snap-Stabilization in Message-Passing Systems

Résumé

In this paper, we tackle the open problem of snap-stabilization in message-passing systems. Snap-stabilization is a nice approach to design protocols that withstand transient faults. Compared to the well-known self-stabilizing approach, snap-stabilization guarantees that the effect of faults is contained immediately after faults cease to occur. Our contribution is twofold: we show that (1) snap-stabilization is impossible for a wide class of problems if we consider networks with finite yet unbounded channel capacity; (2) snap-stabilization becomes possible in the same setting if we assume bounded-capacity channels. We propose three snap-stabilizing protocols working in fully-connected networks. Our work opens exciting new research perspectives, as it enables the snap-stabilizing paradigm to be implemented in actual networks.
Fichier principal
Vignette du fichier
rapport.pdf (332.42 Ko) Télécharger le fichier
Origine Fichiers produits par l'(les) auteur(s)

Dates et versions

inria-00248465 , version 1 (08-02-2008)
inria-00248465 , version 2 (11-02-2008)

Identifiants

  • HAL Id : inria-00248465 , version 1
  • ARXIV : 0802.1123

Citer

Sylvie Delaët, Stéphane Devismes, Mikhail Nesterenko, Sébastien Tixeuil. Snap-Stabilization in Message-Passing Systems. [Research Report] 2008, pp.29. ⟨inria-00248465v1⟩
573 Consultations
293 Téléchargements

Altmetric

Partager

More