Paxosアルゴリズム
アクセプタはフォールトトレラントな「メモリ」として働く。 アクセプタはクォーラム(Quorum = 定足数)と呼ばれるグループにまとめられる。 アクセプタへのメッセージは必ず定足数のアクセプタに送られなければならない。 アクセプタが受信したメッセージは、グループの各アクセプタから同じコピーが送られてこない限り無視される。