Parallel Processing Symposium, International (1992)

Beverly Hills, CA, USA

Mar. 23, 1992 to Mar. 26, 1992

ISBN: 0-8186-2672-0

pp: 198-203

Flatebo , Dept. of Comput. Sci., Nevada Univ., Las Vegas, NV, USA

ABSTRACT

A distributed system consists of a set of loosely connected state machines which do not share a global memory. All the possible global states of the system can be split up into legal and illegal states. A self-stabilizing system is a network of processors, which, when started from an arbitrary (and possibly illegal) initial state, always returns to a legal state in a finite number of steps. One issue in designing self-stabilizing algorithms is the number of state required by each machine. The paper presents algorithms which will be self-stabilizing while only requiring each machine in the network to have two states. Probability is used in some of the algorithms in order to make this possible. The algorithms are given along with correctness proofs.

INDEX TERMS

two state self stabilizing algorithms, processor network, distributed system, loosely connected state machines, self-stabilizing system, correctness proofs

CITATION

Flatebo and Datta, "Two-state self-stabilizing algorithms,"

*Parallel Processing Symposium, International(IPPS)*, Beverly Hills, CA, USA, 1992, pp. 198-203.

doi:10.1109/IPPS.1992.223047

CITATIONS