Snap-Stabilization in Message-Passing Systems

Authors:
Sylvie Delaët;Stéphane Devismes;Mikhail Nesterenko;Sébastien Tixeuil
Affiliations:
LRI UMR 8623, Université de Paris-Sud,;VERIMAG UMR 5104, Université Joseph Fourier,;Computer Science Department, Kent State University,;LIP6 UMR 7606, Université Pierre et Marie Curie,
Venue:
ICDCN '09 Proceedings of the 10th International Conference on Distributed Computing and Networking
Year:
2009

Citing 5
Cited 3

Stabilizing Communication Protocols

IEEE Transactions on Computers - Special issue on protocol engineering
Self-stabilization by local checking and correction (extended abstract)

SFCS '91 Proceedings of the 32nd annual symposium on Foundations of computer science
Self-stabilizing systems in spite of distributed control

Communications of the ACM
Enabling Snap-Stabilization

ICDCS '03 Proceedings of the 23rd International Conference on Distributed Computing Systems
Self-stabilization over unreliable communication media

Distributed Computing - Special issue: Self-stabilization

Snap-stabilization in message-passing systems

Journal of Parallel and Distributed Computing
Self-stabilizing algorithms

Algorithms and theory of computation handbook
From self- to self-stabilizing with service guarantee 1-hop weight-based clustering

SSS'12 Proceedings of the 14th international conference on Stabilization, Safety, and Security of Distributed Systems

Quantified Score

Hi-index	0.00

Visualization

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.