Crash-fault torelant broadcast algorithm
用語
$ \mathsf{Broadcast(m)}: メッセージmをブロードキャストする
$ \mathsf{Deliver(m)}: メッセージmを受診する
以下の3つの性質を満たす(V, AはPが正常であることを仮定しているのに注意)
妥当性(Validity?): ある正常プロセス$ Pが$ \mathsf{Broadcast(m)}を実行したならば、$ Pはいつか$ \mathsf{Deliver(m)}を実行する
合意性(Agreement?): ある正常プロセス$ Pが$ \mathsf{Deliver(m)}を実行するならば、全ての正常プロセスもいつかは$ \mathsf{Deliver(m)}を実行する
整合性(Integrity?): どのメッセージmについても、$ \mathsf{Deliver(m)}を複数回実行するプロセスは存在せず、しかも$ \mathsf{Deliver(m)}が実行されるのは対応する$ \mathsf{Broadcast(m)}が事前に実行されているときに限る