Article

An improved snap-stabilizing PIF algorithm

Authors:

Alain Cournier,

Vincent VillainAuthors Info & Claims

SSS'03: Proceedings of the 6th international conference on Self-stabilizing systems

Pages 199 - 214

Published: 24 June 2003 Publication History

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.

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

Digital Library

[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

Digital Library

[3]

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

Digital Library

[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

Digital Library

[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

Digital Library

[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

Digital Library

[7]

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

Digital Library

[8]

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

Digital Library

[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

Digital Library

[10]

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

Digital Library

[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

Digital Library

[12]

EW Dijkstra. Self stabilizingsy stems in spite of distributed control. Communications of the Association of the Computing Machinery, 17:643-644, 1974. 199

Digital Library

[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

Digital Library

[14]

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

Digital Library

[15]

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

[16]

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

Digital Library

[17]

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

Digital Library

[18]

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

Digital Library

[19]

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

Digital Library

[20]

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

Digital Library

Cited By

Devismes SIlcinkas DJohnen CHansdah RKrishnaswamy DVaidya N(2019)Silent self-stabilizing scheme for spanning-tree-like constructionsProceedings of the 20th International Conference on Distributed Computing and Networking10.1145/3288599.3288607(158-167)Online publication date: 4-Jan-2019
https://dl.acm.org/doi/10.1145/3288599.3288607
Danturi PNesterenko MTixeuil S(2009)Self-stabilizing philosophers with generic conflictsACM Transactions on Autonomous and Adaptive Systems10.1145/1462187.14621944:1(1-20)Online publication date: 9-Feb-2009
https://dl.acm.org/doi/10.1145/1462187.1462194
Cournier ADevismes SVillain V(2006)From self- to snap- stabilizationProceedings of the 8th international conference on Stabilization, safety, and security of distributed systems10.5555/1759076.1759092(199-213)Online publication date: 17-Nov-2006
https://dl.acm.org/doi/10.5555/1759076.1759092
Show More Cited By

Recommendations

Snap-Stabilizing PIF Algorithm in Arbitrary Networks
ICDCS '02: Proceedings of the 22 nd International Conference on Distributed Computing Systems (ICDCS'02)

We present the first snap-stabilizing Propagation of Information with Feedback (PIF) protocol in arbitrary networks. A snap-stabilizing protocol, starting from any arbitrary initial system configuration, always behaves according to its specification. ...
Enabling Snap-Stabilization
ICDCS '03: Proceedings of the 23rd International Conference on Distributed Computing Systems

A snap-stabilizing protocol guarantees that the systemalways behaves according to its specification provided someprocessor initiated the protocol. We present how to snap-stabilizesome important protocols, like Leader Election,Reset, Snapshot, and ...
Optimal snap-stabilizing PIF algorithms in un-oriented trees
Self-Stabilizing Systems, Part 2

A snap-stabilizing protocol, starting from any arbitrary initial system configuration, always behaves according to its specification. In other words, a snap-stabilizing protocol is a self-stabilizing protocol which stabilizes in zero steps. In this ...

Comments

Information & Contributors

Information

Published In

cover image Guide Proceedings

SSS'03: Proceedings of the 6th international conference on Self-stabilizing systems

June 2003

215 pages

ISBN:3540404538

Editors:
Shing-Tsaan Huang
National Central University, College of Electrical Engineering and Computer Science, Chung-Li, Taiwan
,
Ted Herman
University of Iowa, Dept. of Computer Science, Iowa City, IA

Publisher

Springer-Verlag

Berlin, Heidelberg

Publication History

Published: 24 June 2003

Author Tags

Qualifiers

Article

Contributors

Other Metrics

View Article Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

5
Total Citations
View Citations
0
Total Downloads

Downloads (Last 12 months)0
Downloads (Last 6 weeks)0

Reflects downloads up to 11 Aug 2024

Other Metrics

View Author Metrics

Citations

Cited By

Devismes SIlcinkas DJohnen CHansdah RKrishnaswamy DVaidya N(2019)Silent self-stabilizing scheme for spanning-tree-like constructionsProceedings of the 20th International Conference on Distributed Computing and Networking10.1145/3288599.3288607(158-167)Online publication date: 4-Jan-2019
https://dl.acm.org/doi/10.1145/3288599.3288607
Danturi PNesterenko MTixeuil S(2009)Self-stabilizing philosophers with generic conflictsACM Transactions on Autonomous and Adaptive Systems10.1145/1462187.14621944:1(1-20)Online publication date: 9-Feb-2009
https://dl.acm.org/doi/10.1145/1462187.1462194
Cournier ADevismes SVillain V(2006)From self- to snap- stabilizationProceedings of the 8th international conference on Stabilization, safety, and security of distributed systems10.5555/1759076.1759092(199-213)Online publication date: 17-Nov-2006
https://dl.acm.org/doi/10.5555/1759076.1759092
Cournier ADevismes SVillain V(2006)Snap-Stabilizing PIF and Useless ComputationsProceedings of the 12th International Conference on Parallel and Distributed Systems - Volume 110.1109/ICPADS.2006.100(39-48)Online publication date: 12-Jul-2006
https://dl.acm.org/doi/10.1109/ICPADS.2006.100
Cournier ADevismes SVillain V(2005)A snap-stabilizing DFS with a lower space requirementProceedings of the 7th international conference on Self-Stabilizing Systems10.1007/11577327_3(33-47)Online publication date: 26-Oct-2005
https://dl.acm.org/doi/10.1007/11577327_3

View Options

View options

Get Access

Login options

Check if you have access through your login credentials or your institution to get full access on this article.

Full Access

Get this Publication

Media

Figures

Other

Tables

View Table of Contents