This Article 
 Bibliographic References 
 Add to: 
Token Systems That Self-Stabilize
June 1989 (vol. 38 no. 6)
pp. 845-852
Presents a novel class of mutual exclusion systems, in which processes circulate one token, and each process enters its critical section when it receives the token. Each system in the class is self-stabilizing; i.e. it it starts at any state, possibly one where many tokens exist in the system, it is guaranteed to converge to a good state where exactly one token exists in the system. The systems

[1] G. M. Brown, "Self-stabilizing distributed resource allocation," Ph.D. dissertation, Dep. Elec. Comput. Eng., Univ. of Texas, Austin, 1987.
[2] E. Dijkstra, EWD 391, "Self-stabilization in spite of distributed control," 1973; reprinted inSelected Writings on Computing: A Personal Perspective. New York: Springer-Verlag, 1982, pp. 41-46.
[3] E. Dijkstra, "Self-stabilizing systems in spite of distributed control,"Commun. ACM, vol. 17, pp. 643-644, 1974.
[4] E. W. Dijkstra, "A belated proof to self-stabilization,"Distribut. Comput., vol. 1, pp. 5-6, Jan. 1986.
[5] C. A. R. Hoare, "Communicating sequential processes,"Commun. ACM, vol. 21, pp. 666-677, 1978.
[6] H. S. M. Kruijer, "Self-stabilization (in spite of distributed control) in tree-structured systems,"Inform. Processing Lett., vol. 8, pp. 91- 95, Feb. 1979.
[7] L. Lamport, "Solved problems, unsolved problems, and nonproblems in concurrency," Invited Address, inProc. Third ACM Symp. Principles of Distributed Comput., 1984, pp. 1-11.
[8] L. Lamport, "The mutual exclusion problem: Part II--Statement and solutions,"J. ACM, vol. 33, no. 2, pp. 327-348, Apr. 1986.
[9] A. J. Martin, "The probe: An addition to communication primitives,"Inform. Processing Lett., vol. 20, pp. 125-130, Apr. 1985.
[10] N. Multari, "Self-stabilizing protocols," Ph.D. dissertation, Dep. Comput. Sci., Univ. of Texas at Austin, 1987.
[11] C. Seitz, "System timing," inIntroduction to VLSI Systems, C. Mead and L. Conway, Eds. Reading, MA: Addison-Wesley, 1980.

Index Terms:
mutual exclusion systems; token; critical section; self-stabilizing; state transitions; operating systems (computers); protocols.
G.M. Brown, M.G. Gouda, C.-L. Wu, "Token Systems That Self-Stabilize," IEEE Transactions on Computers, vol. 38, no. 6, pp. 845-852, June 1989, doi:10.1109/12.24293
Usage of this product signifies your acceptance of the Terms of Use.