Abstract
In this article, we show that some fundamental self- and snap-stabilizing wave protocols (e.g., token circulation, PIF, etc.) implicitly assume a very light property that we call BreakingIn. We prove that BreakingIn is strictly induced by self- and snap-stabilization. Combined with a transformer, BreakingIn allows to easily turn the non-fault-tolerant versions of those protocols into snap-stabilizing versions. Unlike the previous solutions, the transformed protocols are very efficient and work at least with the same daemon as the initial versions extended to satisfy BreakingIn. Finally, we show how to use an additional property of the transformer to design snap-stabilizing extensions of those fundamental protocols like Mutual Exclusion.
- Awerbuch, B. and Gallager, R. G. 1985. Distributed bfs algorithms. In Proceedings of the Annual Symosium on Foundations of Computer Science. IEEE, 250--256. Google Scholar
Digital Library
- Bui, A., Datta, A., Petit, F., and Villain, V. 1999. State-optimal snap-stabilizing PIF in tree networks. In Proceedings of the 4th Workshop on Self-Stabilizing Systems. IEEE Computer Society Press, 78--85. Google Scholar
Digital Library
- Cournier, A., Datta, A., Petit, F., and Villain, V. 2003. Enabling snap-stabilization. In Proceedings of the 23th International Conference on Distributed Computing Systems (ICDCS'03). IEEE Computer Society Press, 12--19. Google Scholar
Digital Library
- Cournier, A., Devismes, S., Petit, F., and Villain, V. 2004. Snap-stabilizing depth-first search on arbitrary networks. In Proceedings of the International Conference on Principles of Distributed Systems (OPODIS'04). Lecture Notes in Computer Science, vol. 3544, 267--282. Google Scholar
Digital Library
- Cournier, A., Devismes, S., Petit, F., and Villain, V. 2006. Snap-stabilizing depth-first search on arbitrary networks. Comput. J. 49, 3, 268--280. Google Scholar
Digital Library
- Cournier, A., Devismes, S., and Villain, V. 2005. A snap-stabilizing DFS with a lower space requirement. In Proceedings of the 7th International Symposium on Self-Stabilizing Systems (SSS'05). Lecture Notes in Computer Science, vol. 3764, 33--47. Google Scholar
Digital Library
- Cournier, A., Devismes, S., and Villain, V. 2006a. From self- to snap- stabilization. In Proceedings of the 8th International Symposium on Self-Stabilization, Safety, and Security (SSS'06). Lecture Notes in Computer Science, vol. 4280, 199--213. Google Scholar
Digital Library
- Cournier, A., Devismes, S., and Villain, V. 2006b. Snap-stabilizing PIF and useless computations. In Proceedings of the 12th International Conference on Parallel and Distributed Systems (ICPADS'06). Vol. 1. IEEE Computer Society Press, 39--46. Google Scholar
Digital Library
- Cournier, A., Devismes, S., and Villain, V. 2007. Light enabling snap-stabilization. Tech. rep. 2007-04, LaRIA, CNRS FRE 2733.Google Scholar
- Delaët, S., Ducourthial, B., and Tixeuil, S. 2005. Self-stabilization with r-operators revisited. In Self-Stabilizing Systems, T. Herman and S. Tixeuil, Eds. Lecture Notes in Computer Science, vol. 3764, 68--80. Google Scholar
Digital Library
- Dijkstra, E. 1974. Self stabilizing systems in spite of distributed control. Comm. ACM 17, 643--644. Google Scholar
Digital Library
- Dolev, S., Israeli, A., and Moran, S. 1997. Uniform dynamic self-stabilizing leader election. IEEE Trans. Parall. Distrib. Syst. 8, 4, 424--440. Google Scholar
Digital Library
- Dolev, S. and Tzachar, N. 2006. Empire of colonies: Self-stabilizing and self-organizing distributed algorithms. In Proceedings of the International Conference on Principles of Distributed Systems (OPODIS). Number 4305 in Lecture Notes in Computer Science. Springer, 230--243. Google Scholar
Digital Library
- Huang, S. and Chen, N. 1993. Self-stabilizing depth-first token circulation on networks. Distrib. Comput. 7, 61--66. Google Scholar
Digital Library
- Huang, S.-T. and Chen, N.-S. 1992. A self-stabilizing algorithm for constructing breadth-first trees. Inf. Process. Lett. 41, 2, 109--117. Google Scholar
Digital Library
- Johnen, C. 1997. Memory efficient, self-stabilizing algorithm to construct bfs spanning trees. In Proceedings of the 16th Annual ACM Symposium on Principles of Distributed Computing (PODC'97). ACM Press, New York, NY, 288. Google Scholar
Digital Library
- Johnen, C., Alima, L., Datta, A. K., and Tixeuil, S. 2002. Optimal snap-stabilizing neighborhood synchronizer in tree networks. Parall. Proc. Lett. 12, 3-4, 327--340.Google Scholar
Cross Ref
- Katz, S. and Perry, K. 1993. Self-stabilizing extensions for message-passing systems. Distrib. Comput. 7, 17--26. Google Scholar
Digital Library
- Tel, G. Second edition 2001. Introduction to Distributed Algorithms. Cambridge University Press, Cambridge, UK. Google Scholar
Digital Library
- Villain, V. 2002. Snap-stabilization versus self-stabilization. Proceedings of the Journées Internationales sur l'auto-Stabilisation. CIRM, Luminy France.Google Scholar
Index Terms
Light enabling snap-stabilization of fundamental protocols
Recommendations
Enabling Snap-Stabilization
ICDCS '03: Proceedings of the 23rd International Conference on Distributed Computing SystemsA 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 ...
Stateless Cryptographic Protocols
FOCS '11: Proceedings of the 2011 IEEE 52nd Annual Symposium on Foundations of Computer ScienceSecure computation protocols inherently involve multiple rounds of interaction among the parties where, typically a party has to keep a state about what has happened in the protocol so far and then \emph{wait} for the other party to respond. We study if ...
From self- to snap- stabilization
SSS'06: Proceedings of the 8th international conference on Stabilization, safety, and security of distributed systemsA snap-stabilizing protocol, starting from any configuration, always behaves according to its specification. In this paper, we propose a light semi-automatic method allowing to snap-stabilize self-stabilizing wave protocols for arbitrary networks with a ...






Comments