Skip to main content
SpringerLink
Log in

An Improved Snap-Stabilizing PIF Algorithm

  • Conference paper
  • First Online:
Self-Stabilizing Systems (SSS 2003)

Part of the book series: Lecture Notes in Computer Science ((LNCS,volume 2704))

Included in the following conference series:

Abstract

A snap-stabilizing protocol, starting from any arbitrary initial configuration, always behaves according to its specification. In [10], Cournier and al. present the first snap-stabilizing Propagation of Information with Feedback (PIF) protocol in arbitrary networks. But, in order to achieve the desirable property of snap-stabilization, the algorithm needs the knowledge of the exact size of the network. This drawback prevents the protocol from working on dynamical systems. In this paper, we propose an original protocol which solves this drawback.

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. Y Afek, S Kutten, and M Yung. Memory-efficient self-stabilization on general networks. In WDAG90 Distributed Algorithms 4th International Workshop Proceedings, Springer-Verlag LNCS: 486, pages 15–28, 1990. 200

    Google Scholar 

  2. L.O. Alima, J. Beauquier, A.K. Datta, and S. Tixeuil. Self-stabilization with global rooted synchronizers. In ICDCS98 Proceedings of the 18th International Conference on Distributed Computing Systems, pages 102–109, 1998. 200

    Google Scholar 

  3. A Arora and MG Gouda. Distributed reset. IEEE Transactions on Computers, 43:1026–1038, 1994. 200

    Article  MATH  Google Scholar 

  4. B Awerbuch, S Kutten, Y Mansour, B Patt-Shamir, and G Varghese. Time optimal self-stabilizing synchronization. In STOC93 Proceedings of the 25th Annual ACM Symposium on Theory of Computing, pages 652–661, 1993. 200

    Google Scholar 

  5. B Awerbuch, B Patt-Shamir, and G Varghese. Self-stabilization by local checking and correction. In FOCS91 Proceedings of the 31st Annual IEEE Symposium on Foundations of Computer Science, pages 268–277, 1991. 200

    Google Scholar 

  6. B Awerbuch and G Varghese. Distributed program checking: a paradigm for building self-stabilizing distributed protocols. In FOCS91 Proceedings of the 31st Annual IEEE Symposium on Foundations of Computer Science, pages 258–267, 1991. 200

    Google Scholar 

  7. A Bui, AK Datta, F Petit, and V Villain. State-optimal snap-stabilizing PI F in tree networks. In Proceedings of the Forth Workshop on Self-Stabilizing Systems, pages 78–85. IEEE Computer Society Press, 1999. 199, 200

    Google Scholar 

  8. EJH Chang. Echo algorithms: depth parallel operations on general graphs. IEEE Transactions on Software Engineering, SE-8:391–401, 1982. 199

    Article  Google Scholar 

  9. A Cournier, AK Datta, F Petit, and V Villain. Self-stabilizing PIF algorithm in arbitrary rooted networks. In 21st International Conference on Distributed Computing Systems (ICDCS-21), pages 91–98. IEEE Computer Society Press, 2001. 200

    Google Scholar 

  10. A Cournier, AK Datta, F Petit, and V Villain. Snap-stabilizing PIF algorithm in arbitrary rooted networks. In 22st International Conference on Distributed Computing Systems (ICDCS-22), pages 199–206. IEEE Computer Society Press, 2002. 199, 200, 212, 213

    Google Scholar 

  11. A Cournier, AK Datta, F Petit, and V Villain. Enabling snap-stabilization. In 23rd International Conference on Distributed Computing Systems (ICDCS-23). To appear, 2003. 212

    Google Scholar 

  12. EW Dijkstra. Self stabilizing systems in spite of distributed control. Communications of the Association of the Computing Machinery, 17:643–644, 1974. 199

    MATH  Google Scholar 

  13. S Dolev, A Israeli, and S Moran. Uniform dynamic self-stabilizing leader election. IEEE Transactions on Parallel and Distributed Systems, 8(4):424–440, 1997. 200, 201

    Article  Google Scholar 

  14. S Katz and KJ Perry. Self-stabilizing extensions for message-passing systems. Distributed Computing, 7:17–26, 1993. 200, 213

    Article  Google Scholar 

  15. HSM Kruijer. Self-stabilization (in spite of distributed control) in tree-structured systems. Information Processing Letters, 8:91–95, 1979. 200

    Article  MATH  MathSciNet  Google Scholar 

  16. N Lynch. Distributed algorithms. Morgan Kaufmann, 1996. 199

    Google Scholar 

  17. M Raynal and JM Helary. Synchronization and Control of Distributed Systems and Programs. John Wiley and Sons, Chichester, UK, 1990. 199

    MATH  Google Scholar 

  18. A Segall. Distributed network protocols. IEEE Transactions on Information Theory, IT-29:23–35, 1983. 199

    Article  MathSciNet  Google Scholar 

  19. G Tel. Introduction to distributed algorithms. Cambridge University Press, 1994. 199

    Google Scholar 

  20. G Varghese. Self-stabilization by local checking and correction (Ph.D. thesis). Technical Report MIT/LCS/TR-583, MIT, 1993. 200

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. LaRIA, Université de Picardie Jules Verne, France, 5, rue du Moulin Neuf, 80000, Amiens, France

    Lélia Blin, Alain Cournier & Vincent Villain

Authors
  1. Lélia Blin
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Alain Cournier
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. Vincent Villain
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. College of Electrical Engineering and Computer Science, National Central University, Chung-Li, 32054, Taiwan

    Shing-Tsaan Huang

  2. Dept. of Computer Science, University of Iowa, Iowa City, IA, 52242, USA

    Ted Herman

Rights and permissions

Reprints and permissions

Copyright information

© 2003 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Blin, L., Cournier, A., Villain, V. (2003). An Improved Snap-Stabilizing PIF Algorithm. In: Huang, ST., Herman, T. (eds) Self-Stabilizing Systems. SSS 2003. Lecture Notes in Computer Science, vol 2704. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-45032-7_15

Download citation

  • DOI: https://doi.org/10.1007/3-540-45032-7_15

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-40453-8

  • Online ISBN: 978-3-540-45032-0

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation