Uniform deterministic self-stabilizing ring-orientation on odd-length rings
The ring-orientation problem requires all processors on an anonymous ring to reach agreement on a direction along the ring. A self-stabilizing ring-orientation protocol eventually ensures that all processors on the ring agree on a direction, regardless of the initial states of the processors on which the protocol is started. In this paper we present two uniform deterministic self-stabilizing ring-orientation protocols for rings with an odd number of processors using only a constant number of states per processor. The first protocol is an adaption of a randomized protocol presented by Israeli and Jalfon [IJ93], and operates in the link-register model under the distributed daemon. The second protocol operates in the state-reading model under the central daemon, and complements the impossibility results proven in [IJ93]. Applying our results we are able to prove that under the central daemon on an odd-length ring, the link register model and the state-reading model are equivalent in the sense that a self-stabilizing protocol for the one model can be transformed to an equivalent protocol in the other model.
KeywordsRings Orientation Self-Stabilization Communication Synchronization Shared Memory Symmetry Breaking
Unable to display preview. Download preview PDF.
- [Bur87]James E. Burns. Self-stabilizing rings without demons. Technical Report GIT-ICS-87/36, School of Information and Computer Science, Georgia Institute of Technology, Nov. 1987.Google Scholar
- [Dij82]Edsger W. Dijkstra. Self-stabilization in spite of distributed control. In Selected Writings on Computing: A Personal Perspective, pages 41–46. Springer-Verlag, New York, 1982.Google Scholar
- [DIM93]Shlomi Dolev, Amos Israeli, and Shlomo Moran. Self-stabilization of dynamic systems assuming only read/write atomicity. Distributed Computing, 7(1): 3–16, Nov. 1993.Google Scholar
- [LV93]Nancy A. Lynch and Frits W. Vaandrager. Forward and backward simulations. Part I: Untimed systems. Technical Report CS-R9313, Center for Mathematics and Computer Science (CWI), Amsterdam, Mar. 1993.Google Scholar