Abstract
Herman's Ring [Inform. Process. Lett. 35 (1990) 63; http://www.cs.uiowa.edu/ftp/selfstab/H90.ps.gz] is an algorithm for self-stabilization of N identical processors connected uni-directionally in a synchronous ring; in its original form it has been shown to achieve stabilization, with probability one, in expected steps O ( N 2 log N ) . We give an elementary proof that the original algorithm is in fact O ( N 2 ) ; and for the special case of three tokens initially we give an exact (quadratic) solution of 4 a b c / N , where a , b , c are the tokens' initial separations. Thus the algorithm overall has worst-case expected running time of Θ ( N 2 ) . Although we use only simple matrix algebra in the proof, the approach was suggested by the general notions of abstraction, nondeterminism and probabilistic variants [A. McIver, C. Morgan, Refinement and Proof for Probabilistic Systems, Technical Monographs in Computer Science, Springer-Verlag, New York, 2004]. It is hoped they could also be useful for other, similar problems. We conclude with an open problem concerning the worst-case analysis.
Sign-in/Register to access full text options 
Talk to us
Join us for a 30 min session where you can share your feedback and ask us any queries you have
Schedule a callDisclaimer: All third-party content on this website/platform is and will remain the property of their respective owners and is provided on "as is" basis without any warranties, express or implied. Use of third-party content does not indicate any affiliation, sponsorship with or endorsement by them. Any references to third-party content is to identify the corresponding services and shall be considered fair use under The CopyrightLaw.
