An analytical framework for self-organizing peer-to-peer anti-entropy algorithms

An analytical framework is developed for establishing exact performance measures for peer-to-peer (P2P) anti-entropy paradigms used in biologically inspired epidemic data dissemination. Major benefits of these paradigms are that they are fully distributed, self-organizing, utilize local data only via pair-wise interactions, and provide eventual consistency, reliability and scalability. We derive exact expressions for infection probabilities through elaborated counting techniques on a digraph. Considering the first passage times of a Markov chain based on these probabilities, we find the expected message delay experienced by each peer and its overall mean as a function of initial number of infectious peers. Further delay and overhead analysis is given through simulations and the analytical framework. The number of contacted peers at each round of the anti-entropy approach is an important parameter for both delay and overhead. These exact performance measures and theoretical results would be beneficial when utilizing the models in several P2P distributed system and network services such as replicated servers, multicast protocols, loss recovery, failure detection and group membership management.

[1]  J. Davis Univariate Discrete Distributions , 2006 .

[2]  A. W. Kemp,et al.  Univariate Discrete Distributions , 1993 .

[3]  Laurent Massoulié,et al.  Gossiping With Multiple Messages , 2006, IEEE Transactions on Information Theory.

[4]  Richard M. Wilson,et al.  A course in combinatorics , 1992 .

[5]  Anne-Marie Kermarrec,et al.  Probabilistic Reliable Dissemination in Large-Scale Systems , 2003, IEEE Trans. Parallel Distributed Syst..

[6]  Liuba Shrira,et al.  Providing high availability using lazy replication , 1992, TOCS.

[7]  Gideon Weiss,et al.  Optimal scheduling of peer-to-peer file dissemination , 2006, J. Sched..

[8]  Öznur Özkasap,et al.  Exact Performance Measures for Peer-to-Peer Epidemic Information Diffusion , 2006, ISCIS.

[9]  Kenneth P. Birman,et al.  Scalable message stability detection protocols , 1998 .

[10]  Anne-Marie Kermarrec,et al.  Gossip-based peer sampling , 2007, TOCS.

[11]  Roger M. Needham,et al.  Grapevine: an exercise in distributed computing , 1982, CACM.

[12]  Anne-Marie Kermarrec,et al.  Epidemic information dissemination in distributed systems , 2004, Computer.

[13]  Alexander Grey,et al.  The Mathematical Theory of Infectious Diseases and Its Applications , 1977 .

[14]  N. Ling The Mathematical Theory of Infectious Diseases and its applications , 1978 .

[15]  Donald F. Towsley,et al.  The effect of network topology on the spread of epidemics , 2005, Proceedings IEEE 24th Annual Joint Conference of the IEEE Computer and Communications Societies..

[16]  I. Gertsbakh Epidemic process on a random graph: some preliminary results , 1977, Journal of Applied Probability.

[17]  Kenneth P. Birman,et al.  Bimodal multicast , 1999, TOCS.

[18]  Jerzy Jaworski Epidemic processes on digraphs of random mappings , 1999 .

[19]  Richard A. Golding,et al.  GROUP MEMBERSHIP IN THE EPIDEMIC STYLE , 1992 .

[20]  Norman T. J. Bailey,et al.  The Mathematical Theory of Infectious Diseases , 1975 .

[21]  Richard M. Karp,et al.  Randomized rumor spreading , 2000, Proceedings 41st Annual Symposium on Foundations of Computer Science.

[22]  Robbert van Renesse,et al.  A Gossip-Style Failure Detection Service , 2009 .

[23]  Öznur Özkasap,et al.  A Chain-Binomial Model for Pull and Push-Based Information Diffusion , 2006, 2006 IEEE International Conference on Communications.

[24]  Marcel F. Neuts,et al.  Matrix-Geometric Solutions in Stochastic Models , 1981 .

[25]  B. Pittel On spreading a rumor , 1987 .

[26]  Satish Kumar,et al.  Improving Simulation for Network Research , 1999 .

[27]  Anne-Marie Kermarrec,et al.  Lightweight probabilistic broadcast , 2003, TOCS.

[28]  Robbert van Renesse,et al.  Astrolabe: A robust and scalable technology for distributed system monitoring, management, and data mining , 2003, TOCS.

[29]  Scott Shenker,et al.  Epidemic algorithms for replicated database maintenance , 1988, OPSR.

[30]  Daryl J. Daley,et al.  Epidemic Modelling: An Introduction , 1999 .