Snap-Stabilization in Message-Passing Systems

Abstract : We consider snap-stabilization in message-passing systems. Snap-stabilization permits to design protocols that withstand transient faults: Any computation that is started after faults cease immediately satisfies the expected specification. Our contribution is twofold, as we demonstrate that in message passing systems (i) snap-stabilization is impossible for nontrivial problems if we consider channels with finite yet unbounded capacity, and (ii) snap-stabilization becomes possible in the same setting with bounded-capacity channels. The latter contribution is constructive, as we propose two snap-stabilizing protocols.
Type de document :
Communication dans un congrès
International Conference on Distributed Computing and Networking (ICDCN 2009), Jan 2009, Hyderabad, India. Springer, International Conference on Distributed Computing and Networking (ICDCN 2009), 5408, pp.281-286, Lecture Notes in Computer Science. 〈10.1007/978-3-540-92295-7_34〉
Liste complète des métadonnées

https://hal.archives-ouvertes.fr/hal-01295022
Contributeur : Lip6 Publications <>
Soumis le : mercredi 30 mars 2016 - 11:34:58
Dernière modification le : jeudi 22 novembre 2018 - 14:30:34

Identifiants

Collections

Citation

Sylvie Delaët, Stéphane Devismes, Mikhail Nesterenko, Sébastien Tixeuil. Snap-Stabilization in Message-Passing Systems. International Conference on Distributed Computing and Networking (ICDCN 2009), Jan 2009, Hyderabad, India. Springer, International Conference on Distributed Computing and Networking (ICDCN 2009), 5408, pp.281-286, Lecture Notes in Computer Science. 〈10.1007/978-3-540-92295-7_34〉. 〈hal-01295022〉

Partager

Métriques

Consultations de la notice

93