DeepAI AI Chat
Log In Sign Up

A Generalised Solution to Distributed Consensus

02/18/2019
by   Heidi Howard, et al.
0

Distributed consensus, the ability to reach agreement in the face of failures and asynchrony, is a fundamental primitive for constructing reliable distributed systems from unreliable components. The Paxos algorithm is synonymous with distributed consensus, yet it performs poorly in practice and is famously difficult to understand. In this paper, we re-examine the foundations of distributed consensus. We derive an abstract solution to consensus, which utilises immutable state for intuitive reasoning about safety. We prove that our abstract solution generalises over Paxos as well as the Fast Paxos and Flexible Paxos algorithms. The surprising result of this analysis is a substantial weakening to the quorum requirements of these widely studied algorithms.

READ FULL TEXT

page 1

page 2

page 3

page 4

03/06/2022

Relaxed Paxos: Quorum Intersection Revisited (Again)

Distributed consensus, the ability to reach agreement in the face of fai...
04/13/2020

A Hierarchical Model for Fast Distributed Consensus in Dynamic Networks

We present two new consensus algorithms for dynamic networks. The first,...
04/10/2020

Paxos vs Raft: Have we reached consensus on distributed consensus?

Distributed consensus is a fundamental primitive for constructing fault-...
08/31/2020

Lecture Notes on Leader-based Sequence Paxos – An Understandable Sequence Consensus Algorithm

Agreement among a set of processes and in the presence of partial failur...
04/20/2020

Characterizing consensus in the Heard-Of model

The Heard-Of model is a simple and relatively expressive model of distri...
03/12/2021

Reaching Agreement in Competitive Microbial Systems

In this work, we consider distributed agreement tasks in microbial distr...
01/26/2021

Study of Graph Theory, Distributed Average Consensus Algorithm and Centralized Algorithm

In this paper, we hope to bring closer graph theory and consensus algori...