The expressive power of snap-stabilization

Abstract : A snap-stabilizing algorithm, regardless of the initial configuration of the system, guarantees that it always behaves according to its specification. We consider here the locally shared memory model. In this model, we propose the first snap-stabilizing Propagation of Information with Feedback (PIF) algorithm for rooted networks of arbitrary connected topology which is proven assuming the distributed unfair daemon. Then, we use the proposed PIF algorithm as a key module in designing snap-stabilizing solutions for some fundamental problems in distributed systems, such as Leader Election, Reset, Snapshot, and Termination Detection. Finally, we show that in the locally shared memory model, snap-stabilization is as expressive as self-stabilization by designing a universal transformer to provide a snap-stabilizing version of any algorithm that can be self-stabilized with the transformer of Katz and Perry (Distributed Computing, 1993). Since by definition a snap-stabilizing algorithm is also self-stabilizing, self-and snap-stabilization have the same expressiveness in the locally shared memory model.
Document type :
Journal articles
Complete list of metadatas

Cited literature [40 references]  Display  Hide  Download

https://hal.sorbonne-universite.fr/hal-01292988
Contributor : Gestionnaire Hal-Upmc <>
Submitted on : Thursday, March 24, 2016 - 10:20:24 AM
Last modification on : Monday, August 12, 2019 - 12:12:02 PM
Long-term archiving on : Monday, November 14, 2016 - 3:32:36 AM

File

Cournier_2016_The_expressive.p...
Files produced by the author(s)

Identifiers

Citation

Alain Cournier, Ajoy K. Datta, Stéphane Devismes, Franck Petit, Vincent Villain. The expressive power of snap-stabilization. Theoretical Computer Science, Elsevier, 2016, 626, pp.40-66. ⟨10.1016/j.tcs.2016.01.036⟩. ⟨hal-01292988⟩

Share

Metrics

Record views

466

Files downloads

240