Efficient communication in unknown networks

We consider the problem of disseminating messages in networks. We are interested in information dissemination algorithms in which machines operate independently without any knowledge of the network topology or size. Three communication tasks of increasing difficulty are studied. In blind broadcasting (BB), the goal is to communicate the source message to all nodes. In acknowledged blind broadcasting (ABB), the goal is to achieve BB and inform the source about it. Finally, in full synchronization (FS), all nodes must simultaneously enter the state terminated after receiving the source message. The algorithms should be efficient both in terms of the time required and the communication overhead they put on the network. We limit the latter by allowing every node to send a message to at most one neighbor in each round. We show that BB is achieved in time at most 2n in any n-node network and show networks in which time 2n − o(n) is needed. For ABB, we show algorithms working in time (2 + ϵ)n, for any fixed positive constant ϵ and sufficiently large n. Thus, for both BB and ABB, our algorithms are close to optimal. Finally, we show a simple algorithm for FS working in time 3n and a more complicated algorithm which works in time 2.9n. The optimal time of full synchronization remains an open problem. © 2001 John Wiley & Sons, Inc.

[1]  Arthur L. Liestman,et al.  A survey of gossiping and broadcasting in communication networks , 1988, Networks.

[2]  Adrian Segall,et al.  Distributed network protocols , 1983, IEEE Trans. Inf. Theory.

[3]  Xiaotie Deng,et al.  Exploring an unknown graph , 1990, Proceedings [1990] 31st Annual Symposium on Foundations of Computer Science.

[4]  Andrzej Pelc Fault‐tolerant broadcasting and gossiping in communication networks , 1996 .

[5]  Anna Pagh,et al.  Deterministic Radio Broadcasting , 2000, ICALP.

[6]  Rudolf Ahlswede,et al.  Messy Broadcasting In Networks , 1994 .

[7]  Rüdiger Reischuk,et al.  Lower Bounds for Synchronous Networks and the Advantage of Local Information , 1987, WDAG.

[8]  Baruch Awerbuch,et al.  A trade-off between information and communication in broadcast protocols , 1990, JACM.

[9]  Eli Upfal,et al.  Randomized Broadcast in Networks , 1990, Random Struct. Algorithms.

[10]  Rajeev Rastogi,et al.  Topology discovery in heterogeneous IP networks , 2000, Proceedings IEEE INFOCOM 2000. Conference on Computer Communications. Nineteenth Annual Joint Conference of the IEEE Computer and Communications Societies (Cat. No.00CH37064).

[11]  Andrzej Pelc,et al.  Exploring unknown undirected graphs , 1999, SODA '98.

[12]  Andrzej Pelc,et al.  Assigning Labels in Unknown Anonymous Networks , 2000 .

[13]  Krzysztof Diks,et al.  Broadcasting in Unlabeled Tori , 1998, Parallel Process. Lett..

[14]  Reuven Bar-Yehuda,et al.  On the Time-Complexity of Broadcast in Multi-hop Radio Networks: An Exponential Gap Between Determinism and Randomization , 1992, J. Comput. Syst. Sci..

[15]  Wojciech Rytter,et al.  Deterministic broadcasting in unknown radio networks , 2000, SODA '00.

[16]  Mor Harchol-Balter,et al.  Resource discovery in distributed networks , 1999, PODC '99.

[17]  Krzysztof Diks,et al.  Perfect Broadcasting in Unlabeled Networks , 1998, Discret. Appl. Math..

[18]  Krzysztof Diks,et al.  Broadcasting in Unlabeled Hypercubes with a Linear Number of Messages , 1998, Inf. Process. Lett..

[19]  Danilo Bruschi,et al.  Lower bounds for the broadcast problem in mobile radio networks , 1997, Distributed Computing.

[20]  Gerard Tel,et al.  Introduction to Distributed Algorithms: Contents , 2000 .

[21]  Susanne Albers,et al.  Exploring unknown environments , 1997, STOC '97.

[22]  Ramesh Govindan,et al.  Heuristics for Internet map discovery , 2000, Proceedings IEEE INFOCOM 2000. Conference on Computer Communications. Nineteenth Annual Joint Conference of the IEEE Computer and Communications Societies (Cat. No.00CH37064).

[23]  Stéphane Pérennes,et al.  Assigning labels in unknown anonymous networks (extended abstract) , 2000, PODC '00.