Muutke küpsiste eelistusi

Mobile Agent Rendezvous Problem in the Ring [Pehme köide]

Teised raamatud teemal:
Teised raamatud teemal:
Mobile agent computing is being used in fields as diverse as artificial intelligence, computational economics and robotics. Agents' ability to adapt dynamically and execute asynchronously and autonomously brings potential advantages in terms of fault-tolerance, flexibility and simplicity.

This monograph focuses on studying mobile agents as modelled in distributed systems research and in particular within the framework of research performed in the distributed algorithms community. It studies the fundamental question of how to achieve rendezvous, the gathering of two or more agents at the same node of a network. Like leader election, such an operation is a useful sub-routine in more general computations that may require the agents to synchronize, share information, divide up chores, etc.

The work provides an introduction to the algorithmic issues raised by the rendezvous problem in the distributed computing setting. For the most part our investigation concentrates on the simplest case of two agents attempting to rendezvous on a ring network. Other situations including multiple agents, faculty nodes and other topologies are also examined. An extensive bibliography provides many pointers to related work not covered in the text.

The presentation has a distinctly algorithmic, rigorous, distributed computing flavor and most results should be easily accessible to advanced undergraduate and graduate students in computer science and mathematics departments.
Preface xv
1 Models for Mobile Agent Computing
1(8)
1.1 Introduction
1(2)
1.1.1 What is a Mobile Agent?
2(1)
1.1.2 Why Mobile Agents?
2(1)
1.2 An Algorithmic Model for Mobile Agents
3(3)
1.2.1 Mobile Agents
4(1)
1.2.2 Distributed networks
5(1)
1.2.3 Resource measures
6(1)
1.3 Mobile Agent Rendezvous
6(1)
1.4 Outline of the Book
7(1)
1.5 Comments and Bibliographic Remarks
8(1)
2 Deterministic Rendezvous in a Ring
9(18)
2.1 Introduction
9(2)
2.2 A Single Stationary Token
11(10)
2.2.1 The Feasibility of Rendezvous
11(3)
2.2.2 The Time Complexity of Rendezvous
14(4)
2.2.3 Memory Tradeoff for Rendezvous with Detection
18(2)
2.2.4 Limits to the Memory Trade-off
20(1)
2.3 Movable Tokens
21(5)
2.4 Comments and Bibligraphic Remarks
26(1)
3 Multiple Agent Rendezvous in a Ring
27(8)
3.1 Introduction
27(1)
3.2 Impossibility of Rendezvous
28(1)
3.3 Rendezvous with Detection
28(4)
3.4 Conditional Solutions
32(1)
3.5 Comments and Bibliographic Remarks
33(2)
4 Randomized Rendezvous in a Ring
35(6)
4.1 Introduction
35(1)
4.2 Random Walk Algorithm
36(1)
4.3 Randomization and Tokens
37(1)
4.4 Time/Memory Trade-offs
38(2)
4.4.1 Coin Half Tour Algorithm
38(1)
4.4.2 Approximate Counting Algorithm
39(1)
4.5 Comments and Bibliographic Remarks
40(1)
5 Other Models
41(36)
5.1 Introduction
41(1)
5.2 Leader Election and Rendezvous
41(1)
5.3 Rendezvous with Failing Tokens
42(8)
5.3.1 Rendezvous When Tokens Fail Upon Release
43(3)
5.3.2 Rendezvous When Tokens Can Fail At Any Time
46(3)
5.3.3 The Cost of Token Failure
49(1)
5.4 Flickering Tokens
50(3)
5.5 Asychronous Rendezvous
53(2)
5.6 Look-Compute-Move
55(12)
5.6.1 Model and Terminology
55(4)
5.6.2 Impossibility Results
59(1)
5.6.3 Gathering Configurations with a Single Multiplicity
60(1)
5.6.4 Gathering Rigid Configurations
61(1)
5.6.5 Gathering an Odd Number of Robots
62(5)
5.7 Dangerous Networks
67(6)
5.7.1 Black-Hole Search in an Asynchronous Ring
67(4)
5.7.2 Rendezvous in Asynchronous Rings in Spite of a Black-Hole
71(2)
5.8 Comments and Bibliographic Remarks
73(4)
6 Other Topologies
77(16)
6.1 Introduction
77(1)
6.2 Synchronous Torus
77(12)
6.2.1 Memory Lower Bounds for Rendezvous
79(2)
6.2.2 Rendezvous Algorithms
81(8)
6.3 Trees
89(1)
6.4 Arbitrary Graphs
90(1)
6.5 Comments and Bibliographic Remarks
91(2)
Bibliography 93(8)
Glossary 101(2)
Author's Biographies 103(2)
Index 105