Paxos

[decanus]

Consensus is a fundamental problem in computer science especially with regards to distributed systems. It only makes sense to research one of the most influential consensus algorithms called Paxos, which was created by Leslie Lamport.

The main goal of this thread is to research paxos and create a general understanding which should later be summarized in a research post.

Questions

• How exactly does Paxos work?
• How can Paxos be applied?
• What are some distributed systems that use Paxos?
• What are some derivative works of Paxos?
• Where does it not make sense to use Paxos?

Literature

• The Part-Time Parliament - paper
  This is the original paxos paper, describing the consensus algorithm devised by Leslie Lamport.
• Understanding Paxos - post
• How Paxos Works - post
• Paxos made Simple - post
• Implementing replicated logs with Paxos - video
• Bridging Paxos and Blockchain Consensus - paper
• Consensus Protocols: Paxos - post