Skip to main content
SpringerLink
Log in

Parallel composition for time-to-fault adaptive stabilization

  • Published:
Distributed Computing Aims and scope Submit manuscript

Abstract

Self-stabilizing algorithms automatically recover from any occurrence of a transient fault. The global state following the transient fault is considered to be the initial state for subsequent execution. An adaptive self-stabilizing algorithm changes its behavior based on characteristics of the initial state. This paper presents an asynchronous, adaptive, self-stabilizing algorithm for any non-interactive task. The algorithm adapts its output stabilization time in relation to the extent of faulty information in the initial state. The paper’s presentation emphasizes composition techniques that leverage several self-stabilizing components from previous research, resulting in a concise description of the algorithm.

This is a preview of subscription content, log in via an institution to check access.

Access this article

Log in via an institution

Price excludes VAT (USA)
Tax calculation will be finalised during checkout.

Instant access to the full article PDF.

Institutional subscriptions

Similar content being viewed by others

References

  1. Afek Y. and Bremler A. (1998). Self-stabilizing unidirectional network algorithms by power supply. Chicago J Theoret Comput Sci 4(3): 1–48

    Google Scholar 

  2. Afek, Y., Dolev, S.: Local stabilizer. In: Proceedings of the 5th Israeli symposium on theory of computing and systems, p 74–84 (1997)

  3. Anagnostou, E., El-Yaniv, R., Hadzilacos, V.: Memory adaptive self-stabilizing protocols. In: WDAG92 distributed algorithms 6th International Workshop Proceedings, LNCS:647, pp. 203–220. Springer, Heidelberg (1992)

  4. Arora A., Dolev S. and Gouda M.G. (1991). Maintaining digital clocks in step. Parallel Process Lett 1: 11–18

    Article  Google Scholar 

  5. Awerbuch, B., Kutten, S., Mansour, Y., Patt-Shamir, B., Varghese, G.: Time optimal self-stabilizing synchronization. In: STOC93 Proceedings of the 25th Annual ACM Symposium on Theory of Computing, pp. 652–661 (1993)

  6. Beauquier, J., Genolini, C., Kutten, S.: k-stabilization of reactive tasks. In: PODC98 Proceedings of the 17th Annual ACM Symposium on Principles of Distributed Computing, p 318 (1998)

  7. Beauquier, J., Genolini, C., Kutten, S.: Optimal reactive k-stabilization: the case of mutual exclusion. In: PODC99 Proceedings of the 18th Annual ACM Symposium on Principles of Distributed Computing, p 209–218 (1999)

  8. Burman, J., Herman, T., Kutten, S., Patt-Shamir, B.: Asynchronous and fully self-stabilizing time-adaptive majority consensus. In: 9th International Conference on Principles Of Distributed Systems, OPODIS’05, pp. 110–120 (2005) (subsequently appearing in Springer LNCS 3974)

  9. Couvreur, J.M., Francez, N., Gouda, M.G.: Asynchronous unison. In: ICDCS92 Proceedings of the 12th International Conference on Distributed Computing Systems, pp. 486–493 (1992)

  10. Dolev, S.: Optimal time self-stabilization in dynamic systems. In: WDAG93 Distributed Algorithms 7th International Workshop Proceedings, LNCS:725 pp. 160–173. Springer, Heidelberg (1993)

  11. Dolev S. (1997). Possible and impossible self-stabilizing digital clock synchronization in general graphs. J Real Time Syst 12(1): 95–107

    Article  Google Scholar 

  12. Dolev S. (2000). Self-Stabilization. MIT Press, Cambridge

    MATH  Google Scholar 

  13. Dolev, S., Gouda, M.G., Schneider, M.: Memory requirements for silent stabilization. In: PODC96 Proceedings of the 15th Annual ACM Symposium on Principles of Distributed Computing, pp. 27–34 (1996)

  14. Dolev, S., Herman, T.: Superstabilizing protocols for dynamic distributed systems. In: Proceedings of the 2nd Workshop on Self-Stabilizing Systems, pp. 3.1–3.15 (1995)

  15. Dolev, S., Herman, T.: Superstabilizing protocols for dynamic distributed systems. Chicago J Theoret Comput Sci 3(4), (1997)

  16. Dolev, S., Herman, T.: Parallel composition of stabilizing algorithms. In Proceedings of the 4th Workshop on Self-stabilizing Systems (published in association with ICDCS99 The 19th IEEE International Conference on Distributed Computing Systems), pp. 35–32. IEEE Computer Society, (1999)

  17. Dolev, S., Israeli, A., Moran, S.: Self stabilization of dynamic systems. In: Proceedings of the MCC Workshop on Self-Stabilizing Systems, MCC Technical Report No. STP-379–89 (1989)

  18. Dolev, S., Israeli, A., Moran, S.: Self stabilization of dynamic systems. In: Proceedings of the 16th Conference of Electrical and Electronics Engineers in Israel, pp. 1–4 (1989)

  19. Dolev S., Israeli A. and Moran S. (1993). Self-stabilization of dynamic systems assuming only read/write atomicity. Distrib Comput 7: 3–16

    Article  Google Scholar 

  20. Dolev, S., Schiller, E.: Communication adaptive self-stabilizing group membership service. In: WSS01 Proceedings of the 5th International Workshop on Self-Stabilizing Systems, LNCS:2194, pp. 82–97. Springer, Heidelberg (2001)

  21. Dolev, S., Welch, J.L.: Self-stabilizing clock synchronization in the presence of byzantine faults. In: Proceedings of the 2nd Workshop on Self-Stabilizing Systems, pp. 9.1–9.12 (1995)

  22. Dolev S. and Welch J.L. (1997). Wait-free clock synchronization. Algorithmica 18(4): 486–511

    Article  MATH  Google Scholar 

  23. Genolini, C.: Optimal k-stabilization: the case of synchronous mutual exclusion. In: PDCS-00 13th International Conference on Parallel and Distributed Computing Systems Proceedings, pp. 371–376 (2000)

  24. Ghosh S. and Gupta A. (1996). An exercise in fault-containment: self-stabilizing leader election. Inf Process Lett 59: 281–288

    Article  MATH  Google Scholar 

  25. Ghosh, S., Gupta, A., Herman, T., Pemmaraju, S.V.: Fault-containing self-stabilizing algorithms. In: PODC96 Proceedings of the 15th Annual ACM Symposium on Principles of Distributed Computing, pp. 45–54 (1996)

  26. Ghosh, S., He, X.: Scalable self-stabilization. In Proceedings of the 4th Workshop on Self-Stabilizing Systems (published in association with ICDCS99 The 19th IEEE International Conference on Distributed Computing Systems), pp. 18–24. IEEE Computer Society (1999)

  27. Gouda M.G. and Herman T. (1990). Stabilizing unison. Inf Process Lett 35: 171–175

    Article  MATH  Google Scholar 

  28. Gouda M.G. and Herman T. (1991). Adaptive programming. IEEE Trans Softw Eng 17: 911–921

    Article  Google Scholar 

  29. Herman T. (2000). Phase clocks for transient fault repair. IEEE Trans Parallel Distrib Syst 11(10): 1048–1057

    Article  Google Scholar 

  30. Herman T. (2000). Superstabilizing mutual exclusion. Distrib Comput 13(1): 1–17

    Article  Google Scholar 

  31. Kutten, S., Patt-Shamir, B.: Time-adaptive self stabilization. In: PODC97 Proceedings of the 16th Annual ACM Symposium on Principles of Distributed Computing, pp. 149–158 (1997)

  32. Kutten, S., Patt-Shamir, B.: Asynchronous time-adaptive self stabilization. In PODC98 Proceedings of the 17th Annual ACM Symposium on Principles of Distributed Computing, pp. 319 (1998)

  33. Nesterenko, M., Arora, A.: Dining philosophers that tolerate malicious crashes. In ICDCS02 The 22nd IEEE International Conference on Distributed Computing Systems, pp. 191–198 (2002)

  34. Papatriantafilou M. and Tsigas P. (1997). On self-stabilizing wait-free clock synchronization. Parallel Process Lett 7(3): 321–328

    Article  Google Scholar 

  35. Peterson, L.L., Davie, B.S.: Computer Networks: a Systems Approach. Morgan Kaufmann Publishers

  36. Ueda, E., Katayama, Y., Masuzawa, T., Fujiwara, H.: A latency-optimal superstabilizing mutual exclusion protocol. In: Proceedings of the 3rd Workshop on Self-Stabilizing Systems, pp. 110–124. Carleton University Press (1997)

  37. Varghese, G.: Compositional proofs of self-stabilizing protocols. In: Proceedings of the 3rd Workshop on Self-Stabilizing Systems, pp. 80–94. Carleton University Press (1997)

Download references

Author information

Authors and Affiliations

  1. Department of Computer Science, Ben-Gurion University of the Negev, Beer-Sheva, 84105, Israel

    Shlomi Dolev

  2. Department of Computer Science, University of Iowa, Iowa City, IA, USA

    Ted Herman

Authors
  1. Shlomi Dolev
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Ted Herman
    View author publications

    You can also search for this author in PubMed Google Scholar

Corresponding author

Correspondence to Shlomi Dolev.

Additional information

Work of Shlomi Dolev was partially supported by the Israeli ministry of science and arts grant #9404197 and by Intel Academic Grant. The work of Ted Herman was supported by NSF award CCR-9733541.

Rights and permissions

Reprints and permissions

About this article

Cite this article

Dolev, S., Herman, T. Parallel composition for time-to-fault adaptive stabilization. Distrib. Comput. 20, 29–38 (2007). https://doi.org/10.1007/s00446-007-0028-y

Download citation

  • Received:

  • Accepted:

  • Published:

  • Issue Date:

  • DOI: https://doi.org/10.1007/s00446-007-0028-y

Keywords

Search

Navigation