可靠广播

可靠广播把发送者可能中途崩溃导致的“只传到一部分”修补为正确进程之间的一致交付。有效性约束正确发送者的消息最终到达，完整性禁止伪造与重复，一致性保证若某正确进程交付则所有正确进程最终交付。它不决定多条消息的全局顺序，也不等同于共识。

在崩溃模型中，发送者先向所有节点发送 $(s,m)$，节点首次收到后转发给所有人并只交付一次。因此即使发送者只来得及把消息送到一个正确节点，该节点也能接力使所有正确节点最终交付。这一活性结论依赖可靠点对点信道，或至少依赖使持续重传最终成功的公平性；若信道允许消息永久丢失，上述转发机制也无法保证终止。若发送者可以拜占庭式地向不同人发送不同值，崩溃版协议与性质不再足够，需要 Byzantine reliable broadcast 的回声、阈值或认证机制。无论哪种版本，可靠广播都只解决共同交付，不规定不同消息之间的交付顺序。

消息传递公理库消息传递系统Message-passing system进程仅通过发送和接收消息交互的分布式模型。与崩溃模型公理库崩溃故障Crash failure进程停止执行且此后不再采取步骤的故障。下，可靠广播分离一致交付和最终性公理库安全性与活性Safety and liveness · Correctness properties把系统正确性分为坏事永不发生与好事最终发生两类性质。。它只保证正确进程最终交付同一消息集合，不保证两条消息的全序、因果序或任何日志前缀关系；不同副本收到相同集合却按不同顺序应用，仍可能得到不同状态。

原子广播公理库原子广播Atomic broadcast · Total-order broadcast所有正确进程以同一总序交付广播消息。在可靠广播之上加入共同全序，并可进一步映射到复制日志公理库复制日志Replicated log · Replicated command log · Distributed log让多个副本维护一致已提交前缀并按索引应用命令的追加序列抽象。的 committed 序列。FIFO 或因果排序约束不同维度，不能从“可靠”一词推出；群通信协议必须按应用需要逐项叠加。