Skip to main content
SpringerLink
Log in

On the Possibility and the Impossibility of Message-Driven Self-stabilizing Failure Detection

  • Conference paper
Self-Stabilizing Systems (SSS 2005)

Part of the book series: Lecture Notes in Computer Science ((LNTCS,volume 3764))

Included in the following conference series:

Abstract

This paper considers message-driven self-stabilizing implementations of unreliable failure detectors. We show that it is impossible to give a deterministic implementation using just bounded memory if there is no known upper bound on the number of messages that may be in transit simultaneously. With relaxed assumptions we then introduce two algorithms that solve the problem.

We use self-stabilization to show that message-driven and time-driven semantics are different regarding expressiveness: Comparison with work by Beauquier and Kekkonen-Moneta (1997) reveals that the discussed problem has a time-driven solution but cannot have a message-driven one.

The results were presented as brief announcement at ACM PODC 2005.

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

Access this chapter

Log in via an institution
Chapter
USD 29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD 39.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. Aguilera, M.K., Delporte-Gallet, C., Fauconnier, H., Toueg, S.: On implementing Omega with weak reliability and synchrony assumptions. In: Proceeding of the 22nd Annual ACM Symposium on Principles of Distributed Computing, PODC 2003 (2003)

    Google Scholar 

  2. Anagnostou, E., Hadzilacos, V.: Tolerating transient and permanent failures (extended abstract). In: Schiper, A. (ed.) WDAG 1993. LNCS, vol. 725, pp. 174–188. Springer, Heidelberg (1993)

    Google Scholar 

  3. Beauquier, J., Kekkonen-Moneta, S.: Fault-tolerance and self-stabilization: Impossibility results and solutions using self-stabilizing failure detectors. International Journal of Systems Science 28(11), 1177–1187 (1997)

    Article  MATH  Google Scholar 

  4. Chandra, T.D., Hadzilacos, V., Toueg, S.: The weakest failure detector for solving consensus. Journal of the ACM 43(4), 685–722 (1996)

    Article  MATH  MathSciNet  Google Scholar 

  5. Chandra, T.D., Toueg, S.: Unreliable failure detectors for reliable distributed systems. Journal of the ACM 43(2), 225–267 (1996)

    Article  MATH  MathSciNet  Google Scholar 

  6. Daliot, A., Dolev, D., Parnas, H.: Linear time byzantine self-stabilizing clock synchronization. In: Proceedings of the 7th International Conference on Principles of Distributed Systems (December 2003)

    Google Scholar 

  7. Dijkstra, E.W.: Self-stabilizing systems in spite of distributed control. Communications of the ACM 17(11), 643–644 (1974)

    Article  MATH  Google Scholar 

  8. Dolev, D., Dwork, C., Stockmeyer, L.: On the minimal synchronism needed for distributed consensus. Journal of the ACM 34(1), 77–97 (1987)

    Article  MATH  MathSciNet  Google Scholar 

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

    MATH  Google Scholar 

  10. Dwork, C., Lynch, N., Stockmeyer, L.: Consensus in the presence of partial synchrony. Journal of the ACM 35(2), 288–323 (1988)

    Article  MathSciNet  Google Scholar 

  11. Fetzer, C., Schmid, U., Süßkraut, M.: On the possibility of consensus in asynchronous systems with finite average response times. In: Proceedings of the 25th International Conderence on Distributed Computing Systems (ICDCS 2005), Columbus, Ohio, USA (2005)

    Google Scholar 

  12. Gärtner, F.: On crash failures and self-stabilization. In: Presentation at Journées Internationales sur l’auto-stabilisation, CIRM, Luminy, France (October 2002)

    Google Scholar 

  13. Gouda, M.G., Multari, N.J.: Stabilizing communication protocols. IEEE Transactions on Computers 40(4), 448–458 (1991)

    Article  Google Scholar 

  14. Howell, R.R., Nesterenko, M., Mizuno, M.: Finite-state self-stabilizing protocols in message-passing systems. Journal of Parallel and Distributed Computing 62, 792–817 (2002)

    Article  MATH  Google Scholar 

  15. Hutle, M.: On omega in sparse networks. In: Proc. 10th International Symposium Pacific Rim Dependable Computing (PRDC 2004), Papeete, Tahiti (March 2004)

    Google Scholar 

  16. Hutle, M., Widder, J.: Self-stabilizing failure detector algorithms. In: Proc. IASTED International Conference on Parallel and Distributed Computing and Networks (PDCN 2005), Innsbruck, Austria (February 2005)

    Google Scholar 

  17. Le Lann, G., Schmid, U.: How to implement a timer-free perfect failure detector in partially synchronous systems. Technical Report 183/1-127, Department of Automation, Technische Universität Wien (January 2003)

    Google Scholar 

  18. Nesterenko, M., Arora, A.: Tolerance to unbounded byzantine faults. In: Proceedings of the 21st IEEE Symposium on Reliable Distributed Systems (SRDS 2002), Suita, Japan, pp. 22–29. IEEE Computer Society, Los Alamitos (2002)

    Google Scholar 

  19. Widder, J.: Booting clock synchronization in partially synchronous systems. In: Fich, F.E. (ed.) DISC 2003. LNCS, vol. 2848, pp. 121–135. Springer, Heidelberg (2003)

    Chapter  Google Scholar 

  20. Widder, J., Le Lann, G., Schmid, U.: Failure detection with booting in partially synchronous systems. In: Dal Cin, M., Kaâniche, M., Pataricza, A. (eds.) EDCC 2005. LNCS, vol. 3463, pp. 20–37. Springer, Heidelberg (2005)

    Chapter  Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Embedded Computing Systems Group 182/2, Technische Universität Wien, Treitlstraße 3/2, A-1040, Vienna, Austria

    Martin Hutle & Josef Widder

Authors
  1. Martin Hutle
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Josef Widder
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. LIP6 & INRIA Grand Large, Université Pierre et Marie Curie - Paris 6, 104 avenue du Président Kennedy, 75016, Paris, France

    Sébastien Tixeuil

  2. Department of Computer Science, University of Iowa, IA 52242-1419, Iowa City, U.S.A.

    Ted Herman

Rights and permissions

Reprints and permissions

Copyright information

© 2005 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Hutle, M., Widder, J. (2005). On the Possibility and the Impossibility of Message-Driven Self-stabilizing Failure Detection. In: Tixeuil, S., Herman, T. (eds) Self-Stabilizing Systems. SSS 2005. Lecture Notes in Computer Science, vol 3764. Springer, Berlin, Heidelberg. https://doi.org/10.1007/11577327_11

Download citation

  • DOI: https://doi.org/10.1007/11577327_11

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-29814-4

  • Online ISBN: 978-3-540-32123-1

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics

Search

Navigation