16、可靠广播与拜占庭广播通道技术解析

可靠广播与拜占庭广播通道技术解析

1. 可靠广播算法特性

可靠广播算法中，故障进程可能引入与消息 m 内容不同的 READY 消息。从 f + 1 到 2f + 1 个 READY 消息的放大步骤确保了整体属性。若某个正确进程 bcr - 交付 消息 m ，则至少 f + 1 个正确进程发送了包含 m 的 READY 消息，最终所有正确进程都会 bcr - 交付 消息 m 。

该算法有三个通信步骤，其中两个是全对全的消息交换，广播一条消息总共使用 $O(N^2)$ 个点对点消息，且仅使用可通过消息认证码（MAC）实现的认证链接抽象，无需计算量大的数字签名。

2. 拜占庭广播通道概述

此前介绍的任意故障模型的广播抽象最多只能交付一条消息，而崩溃停止进程的广播抽象支持任意数量的消息。接下来介绍的拜占庭广播通道抽象也能交付多条消息，相当于崩溃停止进程的可靠广播抽象。

2.1 规格说明

拜占庭广播通道允许每个进程通过触发 ⟨Broadcast⟩ 事件来广播消息，交付消息时会提供发送进程 p 的名称和标签 ℓ ，标签可用于区分消息的不同角色。当通道生成 ⟨Delive