Paxos
分散システム における合意アルゴリズムの一つ。
Paxos Made Simple