Flexible Paxos: Reaching agreement without majorities
- đ¤ Speaker: Heidi Howard (Computer Laboratory)
- đ Date & Time: Thursday 10 November 2016, 15:00 - 16:00
- đ Venue: FW26, Computer Laboratory, William Gates Building
Abstract
The Paxos algorithm is a widely adopted approach to achieving distributed consensus. Over three decades it has been extensively researched, optimized and deployed in popular systems such as Raft, Zookeeper and Chubby. At its foundation, Paxos uses two phases, each requiring agreement from a majority of participants (known as quorums) to reliably reach consensus.
In this seminar, I will share the simple yet powerful result that each of the phases of Paxos may use non-intersecting quorums. This means that majorities are no longer necessary and that Paxos is in fact a single point on a broad spectrum of possibilities for safely reaching consensus. This result therefore opens the door for a new breed of scalable and resilient consensus algorithms for performant production system.
More information about this result can be found at fpaxos.github.io and the following blog post summarises the theory paper for the systems community http://hh360.user.srcf.net/blog/2016/08/majority-agreement-is-not-necessary/
Series This talk is part of the Computer Laboratory Systems Research Group Seminar series.
Included in Lists
- All Talks (aka the CURE list)
- bld31
- Cambridge Centre for Data-Driven Discovery (C2D3)
- Cambridge talks
- Chris Davis' list
- CL's SRG seminar
- Computer Laboratory Systems Research Group Seminar
- Department of Computer Science and Technology talks and seminars
- FW26, Computer Laboratory, William Gates Building
- Interested Talks
- ndk22's list
- ob366-ai4er
- rp587
- School of Technology
- Trust & Technology Initiative - interesting events
- yk449
Note: Ex-directory lists are not shown.
![[Talks.cam]](/static/images/talkslogosmall.gif)

Heidi Howard (Computer Laboratory)
Thursday 10 November 2016, 15:00-16:00