Enabling snap-stabilization

Author

Cournier, Alain ; Datta, Ajoy K. ; Petit, Franck ; Villain, Vincent

Author_Institution

LaRIA, Univ. de Picardie Jules Verne, Amiens, France

fYear

2003

fDate

19-22 May 2003

Firstpage

12

Lastpage

19

Abstract

A snap-stabilizing protocol guarantees that the system always behaves according to its specification provided some processor initiated the protocol. We present how to snap-stabilize some important protocols, like Leader Election, Reset, Snapshot, and Termination Detection. We use a Snap-stabilizing Propagation of Information with Feedback protocol for arbitrary networks as the key module in the above transformation process. Finally, we design a universal transformer to provide a snap-stabilizing version of any protocol (which can be self-stabilized with the transformer of [15]).

Keywords

fault tolerant computing; formal specification; multiprocessing systems; protocols; stability; arbitrary networks; feedback protocol; leader election protocol; reset protocol; snap-stabilizing protocol; snapshot protocol; termination detection protocol; Algorithm design and analysis; Broadcasting; Computer science; Distributed computing; Fault tolerant systems; Feedback; Fuzzy systems; Nominations and elections; Process design; Protocols;

fLanguage

English

Publisher

ieee

Conference_Titel

Distributed Computing Systems, 2003. Proceedings. 23rd International Conference on

ISSN

1063-6927

Print_ISBN

0-7695-1920-2

Type

conf

DOI

10.1109/ICDCS.2003.1203447

Filename

1203447