Skip to main content

2016 | OriginalPaper | Buchkapitel

Information Spreading in Dynamic Networks Under Oblivious Adversaries

verfasst von : John Augustine, Chen Avin, Mehraneh Liaee, Gopal Pandurangan, Rajmohan Rajaraman

Erschienen in: Distributed Computing

Verlag: Springer Berlin Heidelberg

Aktivieren Sie unsere intelligente Suche, um passende Fachinhalte oder Patente zu finden.

search-config
loading …

Abstract

We study the problem of gossip in dynamic networks controlled by an adversary that can modify the network arbitrarily from one round to another, provided that the network is always connected. In the gossip problem, there are n tokens arbitrarily distributed among the n network nodes, and the goal is to disseminate all the n tokens to every node. Our focus is on token-forwarding algorithms, which do not manipulate tokens in any way other than storing, copying, and forwarding them. An important open question is whether gossip can be realized by a distributed protocol that can do significantly better than an easily achievable bound of \(O(n^2)\) rounds.
In this paper, we study oblivious adversaries, i.e., those that are oblivious to the random choices made by the protocol. We consider Rand-Diff, a natural distributed algorithm in which neighbors exchange a token chosen uniformly at random from the difference of their token sets. We present an \(\tilde{\varOmega }(n^{3/2})\) lower bound for Rand-Diff under an oblivious adversary. We also present an \(\tilde{\varOmega }(n^{4/3})\) lower bound under a stronger notion of oblivious adversary for a class of randomized distributed algorithms—symmetric knowledge-based algorithms— in which nodes make token transmission decisions based entirely on the sets of tokens they possess over time. On the positive side, we present a centralized algorithm that completes gossip in \(\tilde{O}(n^{3/2})\) rounds with high probability, under any oblivious adversary. We also show an \(\tilde{O}(n^{5/3})\) upper bound for Rand-Diff in a restricted class of oblivious adversaries, which we call paths-respecting, that may be of independent interest.

Sie haben noch keine Lizenz? Dann Informieren Sie sich jetzt über unsere Produkte:

Springer Professional "Wirtschaft+Technik"

Online-Abonnement

Mit Springer Professional "Wirtschaft+Technik" erhalten Sie Zugriff auf:

  • über 102.000 Bücher
  • über 537 Zeitschriften

aus folgenden Fachgebieten:

  • Automobil + Motoren
  • Bauwesen + Immobilien
  • Business IT + Informatik
  • Elektrotechnik + Elektronik
  • Energie + Nachhaltigkeit
  • Finance + Banking
  • Management + Führung
  • Marketing + Vertrieb
  • Maschinenbau + Werkstoffe
  • Versicherung + Risiko

Jetzt Wissensvorsprung sichern!

Springer Professional "Technik"

Online-Abonnement

Mit Springer Professional "Technik" erhalten Sie Zugriff auf:

  • über 67.000 Bücher
  • über 390 Zeitschriften

aus folgenden Fachgebieten:

  • Automobil + Motoren
  • Bauwesen + Immobilien
  • Business IT + Informatik
  • Elektrotechnik + Elektronik
  • Energie + Nachhaltigkeit
  • Maschinenbau + Werkstoffe




 

Jetzt Wissensvorsprung sichern!

Springer Professional "Wirtschaft"

Online-Abonnement

Mit Springer Professional "Wirtschaft" erhalten Sie Zugriff auf:

  • über 67.000 Bücher
  • über 340 Zeitschriften

aus folgenden Fachgebieten:

  • Bauwesen + Immobilien
  • Business IT + Informatik
  • Finance + Banking
  • Management + Führung
  • Marketing + Vertrieb
  • Versicherung + Risiko




Jetzt Wissensvorsprung sichern!

Fußnoten
1
In each round of the strongly adaptive adversary model, each node first chooses a token to broadcast to all its neighbors, and then the adversary chooses a connected network for that round with the knowledge of the tokens chosen by each node.
 
2
The notation \(\tilde{\varOmega }\) hides polylogarithmic factors in the denominator and \(\tilde{O}\) hides polylogarithmic factors in the numerator.
 
3
Actually, [15] shows the \(O(n \mathrm {polylog}(n))\) bound applies even for a weaker protocol called Sym-Diff, where the token exchanged between two neighbouring nodes is a random token from the symmetric difference of the token sets of the two nodes.
 
4
Throughout, by “with high probability” or whp, we mean with probability at least \(1 - 1/n^c\), where the constant c can be made sufficiently large by adjusting other parameters in the analysis.
 
5
Indeed, an infrastructure-based model captures many real-world scenarios involving an underlying communication network with dynamics restricted to the network edges. This is unlike the case of a general oblivious adversary where the graph can change arbitrarily from round to round.
 
Literatur
1.
Zurück zum Zitat Augustine, J., Pandurangan, G., Robinson, P., Upfal, E.: Towards robust and efficient computation in dynamic peer-to-peer networks. In: SODA, pp. 551–569 (2012) Augustine, J., Pandurangan, G., Robinson, P., Upfal, E.: Towards robust and efficient computation in dynamic peer-to-peer networks. In: SODA, pp. 551–569 (2012)
2.
Zurück zum Zitat Augustine, J., Avin, C., Liaee, M., Pandurangan, G., Rajaraman, R.: Information spreading in dynamic networks under oblivious adversaries (2016). arXiv:1603.06109 Augustine, J., Avin, C., Liaee, M., Pandurangan, G., Rajaraman, R.: Information spreading in dynamic networks under oblivious adversaries (2016). arXiv:​1603.​06109
3.
Zurück zum Zitat Augustine, J., Molla, A.R., Morsy, E., Pandurangan, G., Robinson, P., Upfal, E.: Storage and search in dynamic peer-to-peer networks. In: SPAA, pp. 53–62 (2013) Augustine, J., Molla, A.R., Morsy, E., Pandurangan, G., Robinson, P., Upfal, E.: Storage and search in dynamic peer-to-peer networks. In: SPAA, pp. 53–62 (2013)
4.
Zurück zum Zitat Augustine, J., Pandurangan, G., Robinson, P.: Fast byzantine agreement in dynamic networks. In: PODC, pp. 74–83 (2013) Augustine, J., Pandurangan, G., Robinson, P.: Fast byzantine agreement in dynamic networks. In: PODC, pp. 74–83 (2013)
5.
Zurück zum Zitat Augustine, J., Pandurangan, G., Robinson, P., Roche, S., Upfal, E.: Enabling robust and efficient distributed computation in dynamic peer-to-peer networks. In: FOCS, pp. 350–369 (2015) Augustine, J., Pandurangan, G., Robinson, P., Roche, S., Upfal, E.: Enabling robust and efficient distributed computation in dynamic peer-to-peer networks. In: FOCS, pp. 350–369 (2015)
6.
Zurück zum Zitat Avin, C., Koucký, M., Lotker, Z.: How to explore a fast-changing world (cover time of a simple random walk on evolving graphs). In: Aceto, L., Damgård, I., Goldberg, L.A., Halldórsson, M.M., Ingólfsdóttir, A., Walukiewicz, I. (eds.) ICALP 2008, Part I. LNCS, vol. 5125, pp. 121–132. Springer, Heidelberg (2008)CrossRef Avin, C., Koucký, M., Lotker, Z.: How to explore a fast-changing world (cover time of a simple random walk on evolving graphs). In: Aceto, L., Damgård, I., Goldberg, L.A., Halldórsson, M.M., Ingólfsdóttir, A., Walukiewicz, I. (eds.) ICALP 2008, Part I. LNCS, vol. 5125, pp. 121–132. Springer, Heidelberg (2008)CrossRef
7.
Zurück zum Zitat Baumann, H., Crescenzi, P., Fraigniaud, P.: Parsimonious flooding in dynamic graphs. In: PODC, pp. 260–269 (2009) Baumann, H., Crescenzi, P., Fraigniaud, P.: Parsimonious flooding in dynamic graphs. In: PODC, pp. 260–269 (2009)
8.
Zurück zum Zitat Baumann, H., Crescenzi, P., Fraigniaud, P.: Parsimonious flooding in dynamic graphs. Distrib. Comput. 24(1), 31–44 (2011)CrossRefMATH Baumann, H., Crescenzi, P., Fraigniaud, P.: Parsimonious flooding in dynamic graphs. Distrib. Comput. 24(1), 31–44 (2011)CrossRefMATH
10.
Zurück zum Zitat Broder, A., Kumar, R., Maghoul, F., Raghavan, P., Rajagopalan, S., Stata, R., Tomkins, A., Wiener, J.: Graph structure in the web. Comput. Netw. 33(1–6), 309–320 (2000)CrossRef Broder, A., Kumar, R., Maghoul, F., Raghavan, P., Rajagopalan, S., Stata, R., Tomkins, A., Wiener, J.: Graph structure in the web. Comput. Netw. 33(1–6), 309–320 (2000)CrossRef
11.
Zurück zum Zitat Casteigts, A., Flocchini, P., Quattrociocchi, W., Santoro, N.: Time-varying graphs and dynamic networks. Int. J. Parallel Emergent Distrib. Syst. 27(5), 387–408 (2012)CrossRef Casteigts, A., Flocchini, P., Quattrociocchi, W., Santoro, N.: Time-varying graphs and dynamic networks. Int. J. Parallel Emergent Distrib. Syst. 27(5), 387–408 (2012)CrossRef
12.
Zurück zum Zitat Clementi, A.E.F., Monti, A., Pasquale, F., Silvestri, R.: Broadcasting in dynamic radio networks. J. Comput. Syst. Sci. 75(4), 213–230 (2009)MathSciNetCrossRefMATH Clementi, A.E.F., Monti, A., Pasquale, F., Silvestri, R.: Broadcasting in dynamic radio networks. J. Comput. Syst. Sci. 75(4), 213–230 (2009)MathSciNetCrossRefMATH
13.
Zurück zum Zitat Clementi, A.E.F., Macci, C., Monti, A., Pasquale, F., Silvestri, R.: Flooding time in edge-markovian dynamic graphs. In: PODC, pp. 213–222 (2008) Clementi, A.E.F., Macci, C., Monti, A., Pasquale, F., Silvestri, R.: Flooding time in edge-markovian dynamic graphs. In: PODC, pp. 213–222 (2008)
15.
Zurück zum Zitat Dutta, C., Pandurangan, G., Rajaraman, R., Sun, Z., Viola, E.: On the complexity of information spreading in dynamic networks. In: SODA, pp. 717–736 (2013) Dutta, C., Pandurangan, G., Rajaraman, R., Sun, Z., Viola, E.: On the complexity of information spreading in dynamic networks. In: SODA, pp. 717–736 (2013)
16.
Zurück zum Zitat Ferreira, A.: Building a reference combinatorial model for manets. IEEE Netw. 18(5), 24–29 (2004)CrossRef Ferreira, A.: Building a reference combinatorial model for manets. IEEE Netw. 18(5), 24–29 (2004)CrossRef
17.
Zurück zum Zitat Ferreira, A., Goldman, A., Monteiro, J.: On the evaluation of shortest journeys in dynamic networks. In: NCA, pp. 3–10 (2007) Ferreira, A., Goldman, A., Monteiro, J.: On the evaluation of shortest journeys in dynamic networks. In: NCA, pp. 3–10 (2007)
18.
19.
Zurück zum Zitat Georgiou, C., Gilbert, S., Guerraoui, R., Kowalski, D.R.: On the complexity of asynchronous gossip. In: PODC, pp. 135–144 (2008) Georgiou, C., Gilbert, S., Guerraoui, R., Kowalski, D.R.: On the complexity of asynchronous gossip. In: PODC, pp. 135–144 (2008)
20.
Zurück zum Zitat Gurevich, M., Keidar, I.: Correctness of gossip-based membership under message loss. In: PODC, pp. 151–160 (2009) Gurevich, M., Keidar, I.: Correctness of gossip-based membership under message loss. In: PODC, pp. 151–160 (2009)
21.
Zurück zum Zitat Haeupler, B.: Analyzing network coding gossip made easy. In: STOC, pp. 293–302 (2011) Haeupler, B.: Analyzing network coding gossip made easy. In: STOC, pp. 293–302 (2011)
22.
Zurück zum Zitat Haeupler, B., Karger, D.: Faster information dissemination in dynamic networks via network coding. In: PODC, pp. 381–390 (2011) Haeupler, B., Karger, D.: Faster information dissemination in dynamic networks via network coding. In: PODC, pp. 381–390 (2011)
23.
Zurück zum Zitat Haeupler, B., Kuhn, F.: Lower bounds on information dissemination in dynamic networks. In: Aguilera, M.K. (ed.) DISC 2012. LNCS, vol. 7611, pp. 166–180. Springer, Heidelberg (2012)CrossRef Haeupler, B., Kuhn, F.: Lower bounds on information dissemination in dynamic networks. In: Aguilera, M.K. (ed.) DISC 2012. LNCS, vol. 7611, pp. 166–180. Springer, Heidelberg (2012)CrossRef
24.
Zurück zum Zitat Jarry, A., Lotker, Z.: Connectivity in evolving graph with geometric properties. In: DIALM-POMC, pp. 24–30 (2004) Jarry, A., Lotker, Z.: Connectivity in evolving graph with geometric properties. In: DIALM-POMC, pp. 24–30 (2004)
25.
Zurück zum Zitat Kempe, D., Kleinberg, J., Kumar, A.: Connectivity and inference problems for temporal networks. JCSS 64(4), 820–842 (2002)MathSciNetMATH Kempe, D., Kleinberg, J., Kumar, A.: Connectivity and inference problems for temporal networks. JCSS 64(4), 820–842 (2002)MathSciNetMATH
26.
Zurück zum Zitat Kuhn, F., Lynch, N., Oshman, R.: Distributed computation in dynamic networks. In: STOC, pp. 513–522 (2010) Kuhn, F., Lynch, N., Oshman, R.: Distributed computation in dynamic networks. In: STOC, pp. 513–522 (2010)
27.
Zurück zum Zitat Kuhn, F., Oshman, R., Moses, Y.: Coordinated consensus in dynamic networks. In: PODC, pp. 1–10 (2011) Kuhn, F., Oshman, R., Moses, Y.: Coordinated consensus in dynamic networks. In: PODC, pp. 1–10 (2011)
28.
Zurück zum Zitat Leighton, F.T.: Introduction to Parallel Algorithms and Architectures: Arrays, Trees, and Hypercubes. Morgan-Kaufmann (1991) Leighton, F.T.: Introduction to Parallel Algorithms and Architectures: Arrays, Trees, and Hypercubes. Morgan-Kaufmann (1991)
29.
Zurück zum Zitat Liben-Nowell, D., Novak, J., Kumar, R., Raghavan, P., Tomkins, A.: Geographic routing in social networks. PNAS 102(33), 11623–11628 (2005)CrossRef Liben-Nowell, D., Novak, J., Kumar, R., Raghavan, P., Tomkins, A.: Geographic routing in social networks. PNAS 102(33), 11623–11628 (2005)CrossRef
30.
Zurück zum Zitat O’Dell, R., Wattenhofer, R.: Information dissemination in highly dynamic graphs. In: DIALM-POMC, pp. 104–110 (2005) O’Dell, R., Wattenhofer, R.: Information dissemination in highly dynamic graphs. In: DIALM-POMC, pp. 104–110 (2005)
31.
Zurück zum Zitat Pandurangan, G.: Distributed algorithmic foundations of dynamic networks. In: Halldórsson, M.M. (ed.) SIROCCO 2014. LNCS, vol. 8576, pp. 18–22. Springer, Heidelberg (2014) Pandurangan, G.: Distributed algorithmic foundations of dynamic networks. In: Halldórsson, M.M. (ed.) SIROCCO 2014. LNCS, vol. 8576, pp. 18–22. Springer, Heidelberg (2014)
32.
Zurück zum Zitat Peleg, D.: Distributed Computing: A Locality-Sensitive Approach. SIAM (2000) Peleg, D.: Distributed Computing: A Locality-Sensitive Approach. SIAM (2000)
33.
Zurück zum Zitat Das Sarma, A., Molla, A.R., Pandurangan, G.: Fast distributed computation in dynamic networks via random walks. In: Aguilera, M.K. (ed.) DISC 2012. LNCS, vol. 7611, pp. 136–150. Springer, Heidelberg (2012)CrossRef Das Sarma, A., Molla, A.R., Pandurangan, G.: Fast distributed computation in dynamic networks via random walks. In: Aguilera, M.K. (ed.) DISC 2012. LNCS, vol. 7611, pp. 136–150. Springer, Heidelberg (2012)CrossRef
34.
Zurück zum Zitat Sarwate, A.D., Dimakis, A.G.: The impact of mobility on gossip algorithms. In: INFOCOM, pp. 2088–2096 (2009) Sarwate, A.D., Dimakis, A.G.: The impact of mobility on gossip algorithms. In: INFOCOM, pp. 2088–2096 (2009)
35.
Zurück zum Zitat Topkis, D.M.: Concurrent broadcast for information dissemination. IEEE Trans. Soft. Eng. 11, 1107–1112 (1985)CrossRef Topkis, D.M.: Concurrent broadcast for information dissemination. IEEE Trans. Soft. Eng. 11, 1107–1112 (1985)CrossRef
Metadaten
Titel
Information Spreading in Dynamic Networks Under Oblivious Adversaries
verfasst von
John Augustine
Chen Avin
Mehraneh Liaee
Gopal Pandurangan
Rajmohan Rajaraman
Copyright-Jahr
2016
Verlag
Springer Berlin Heidelberg
DOI
https://doi.org/10.1007/978-3-662-53426-7_29

Premium Partner