Time and communication efficient consensus for crash failures

Research output: Chapter in Book/Report/Conference proceedingConference contribution

12 Scopus citations

Abstract

This paper is about consensus solutions optimized simultaneously for the time and communication complexities. Synchronous message passing with processors prone to crashes is the computing environment. The number f of crashes can be arbitrary as long as it is smaller than the number n of processors in the system. As a building block to our consensus solutions, we consider the gossiping problem in which processors have input rumors and the goal of every processor is to learn all the rumors of the processors that have not crashed. We show that gossiping can be achieved by a deterministic algorithm working in script O sign(log3 n) time and sending script O sign(n log 4 n) point-to-point messages. These results improve upon the best previously known deterministic solution of gossiping that operated in script O sign(log2 n) time and generated script O sign(n1+ε) messages, for any constant ε > 0. The efficient gossiping algorithm is applied to the problem of reaching consensus. In the Consensus problem, each processor starts with its input value and the goal is to have all processors agree on exactly one value among the inputs. First we develop a deterministic algorithm solving Consensus in script O sign(n) time while sending script O sign(n log5 n) messages. The best previously known algorithms solving Consensus in script O sign(n) time had the message complexity bounded by script O sign(n1+ε), for any constant ε > 0. Next we improve the Consensus solution so that it is early stopping, which means that it terminates in script O sign(f + 1) time, where f is the number of crashes in an execution, while preserving the message complexity script O sign(n log 5 n).

Original languageEnglish (US)
Title of host publicationDistributed Computing - 20th International Symposium, DISC 2006, Proceedings
Pages314-328
Number of pages15
StatePublished - Dec 8 2006
Externally publishedYes
Event20th International Symposium on Distributed Computing, DISC 2006 - Stockholm, Sweden
Duration: Sep 18 2006Sep 20 2006

Publication series

NameLecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Volume4167 LNCS
ISSN (Print)0302-9743
ISSN (Electronic)1611-3349

Conference

Conference20th International Symposium on Distributed Computing, DISC 2006
CountrySweden
CityStockholm
Period9/18/069/20/06

    Fingerprint

ASJC Scopus subject areas

  • Theoretical Computer Science
  • Computer Science(all)

Cite this

Chlebus, B. S., & Kowalski, D. R. (2006). Time and communication efficient consensus for crash failures. In Distributed Computing - 20th International Symposium, DISC 2006, Proceedings (pp. 314-328). (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 4167 LNCS).