Correctness of Gossip-Based Membership under Message Loss
Authors:
- Maxim GurevichMGMaxim Gurevich
- Idit KeidarIKIdit Keidar
- 1 January 2010
- journal article
- Published by Society for Industrial & Applied Mathematics (SIAM) in SIAM Journal on Computing
- Vol. 39 (8) , 3830-3859
Abstract
Due to their simplicity and effectiveness, gossip-based membership protocols have become the method of choice for maintaining partial membership in large peer-to-peer systems. A variety of gossip-based membership protocols were proposed. Some were shown to be effective empirically, lacking analytic understanding of their properties. Others were analyzed under simplifying assumptions, such as lossless and delayless network. It is not clear whether the analysis results hold in dynamic networks, where both nodes and network links can fail. In this paper we try to bridge this gap. We first enumerate the desirable properties of a gossip-based membership protocol, such as view uniformity, independence, and load balance. We then propose a simple send & forget protocol, and show that even in the presence of message loss, it achieves the desirable properties.Keywords
This publication has 29 references indexed in Scilit:
- Brahms: Byzantine resilient random membership samplingComputer Networks, 2009
- RaWMS - Random Walk Based Lightweight Membership Service for Wireless Ad Hoc NetworksACM Transactions on Computer Systems, 2008
- On coding for reliable communication over packet networksPhysical Communication, 2008
- Gossip-based peer samplingACM Transactions on Computer Systems, 2007
- Stability robustness of networked control systems with respect to packet lossAutomatica, 2007
- Sampling Regular Graphs and a Peer-to-Peer NetworkCombinatorics, Probability and Computing, 2007
- Lightweight probabilistic broadcastACM Transactions on Computer Systems, 2003
- On the minimal synchronism needed for distributed consensusJournal of the ACM, 1987
- Impossibility of distributed consensus with one faulty processJournal of the ACM, 1985
- On the connectivity of randomm-orientable graphs and digraphsCombinatorica, 1982