Skip to content

Instantly share code, notes, and snippets.

@jki127
Last active November 20, 2018 19:57
Show Gist options
  • Save jki127/52001774774c8efdbe11e5c00befe253 to your computer and use it in GitHub Desktop.
Save jki127/52001774774c8efdbe11e5c00befe253 to your computer and use it in GitHub Desktop.

Paxos - DistSys Lecture - Nov 15th, 2018

Read textbook pages 945 to 947

  1. Proposer sends a Prepare message to acceptors
  2. Acceptors send back Promise message which says it will not accept any proposals lower than the accepted value
  3. Proposers sends Accept messages to Acceptors with a proposal number and unique ID number

Paxos doesn’t guarantee termination

MultiPaxos

https://www.beyondthelines.net/algorithm/multi-paxos/

Elect a lead proposer

Bully Algorithm

https://www.wikiwand.com/en/Bully_algorithm

  • The lowest number node is always the leader
  • When the leader is failing, the node broadcasts its number to all other nodes
  • If the node doesn’t receive a node number lower than itself, then it becomes the leader and broadcasts a message letting the other nodes know that it is the leader
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment