Breaking the (√(n)) Barrier: Fast Consensus under a Late Adversary

05/02/2018
by   Peter Robinson, et al.
0

We study the consensus problem in a synchronous distributed system of n nodes under an adaptive adversary that has a slightly outdated view of the system and can block all incoming and outgoing communication of a constant fraction of the nodes in each round. Motivated by a result of Ben-Or and Bar-Joseph (1998), showing that any consensus algorithm that is resilient against a linear number of crash faults requires Ω̃(√(n)) rounds in an n-node network against an adaptive adversary, we consider a late adaptive adversary, who has full knowledge of the network state at the beginning of the previous round and unlimited computational power, but is oblivious to the current state of the nodes. Our main contributions are randomized distributed algorithms that achieve almost-everywhere consensus w.h.p. against a late adaptive adversary who can block up to ϵ n nodes in each round, for a small constant ϵ >0. Our first protocol achieves binary and plurality consensus, and the second one achieves multi-value consensus. Both of our algorithms succeed in O( n) rounds with high probability, thus showing an exponential gap to the aforementioned lower bound for strongly adaptive crash-failure adversaries, which can be strengthened to Ω(n) when allowing the adversary to block nodes instead of permanently crashing them. In our algorithms each node contacts only an (amortized) constant number of peers in each communication round. We show that our algorithms are optimal up to constant (resp. sub-logarithmic) factors by proving that every almost-everywhere consensus protocol takes Ω(_d n) rounds in the worst case, where d is an upper bound on the number of communication requests initiated per node in each round. We complement our theoretical results with an experimental evaluation of the first protocol revealing a short convergence time.

READ FULL TEXT

page 1

page 2

page 3

page 4

research
05/10/2023

Average Awake Complexity of MIS and Matching

Chatterjee, Gmyr, and Pandurangan [PODC 2020] recently introduced the no...
research
10/16/2018

Always be Two Steps Ahead of Your Enemy

We investigate the maintenance of overlay networks under massive churn, ...
research
02/23/2023

Time Complexity of Broadcast and Consensus for Randomized Oblivious Message Adversaries

Broadcast and consensus are most fundamental tasks in distributed comput...
research
01/12/2023

Consensus in the Unknown-Participation Message-Adversary Model

We propose a new model that resembles Algorand's mechanism that selects ...
research
07/28/2019

Spartan: Sparse Robust Addressable Networks

We present an overlay design called Sparse Robust Addressable Network (S...
research
03/06/2022

Relaxed Paxos: Quorum Intersection Revisited (Again)

Distributed consensus, the ability to reach agreement in the face of fai...
research
09/28/2020

Models of Smoothing in Dynamic Networks

Smoothed analysis is a framework suggested for mediating gaps between wo...

Please sign up or login with your details

Forgot password? Click here to reset