BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//Talks.cam//talks.cam.ac.uk//
X-WR-CALNAME:Talks.cam
BEGIN:VEVENT
SUMMARY:Flexible Paxos - Heidi Howard\, University of Cambridge
DTSTART:20161109T100000Z
DTEND:20161109T110000Z
UID:TALK69013@talks.cam.ac.uk
CONTACT:44515
DESCRIPTION:The Paxos algorithm is a widely adopted approach to reaching a
 greement in unreliable asynchronous distributed systems. Since its develop
 ment in 1998\, Paxos has been extensively researched\, taught and built up
 on by systems such as Chubby\, Zookeeper and Raft. At its foundation\, Pax
 os uses two phases\, each requiring agreement from a quorum of participant
 s to reliably reach consensus.\nThis lecture will introduce Flexible Paxos
 \, the simple yet powerful result that each of the phases of Paxos may use
  non-intersecting quorums. The result means that majorities are no longer 
 the only practical quorum system for Paxos\, opening the door to a new bre
 ed of performant\, scalable and resilient consensus algorithms. This lectu
 re will demonstrate how we are able to test this result with only simple m
 odifications to the existing Paxos TLA+ specification.\n
LOCATION:Small Lecture Theatre\, Microsoft Research Ltd\, 21 Station Road\
 , Cambridge\, CB1 2FB
END:VEVENT
END:VCALENDAR