Robust gossiping with an application to consensus

Research output: Contribution to journalArticle

23 Scopus citations

Abstract

We study deterministic gossiping in synchronous systems with dynamic crash failures. Each processor is initialized with an input value called rumor. In the standard gossip problem, the goal of every processor is to learn all the rumors. When processors may crash, then this goal needs to be revised, since it is possible, at a point in an execution, that certain rumors are known only to processors that have already crashed. We define gossiping to be completed, for a system with crashes, when every processor knows either the rumor of processor v or that v has already crashed, for any processor v. We design gossiping algorithms that are efficient with respect to both time and communication. Let t < n be the number of failures, where n is the number of processors. If n - t = Ω (n / polylog n), then one of our algorithms completes gossiping in O (log2 t) time and with O (n polylog n) messages. We develop an algorithm that performs gossiping with O (n1.77) messages and in O (log2 n) time, in any execution in which at least one processor remains non-faulty. We show a trade-off between time and communication in gossiping algorithms: if the number of messages is at most O (n polylog n), then the time has to be at least Ω (frac(log n, log (n log n) - log t)). By way of application, we show that if n - t = Ω (n), then consensus can be solved in O (t) time and with O (n log2 t) messages.

Original languageEnglish (US)
Pages (from-to)1262-1281
Number of pages20
JournalJournal of Computer and System Sciences
Volume72
Issue number8
DOIs
StatePublished - Dec 1 2006
Externally publishedYes

Keywords

  • Consensus
  • Crash failure
  • Distributed algorithm
  • Gossiping
  • Message passing
  • Synchrony

ASJC Scopus subject areas

  • Theoretical Computer Science
  • Computer Networks and Communications
  • Computational Theory and Mathematics
  • Applied Mathematics

Fingerprint Dive into the research topics of 'Robust gossiping with an application to consensus'. Together they form a unique fingerprint.

  • Cite this