Abstract
A self-stabilizing system has the property that it eventually reaches a legitimate configuration when started in any arbitrary configuration. Dijkstra originally introduced the self-stabilization problem and gave several solutions for a ring of processors [Dij74]. His solutions, and others that have appeared, use a distinguished processor in the ring, which can help to drive the system toward stability. Dijkstra observed that a distinguished processor is essential if the number of processors in the ring is composite [Dij82]. We show that there is a self-stabilizing system with no distinguished processor if the size of the ring is prime. Our basic protocol use Θ(n2) states in each processor, where n is the size of the ring. We also give a refined protocol which uses only Θ(n2/ln n) states.
This work was supported in part by the Natural Sciences and Engineering Research Council of Canada grant A0952. Authors' current addresses: James E. Burns, School of Information and Computer Science, Georgia Institute of Technology, Atlanta, GA 30332-0280. Jan Pachl, IBM Research Laboratory, Saumerstrasse 4, 8803 Ruschlikon, Switzerland.
Preview
Unable to display preview. Download preview PDF.
References
D. Angluin. Local and global properties in networks of processors. Proc. 12th Symp. on Theory of Computing (Los Angeles, CA, April 1980), ACM, 1980, pp. 82–93.
G.M. Brown, M.G. Gouda, and C.-L. Wu. Token systems that self-stabilize. Manuscript.
E.W. Dijkstra. Self-stabilizing systems in spite of distributed control., Communications of the ACM 17, 11 (1974) 643–644.
E.W. Dijkstra. Self-stabilization in spite of distributed control (EWD391). Reprinted in Selected Writing on Computing: A Personal Perspective, Springer-Verlag, Berlin, 1982, 41–46.
E.W. Dijkstra. A belated proof of self-stabilization. Distributed Computing 1, 1 (1986) 5–6.
E. Grosswald. Topics from the Theory of Numbers. Birkhäuser Boston, 1984.
R.W. Haddad and D.E. Knuth. A programming and problem-solving seminar. Stanford University Technical Report STAN-CS-85-1055, June 1985.
H.S.M. Kruijer. Self-stabilization (in spite of distributed control) in tree-structured systems. Information Processing Letters 8, 2 (1979) 91–95.
L. Lamport. Solved problems, unsolved problems, and non-problems in concurrency. Invited address at the 2nd Symp. on Principles of Distributed Computing (Montreal, August 17–19, 1983), included in Proc. of the 3rd Symp. on Principles of Distributed Computing, ACM, 1984, pp. 1–11.
C.-J. Seger. A note for the graduate course CS 760. University of Waterloo, October 2, 1986.
C.-J. Seger. Private communication.
M. Tchuente. Sur l'auto-stabilization dans un réseau d'ordinateurs. RAIRO Inf. Theor. 15, 1981, 47–66.
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1988 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Burns, J.E., Pachl, J. (1988). Uniform self-stabilizing rings. In: Reif, J.H. (eds) VLSI Algorithms and Architectures. AWOC 1988. Lecture Notes in Computer Science, vol 319. Springer, New York, NY. https://doi.org/10.1007/BFb0040406
Download citation
DOI: https://doi.org/10.1007/BFb0040406
Published:
Publisher Name: Springer, New York, NY
Print ISBN: 978-0-387-96818-6
Online ISBN: 978-0-387-34770-7
eBook Packages: Springer Book Archive