Self-stabilizing routing and related protocols

Aself-stabilizingsystem is a distributed system which can tolerateany numberandany typeof faults in the history. After the last fault occurs the system converges to alegitimate behavior. The self-stabilization property is very useful for systems in which processors may malfunction for a while and then recover. When there is a long enough period during which no processor malfunctions the system stabilizes.Dynamicdistributed systems are systems in which communication links and processors may fail and recover during normal operation. Such failures could cause partitioning of the system communication graph. The application of self-stabilizing protocols to dynamic systems is natural. Following the last topology change each connected component of the system stabilizes independently. We present self-stabilizing dynamic protocols for a variety of tasks including: routing, leader election, and topology update. For systems that support local broadcasts to neighbors in a single time unit the protocol for each of those tasks stabilizes in Θ(d) time, wheredis theactualdiameter of the system.