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.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
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
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
A Arora and MG Gouda. Distributed reset. IEEE Transactions on Computers, 43:1026–1038, 1994. 200
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
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
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
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
EJH Chang. Echo algorithms: depth parallel operations on general graphs. IEEE Transactions on Software Engineering, SE-8:391–401, 1982. 199
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
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
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
EW Dijkstra. Self stabilizing systems in spite of distributed control. Communications of the Association of the Computing Machinery, 17:643–644, 1974. 199
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
S Katz and KJ Perry. Self-stabilizing extensions for message-passing systems. Distributed Computing, 7:17–26, 1993. 200, 213
HSM Kruijer. Self-stabilization (in spite of distributed control) in tree-structured systems. Information Processing Letters, 8:91–95, 1979. 200
N Lynch. Distributed algorithms. Morgan Kaufmann, 1996. 199
M Raynal and JM Helary. Synchronization and Control of Distributed Systems and Programs. John Wiley and Sons, Chichester, UK, 1990. 199
A Segall. Distributed network protocols. IEEE Transactions on Information Theory, IT-29:23–35, 1983. 199
G Tel. Introduction to distributed algorithms. Cambridge University Press, 1994. 199
G Varghese. Self-stabilization by local checking and correction (Ph.D. thesis). Technical Report MIT/LCS/TR-583, MIT, 1993. 200
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights 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