Self-Stabilization by Local Checking and Global Reset (Extended Abstract) (1994)
| Citations: | 37 - 12 self |
BibTeX
@MISC{Awerbuch94self-stabilizationby,
author = {Baruch Awerbuch and Boaz Patt-shamir and George Varghese and Shlomi Dolev},
title = {Self-Stabilization by Local Checking and Global Reset (Extended Abstract)},
year = {1994}
}
Bookmark
 |
 |
 |
 |
 |
 |
OpenURL
Abstract
Baruch Awerbuch 12 , Boaz Patt-Shamir 2 , George Varghese 3 and Shlomi Dolev 45 1 Dept. of Computer Science, Johns Hopkins University 2 Lab. for Computer Science, MIT 3 Dept. of Computer Science, Washington University 4 Dept. of Computer Science, Texas A&M University 5 School of Computer Science, Carleton University Abstract. We describe a method for transforming asynchronous network protocols into protocols that can sustain any transient fault, i.e., become self-stabilizing. We combine the known notion of local checking with a new notion of internal reset, and prove that given any self-stabilizing internal reset protocol, any locally-checkable protocol can be made self-stabilizing. Our proof is constructive in the sense that we provide explicit code. The method applies to many practical network problems, including spanning tree construction, topology update, and virtual circuit setup. 1 Introduction A network protocol is called self-stabilizing (or stabilizing for sho...
