Advertisement

A Nearly Optimal Upper Bound for the Self-Stabilization Time in Herman’s Algorithm

  • Yuan Feng
  • Lijun Zhang
Part of the Lecture Notes in Computer Science book series (LNCS, volume 8704)

Abstract

Self-stabilization algorithms are very important in designing fault-tolerant distributed systems. In this paper we consider Herman’s self-stabilization algorithm and study its expected self-stabilization time. McIver and Morgan have conjectured the optimal upper bound being 0.148N 2, where N denotes the number of processors. We present an elementary proof showing a bound of 0.167N 2, a sharp improvement compared with the best known bound 0.521N 2. Our proof is inspired by McIver and Morgan’s approach: we find a nearly optimal closed form of the expected stabilization time for any initial configuration, and apply the Lagrange multipliers method to give an upper bound of it.

Keywords

Global Maximum Stabilization Time Lagrange Multiplier Method Strongly Connect Component State Markov Chain 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. 1.
    Balding, D.: Diffusion-reaction in one dimension. J. Appl. Prob. 25, 733–743 (1988)CrossRefzbMATHMathSciNetGoogle Scholar
  2. 2.
    Dijkstra, E.: Self-stabilizing systems in spite of distributed control. Communications of the ACM 17(11), 643–644 (1974)CrossRefzbMATHGoogle Scholar
  3. 3.
    Dolev, S.: Self-Stabilization. MIT Press (2000)Google Scholar
  4. 4.
    Feller, W.: An introduction to probability theory and its applications, vol. 1. John Wiley & Sons (1968)Google Scholar
  5. 5.
    Feng, Y., Zhang, L.: A tighter bound for the self-stabilization time in Herman’s algorithm. Inf. Process. Lett. 113(13), 486–488 (2013)CrossRefzbMATHGoogle Scholar
  6. 6.
    Fribourg, L., Messika, S., Picaronny, C.: Coupling and self-stabilization. Distributed Computing 18(3), 221–232 (2006)CrossRefGoogle Scholar
  7. 7.
    Herman, T.: Probabilistic self-stabilization. Information Processing Letters 35(2), 63–67 (1990), Report at ftp://ftp.math.uiowa.edu/pub/selfstab/H90.html
  8. 8.
    Kiefer, S., Murawski, A.S., Ouaknine, J., Wachter, B., Worrell, J.: Three tokens in Herman’s algorithm. Formal Asp. Comput. 24(4-6), 671–678 (2012)CrossRefzbMATHMathSciNetGoogle Scholar
  9. 9.
    Kiefer, S., Murawski, A.S., Ouaknine, J., Worrell, J., Zhang, L.: On Stabilization in Herman’s Algorithm. In: Aceto, L., Henzinger, M., Sgall, J. (eds.) ICALP 2011, Part II. LNCS, vol. 6756, pp. 466–477. Springer, Heidelberg (2011)CrossRefGoogle Scholar
  10. 10.
    Kwiatkowska, M.Z., Norman, G., Parker, D.: Probabilistic verification of Herman’s self-stabilisation algorithm. Formal Asp. Comput. 24(4-6), 661–670 (2012)CrossRefzbMATHMathSciNetGoogle Scholar
  11. 11.
    Liggett, T.: Interacting particle systems. Springer (2005)Google Scholar
  12. 12.
    McIver, A., Morgan, C.: An elementary proof that Herman’s ring is Θ(N 2). Inf. Process. Lett. 94(2), 79–84 (2005)CrossRefzbMATHMathSciNetGoogle Scholar
  13. 13.
    Nakata, T.: On the expected time for Herman’s probabilistic self-stabilizing algorithm. Theoretical Computer Science 349(3), 475–483 (2005)CrossRefzbMATHMathSciNetGoogle Scholar
  14. 14.
    Schneider, M.: Self-stabilization. ACM Comput. Surv. 25(1), 45–67 (1993)CrossRefGoogle Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 2014

Authors and Affiliations

  • Yuan Feng
    • 1
    • 2
  • Lijun Zhang
    • 3
  1. 1.Centre for Quantum Computation and Intelligent SystemsUniversity of Technology SydneyAustralia
  2. 2.AMSS-UTS Joint Research Laboratory for Quantum ComputationChinese Academy of SciencesBeijingChina
  3. 3.State Key Laboratory of Computer Science, Institute of SoftwareChinese Academy of SciencesBeijingChina

Personalised recommendations