Snap-Stabilization in Message-Passing Systems - Archive ouverte HAL
Communication Dans Un Congrès Année : 2009

Snap-Stabilization in Message-Passing Systems

Sylvie Delaët
Stéphane Devismes
Mikhail Nesterenko
  • Fonction : Auteur
Sébastien Tixeuil

Résumé

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.

Dates et versions

hal-01295022 , version 1 (30-03-2016)

Identifiants

Citer

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. pp.281-286, ⟨10.1007/978-3-540-92295-7_34⟩. ⟨hal-01295022⟩
99 Consultations
0 Téléchargements

Altmetric

Partager

More