Snap-Stabilization in Message-Passing Systems

Abstract : 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.
Type de document :
Article dans une revue
Journal of Parallel and Distributed Computing, Elsevier, 2010, 70 (12), pp.1220-1230. 〈10.1016/j.jpdc.2010.04.002〉
Liste complète des métadonnées

https://hal.archives-ouvertes.fr/hal-01154466
Contributeur : Lip6 Publications <>
Soumis le : vendredi 22 mai 2015 - 10:07:42
Dernière modification le : mercredi 21 mars 2018 - 18:57:58

Lien texte intégral

Identifiants

Collections

Citation

Sylvie Delaët, Stéphane Devismes, Mikhail Nesterenko, Sébastien Tixeuil. Snap-Stabilization in Message-Passing Systems. Journal of Parallel and Distributed Computing, Elsevier, 2010, 70 (12), pp.1220-1230. 〈10.1016/j.jpdc.2010.04.002〉. 〈hal-01154466〉

Partager

Métriques

Consultations de la notice

123