Paxosアルゴリズム
最大一つの値が習得可能である。(つまり、2つの習得ノードがことなる値を習得することはない)
プロセッサは任意の速度で動作してもよい。
プロセッサは障害が発生する可能性がある。
安定したストレージを持つプロセッサは障害の後、再参加可能である。
プロセッサは共謀したり、誤った情報を返すなど、プロトコルの手続きを変えるようなことはしない。(任意の障害を容認する手法として、#ビザンチンPaxosを参照のこと)
プロポーザはクライアントのリクエストを支持して、アクセプタの同意を取ろうと試み、プロトコルを前に進めるための調停を行う。