Paxos algorithm

Paxos算法

The Paxos algorithm, when presented in plain English, is very simple.

推导过程

Safety requirements

• Only a value that has been proposed may be chosen,
• Only a single value is chosen, and
• A process never learns that a value has been chosen unless it actually has been.