12、可靠广播算法解析

可靠广播算法解析

1. 统一可靠广播概述

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

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

2. 全确认统一可靠广播算法

该算法名为 “All-Ack Uniform Reliable Broadcast”，用于在故障停止模型中实现统一可靠广播。

Algorithm 3.4: All-Ack Uniform Reliable Broadcast
Implements:
UniformReliableBroadcast, instance urb.
Uses:
BestEff