Summary
The paper deals with the problem of managing full and empty slots in a slotted ring network. Two solutions are formally described and proved correct. The first solution is deterministic; it recovers inO(N) round trips after the last error, whereN is the number of nodes in the network. The second solution is randomized; the expected number of round trips to recovery after the last error isO(lnN).
Similar content being viewed by others
References
Bain LJ: Statistical analysis of reliability and life-testing models. Dekker, New York 1978
Cohen R, Segall A: An efficient reliable ring protocol. Manuscript (1989)
Dijkstra EW: Self-stabilizing systems in spite of distributed control. Commun ACM 17:643–644 (1974)
Pachl J, Casey L: A robust ring transmission protocol. Comput Networks ISDN Syst 13:313–321 (1987)
Pachl J: Livelocks in slotted ring networks. Proc IEEE INFOCOM 88 Conference (March 29–31, 1988, New Orleans, Louisiana), pp 174–179
Pachl J: Analysis of a nearly robust protocol for slotted ring networks. IBM Res Rep RZ 1854 (1989)
Ross SM: Stochastic processes. Wiley. 1983
Wilkes MV, Wheeler DJ: The Cambridge digital communication ring. In: Meisner NB, Rosenthal R (ed) Proc of the LAN Symposium (May 1979, Boston, Mass.), pp 47–61
Wheeler DJ: The livelock-free protocol of the Cambridge Ring. Comput J 32: 95 (1989)
Zafiropulo P, Rothauser EH: Signalling and frame structures in highly decentralized loop systems. Proc 1 st Int Conf on Computer Communications (October 24–26, 1972, Washington, DC), pp 309–315
Author information
Authors and Affiliations
Additional information
Jan Pachl works at IBM Zurich Research Laboratory. Previously he worked at BNR in Ottawa and at the University of Waterloo. His interests include communication protocols, distributed systems, skiing and loud music.
Rights and permissions
About this article
Cite this article
Pachl, J. Analysis of toggle protocols. Distrib Comput 5, 25–35 (1991). https://doi.org/10.1007/BF02311230
Received:
Accepted:
Issue Date:
DOI: https://doi.org/10.1007/BF02311230