reliable broadcast
どのくらいまで保証してくれるかはいろいろある
Best-effort broadcast
$ p_i と $ p_j が正常なら $ p_i からブロードキャストされたメッセージが $ p_j にいつか届く (配送される)
同じメッセージが2回以上届く (配送される) ことはない
ブロードキャストされていないメッセージが届く (配送される) ことはない
Reliable broadcast
Best-effort broadcast は $ p_i がクラッシュしたときはなにも保証されなかったが、こちらは $ p_iがクラッシュしたときは全員に届くかそれとも全員に届かないかになる
Uniformed reliable broadcast
FIFO reliable broadcast
Causal reliable broadcast
Atomic broadcast
合意と等価
参照
CAFD