Issue No. 06 - June (1989 vol. 38)
DOI Bookmark: http://doi.ieeecomputersociety.org/10.1109/12.24293
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
mutual exclusion systems; token; critical section; self-stabilizing; state transitions; operating systems (computers); protocols.
C.-L. Wu, M.G. Gouda, G.M. Brown, "Token Systems That Self-Stabilize", IEEE Transactions on Computers, vol. 38, no. , pp. 845-852, June 1989, doi:10.1109/12.24293