Advanced Search

Browse by Discipline

Scientific Societies

E-print Alerts

Add E-prints

E-print Network

  Advanced Search  

Local Stabilizer \Lambda Yehuda Afek y Shlomi Dolev z

Summary: Local Stabilizer \Lambda
Yehuda Afek y Shlomi Dolev z
A local stabilizer protocol that takes any on­line or off­line distributed algorithm and
converts it into a synchronous self­stabilizing algorithm with local monitoring and repairing
properties is presented. Whenever the self­stabilizing version enters an inconsistent state,
the inconsistency is detected, in O(1) time, and the system state is repaired in a local man­
ner. The expected computation time that is lost during the repair process is proportional
to the largest diameter of a faulty region.
\Lambda An extended abstract of this paper appeared in the Proc. of the 5th Israeli Symposium on Theory of
Computing and Systems, June 1997 and a brief announcement in Proc. of the 16th Annual ACM Symp. on
Principles of Distributed Computing, August 1997.
y Computer Science Department, Tel­Aviv University, Tel­Aviv, 69978, Israel. Email: afek@math.tau.ac.il.
z Department of Mathematics and Computer Science, Ben­Gurion University, Beer­Sheva, 84105, Israel.
Partially supported by the Israeli ministry of science and arts grant #6756195. Email: dolev@cs.bgu.ac.il.

1 Introduction
This paper presents a method that takes an arbitrary distributed algorithm and produces its
fast synchronous self­stabilizing version. The expected stabilization time of the resulting al­
gorithm is linear in the diameter of the largest part of the network that is corrupted. Several


Source: Afek, Yehuda - School of Computer Science, Tel Aviv University


Collections: Computer Technologies and Information Sciences