The Community for Technology Leaders
2013 IEEE 54th Annual Symposium on Foundations of Computer Science (1991)
San Juan, Puerto Rico
Oct. 1, 1991 to Oct. 4, 1991
ISBN: 0-8186-2445-0
pp: 268-277
B. Patt-Shamir , Lab. for Comput. Sci., MIT, Cambridge, MA, USA
G. Varghese , Lab. for Comput. Sci., MIT, Cambridge, MA, USA
B. Awerbuch , Lab. for Comput. Sci., MIT, Cambridge, MA, USA
ABSTRACT
The first self-stabilizing end-to-end communication protocol and the most efficient known self-stabilizing network reset protocol are introduced. A simple method of local checking and correction, by which distributed protocols can be made self-stabilizing without the use of unbounded counters, is used. The self-stabilization model distinguishes between catastrophic faults that abstract arbitrary corruption of global state, and other restricted kinds of anticipated faults. It is assumed that after the execution starts there are no further catastrophic faults, but the anticipated faults may continue to occur.
INDEX TERMS
catastrophic faults, self stabilisation, local checking, correction, end-to-end communication protocol, network reset protocol, distributed protocols
CITATION
B. Patt-Shamir, G. Varghese, B. Awerbuch, "Self-stabilization by local checking and correction", 2013 IEEE 54th Annual Symposium on Foundations of Computer Science, vol. 00, no. , pp. 268-277, 1991, doi:10.1109/SFCS.1991.185378
96 ms
(Ver 3.3 (11022016))