12、可靠广播与相关算法详解

可靠广播与相关算法详解

1. 统一可靠广播概述

统一可靠广播（Uniform Reliable Broadcast）是一种重要的广播机制，其模块名为 UniformReliableBroadcast ，实例为 urb 。它包含以下事件：
- 请求事件 ： ⟨urb, Broadcast | m ⟩ ，用于将消息 m 广播到所有进程。
- 指示事件 ： ⟨urb, Deliver | p, m ⟩ ，用于交付由进程 p 广播的消息 m 。

其具有以下属性：
| 属性编号 | 属性名称 | 属性描述 |
| ---- | ---- | ---- |
| URB1 - URB3 | 与常规可靠广播属性相同 | 同规则可靠广播（Regular Reliable Broadcast）的 RB1 - RB3 属性 |
| URB4 | 统一一致性 | 如果某个进程（无论正确或故障）交付了消息 m ，那么每个正确的进程最终都会交付该消息 |

2. 故障停止算法：全确认统一可靠广播

“Lazy Reliable Broadcast” 和 “Eager Reliable Broadcast” 算法无法确保统一一致性，因为进程可能在交付消息后崩溃，导致消息无法到达其他进程。而 “All - Ack Unif