Title :
Classes of self-stabilizing protocols
Author :
Beauquier, Joffroy ; Delaët, Sylvie
Author_Institution :
L.R.I. CNRS, Paris Univ., Orsay, France
Abstract :
Self-stabilization is an abstraction of fault tolerance for transient malfunctions. Intuitively, a self-stabilizing system is a system which can be started from any possible state. The authors here explore the possibility of transforming an arbitrary distributed protocol into a self-stabilizing one. It is proved that some conditions are sufficient for this transformation to be feasible. These conditions lead to a classification of distributed protocols according to the complexity for performing their transformation
Keywords :
computational complexity; performance evaluation; protocols; arbitrary distributed protocol; complexity; distributed protocols; fault tolerance; performance evaluation; self-stabilizing protocols; transient malfunctions; Automatic testing; Communication channels; Counting circuits; Electronic mail; Fault tolerance; Message passing; Performance evaluation; Protocols; Sufficient conditions;
Conference_Titel :
Distributed Computing Systems, 1993., Proceedings of the Fourth Workshop on Future Trends of
Conference_Location :
Lisbon
Print_ISBN :
0-8186-4430-3
DOI :
10.1109/FTDCS.1993.344201
