Abstract
In the execution of distributed algorithms on a network of processes, the actions of the individual processes are scheduled by their local schedulers or demons. The schedulers communicate with their immediate neighbors using shared registers or message passing. This paper examines an alternative approach to the design of distributed algorithms, where mobile agents are allowed to traverse a network, extract state information, and make appropriate modification of the local states to steer the system towards a global goal. The primary emphasis of this paper is system stabilization. Both single-agent and multi-agent protocols are examined, and the advantages and disadvantages of agent-based stabilization are discussed.
This research was supported in part by the National Science Foundation under grant CCR-9901391.
This is a preview of subscription content, log in via an institution.
Buying options
Tax calculation will be finalised at checkout
Purchases are for personal use only
Learn about institutional subscriptionsPreview
Unable to display preview. Download preview PDF.
References
Araragi T, Attie P, Keidar I, Kogure K, Luchanugo V, Lynch N, Mano K. On formal modeling agent computations. NASA Workshop on Formal Approaches to Agent-based Systems (2000).
Wang YM, Russell W, and Arora A. A toolkit for building dependable and extensible home networking applications. Fourth USENIX Windows Systems Symposium USENIX-WIN 2000 (2000)
Arora A, Gouda MG. Closure and convergence: A foundation of fault-tolerant computing. IEEE Transactions on Software Engineering 19 (1993) pp. 1015–1027.
Arora A, Gouda MG. Distributed reset. IEEE Transactions on Computers 43 (1994) pp. 1026–1038, 1994.
Chandra TD, Toueg S. Unreliable failure detectors for reliable distributed systems. Journal of the ACM 43:2 (1996) pp. 225–267.
Chen NS, Yu HP, Huang ST. A self-stabilizing algorithm for constructing a spanning tree. Information Processing Letters 39 (1991) pp.147–151.
Dijkstra EW. Self stabilizing systems in spite of distributed control. Communications of the ACM 17 (1974) pp. 643–644.
Dorigo M, Maniezzo V, and Colorni A. The Ant system: Optimization by a colony of cooperating agents. IEEE Transactions on Systems, Man, and Cybernetics 26:1 (1996) pp. 1–13.
Ghosh S. Agents, distributed algorithms, and stabilization. In Computing and Combinatorics (COCOON 2000), Springer-Verlag LNCS 1858 (2000), pp. 242–251.
Gouda MG, Haddix F. The alternator. Proceedings of the Third Workshop on Self-Stabilizing Systems. (published in association with ICDCS’99. The 19th IEEE International Conference on Distributed Computing Systems), pages 48–53, 1999.
Herman T. Self-stabilization: randomness to reduce space. Distributed Computing 6 (1992) pp. 95–98.
Korach E, Kutten S, and Moran S. A modular technique for the design of efficient leader finding algorithms. ACM Transactions on Programming Languages and Systems 12 (1990), pp. 84–101.
Katz S, Perry K. Self-stabilizing extensions for message-passing systems. Proceedings of 9th Annual Symposium on Principles of Distributed Computing (1990) pp. 91–101.
Gray R, Kotz D, Nog S, Rus D, Cybenko G. Mobile agents for mobile computing. Proceedings of the Second Aizu International Symposium on Parallel Algorithms/ Architectures Synthesis, Fukushima, Japan (1997).
Tel G. Introduction to Distributed Algorithms. Cambridge University Press (1994).
Varghese G. Self-stabilization by counter flushing. SIAM Journal on Computing, 30(2):486–510, 2000.
White T, and Pagurek B. Towards multi-swarm problem solving in networks. Proceedings of the Third International Conference on Multi-Agent Systems (ICMAS’98), July 1998, pp. 333–340.
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2001 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Ghosh, S. (2001). Cooperating Mobile Agents and Stabilization. In: Datta, A.K., Herman, T. (eds) Self-Stabilizing Systems. WSS 2001. Lecture Notes in Computer Science, vol 2194. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-45438-1_1
Download citation
DOI: https://doi.org/10.1007/3-540-45438-1_1
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-42653-0
Online ISBN: 978-3-540-45438-0
eBook Packages: Springer Book Archive