Consensus algorithm Leader-followerモデルのコンセンサスアルゴリズム 前提条件 Partially synchronous system プロセス間のコミュニケーションはunreliable メッセージのOmission fault, Duplication、リオーダーなどが起こり得る 破損したメッセージは検出できる想定 すべての操作は決定論的 Crash-fault torelant 解説 https://www.slideshare.net/tyonekura/paxos-63835103