可靠广播

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

在崩溃模型中，一种 eager 转发协议为每条消息保存唯一实例标识。首次收到消息时，节点安排向所有节点转发，并向本地应用交付；这里先只要求正确节点最终完成转发，不假定全部发送与交付是一个不可中断步骤。重复收到同一标识则忽略。若发送者 A 只把消息发给 B 就崩溃，而 B 正确，那么 B 最终完成转发，C、D 随后收到并交付。这证明的是“某个正确节点交付后，其他正确节点最终交付”的 non-uniform 一致性。

证明依赖正确转发者持续取步，且已发送给正确节点的消息最终送达；若只有公平丢包信道，则一次发送不够，要持续重传直到相应确认。不能一面允许永久丢失，一面仅靠单次转发推出最终交付。

Uniform 版本必须检查本地交付发生在何种证据之后。若 B 先交付，再只向 C 发出消息就崩溃，而 C 也在继续传播前崩溃，所有存活节点可能永远得不到消息，non-uniform 前件不成立，却已经违反 uniform agreement。若模型把“向所有人转发”拆成可中断的多步，必须完成足够的传播或取得协议规定的确认后才交付；不能在伪代码中把一条 send-to-all 默认为不会中断的原子广播。

发送者若可拜占庭式地向 B 发 $x$、向 C 发 $y$，简单转发加本地去重仍可能让两人各自交付先到的不同值。解决它需要 Byzantine reliable broadcast 的回声、阈值或认证机制。即使可靠广播保证共同消息集合，B 先交付 $x,y$、C 先交付 $y,x$ 仍是允许的，排序由更强原语承担。

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

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