Paxos

問題

當多個節點共用狀態時，它們通常需要就特定值達成共識。領導者和追隨者中，領導者會決定並將其值傳遞給追隨者。但如果沒有領導者，則節點需要自行決定值。（即使有領導者-追隨者，它們也可能需要這樣做才能選出領導者。）

領導者可以使用兩階段提交來確保複本安全地取得更新，但如果沒有領導者，我們可以讓競爭節點嘗試收集多數法定人數。這個程序會因為任何節點都可能發生故障或斷線而變得更加複雜。節點可能在某個值上達到多數法定人數，但在它能夠將此值傳達給整個叢集之前斷線。