Academia.eduAcademia.edu

Outline

Bridging the Gap between Population and Gossip-based Protocols

2000

Abstract

Abstract: Gossip-based protocols are simple, robust and scalable and have been con- sistently applied in many distributed, mostly wired, settings. Most validation in this area has been so far empirical and there is a clear lack of a theoretical counterpart clearly defining what can and cannot be computed,with gossip-based protocols. Population protocols, on the other hand, provide a clear and

References (43)

  1. D. Angluin, J. Aspnes, Z. Diamadi, M.J. Fischer, and R. Peralta. Computation in networks of passively mobile finite-state sensors. Distributed Computing (Special Issue: PODC'04), 18(4):235-253, March 2006.
  2. D. Angluin, J. Aspnes, and D. Eisenstat. Fast computation by population proto- cols with a leader. In 20th International Symposium on Distributed Computing (DISC'06), pages 61-75, September 2006.
  3. D. Angluin, J. Aspnes, and D. Eisenstat. Stably computable predicates are semi- linear. In 25th annual ACM Symposium on Principles of Distributed Computing (PODC '06), pages 292-299, August 2006.
  4. D. Angluin, J. Aspnes, D. Eisenstat, and E. Ruppert. The computational power of population protocols. In 21th International Symposium on Distributed Computing (DISC'07), volume 20:279-304, November 2007.
  5. D. Angluin, J. Aspnes, M.J. Fischer, and H. Jiang. Self-stabilizing population protocols. In 9th International Conference Principles of Distributed Systems (OPODIS'05), volume LNCS 3974:103-117, December 2005.
  6. J. Aspnes and E. Ruppert. An introduction to population protocols. Bulletin of the European Association for Theoretical Computer Science, Distributed Computing Column, 93:98-117, October 2007.
  7. F. Bonnet, A.-M. Kermarrec, and M. Raynal. Small-world networks: From theo- retical bounds to practical systems. In 11th International Conference Principles of Distributed Systems (OPODIS'07), pages 372-385, December 2007.
  8. E. Bortnikov, M. Gurevich, I. Keidar, Gabriel Kliot, and A. Shaer. Brahms: Bizantine Resilient Random Membership Sampling. In 27th annual ACM Sym- posium on Principles of Distributed Computing (PODC '08), pages 145-154, August 2008.
  9. Y. Busnel, M. Bertier, E. Fleury, and A.-M. Kermarrec. GCP: Gossip-based code propagation for large-scale mobile WSN. In The First International Conference on Autonomic Computing and Communication Systems (Autonomics'07), October 2007.
  10. Y. Busnel, M. Bertier, and A.-M. Kermarrec. On the Impact of the Mobility on Convergence Speed of Population Protocols. Research Report RR-6580, INRIA, Rennes, France, July 2008.
  11. C. Delporte-Gallet, H. Fauconnier, R. Guerraoui, and E. Ruppert. When birds die: Making population protocols fault-tolerant. In Second IEEE International Conference on Distributed Computing in Sensor Systems (DCOSS'06), pages 51- 66, June 2006.
  12. A. Demers, D. Greene, C. Hauser, W. Irish, J. Larson, S. Shenker, H. Sturgis, D. Swinehart, and D. Terry. Epidemic algorithms for replicated database mainte- nance. In 6th ACM Symposium on Principles of Distributed Computing (PODC 1987), 1987.
  13. K. Dionysios, D. Psaltoulis, I. Gupta, K. Birman, and A. Demers. Active and pas- sive techniques for group size estimation in large-scale and dynamic distributed systems. In Elsevier Journal of Systems and Software, vol.80:1639-1658, Octo- ber 2007.
  14. P. T. Eugster, S. Handurukande, R. Guerraoui, A.-M. Kermarrec, and P. Kouznetsov. Lightweight probabilistic broadcast. ACM Transactions on Com- puter Systems, 21(4):341-374, 2003.
  15. P. T. Eugster, R. Guerraoui, A.-M. Kermarrec, and L. Massoulié. Epidemic information dissemination in distributed systems. IEEE Computer, 37(5):60- 67, May 2004.
  16. L. Fribourg, S. Messika, and C. Picaronny. Coupling and self-stabilization. Dis- tributed Computing (Special Issue: DISC'04), 18(3):221-232, February 2006.
  17. D. Gavidia, S. Voulgaris, and M. van Steen. Epidemic-style monitoring in large- scale wireless sensor networks. Technical Report IR-CS-012, Vrije Universiteit Amsterdam, 2005.
  18. R. Guerraoui and E. Ruppert. Even small birds are unique: Population proto- cols with identifiers. Technical Report Technical Report CSE-2007-04, Dept of Computer Science and Engineering, York University, September 2007.
  19. M. Jelasity and O. Babaoglu. T-Man: Fast gossip-based construction of large- scale overlay topologies. Technical Report UBLCS-2004-7, University of Bologna, Department of Computer Science, Bologna, Italy, May 2004.
  20. M. Jelasity and A.-M. Kermarrec. Ordered slicing of very large-scale overlay networks. In 6th IEEE International Conference on Peer-to-Peer Computing (P2P '06), pages 117-124, September 2006.
  21. M. Jelasity, A. Montresor, and O. Babaoglu. Gossip-based aggregation in large dynamic networks. ACM Transactions on Computer Systems, 23(3):219-252, 2005.
  22. M. Jelasity, S. Voulgaris, R. Guerraoui, A.-M. Kermarrec, and M. van Steen. Gossip-based peer sampling. ACM Transactions on Computer Systems, 25(3):8, 2007.
  23. D. Kempe, A. Dobra, and J. Gehrke. Gossip-based computation of aggregate in- formation. In 44th Annual IEEE Symposium on Foundations of Computer Science (FOCS '03), pages 482-491, octobre 2003.
  24. A.-M. Kermarrec, L. Massoulié, and A. J. Ganesh. Probabilistic reliable dissem- ination in large-scale systems. IEEE Transactions on Parallel and Distributed Systems, volume 14(3), March 2003.
  25. A.-M. Kermarrec and M. van Steen, ed. ACM Operating Systems Review on Gossip Potocols, volume 41(5), October 2007. INRIA
  26. L. Massoulié, E. Le Merrer, A.-M. Kermarrec, and A. Ganesh. Peer counting and sampling in overlay networks: random walk methods. In 25th ACM Symposium on Principles of Distributed Computing (PODC '06), pages 123-132, July 2006.
  27. R. van Renesse. Power-aware epidemics. In International Workshop on Reliable Peer-to-Peer Systems, 2002.
  28. E. Simonton, B. Kyu Choi, and S. Seidel. Using gossip for dynamic ressource discovery. In 35th International Conference on Parallel Processing (ICPP'06), pages 319-328, August 2006.
  29. S. Voulgaris, D. Gavidia, and M. van Steen. Cyclon: Inexpensive membership management for unstructured p2p overlays. Journal of Network System Manage- ment, 13(2), 2005.
  30. 1 Background on population protocols . . . . . . . . . . . . . . . . . .
  31. 2.2 Gossip-based protocols: A practical framework . . . . . . . . . . . .
  32. 2.3 Classifying gossip-based protocols: On the power of the peer sampling 7 3 A classification of gossip protocols 8
  33. 1 Between synchronous and asynchronous . . . . . . . . . . . . . . . .
  34. 3.2 On the computational power of gossip protocols . . . . . . . . . . . .
  35. 1 Equivalence between basic population and anonymous asynchronous gossip protocols . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 10
  36. 2 Equivalence between community protocols and NGP . . . . . . . . . 12
  37. 3 A great impact on both protocols . . . . . . . . . . . . . . . . . . . .
  38. 5 Distribution of interactions versus convergence time 16
  39. 1 Uniform distribution is best in population protocols . . . . . . . . . . 16
  40. 2 Random gossip-based peer sampling is optimal wrt convergence time 17 6 Conclusion and future works 18 RR n°6720 Unité de recherche INRIA Rennes IRISA, Campus universitaire de Beaulieu -35042 Rennes Cedex (France) Unité de recherche INRIA Futurs : Parc Club Orsay Université -ZAC des Vignes 4, rue Jacques Monod -91893 ORSAY Cedex (France)
  41. Unité de recherche INRIA Lorraine : LORIA, Technopôle de Nancy-Brabois -Campus scientifique 615, rue du Jardin Botanique -BP 101 -54602 Villers-lès-Nancy Cedex (France)
  42. Unité de recherche INRIA Rhône-Alpes : 655, avenue de l'Europe -38334 Montbonnot Saint-Ismier (France) Unité de recherche INRIA Rocquencourt : Domaine de Voluceau -Rocquencourt -BP 105 -78153 Le Chesnay Cedex (France) Unité de recherche INRIA Sophia Antipolis : 2004, route des Lucioles -BP 93 -06902 Sophia Antipolis Cedex (France)
  43. Éditeur INRIA -Domaine de Voluceau -Rocquencourt, BP 105 -78153 Le Chesnay Cedex (France) http://www.inria.fr ISSN 0249-6399