34、分布式系统中的共识变体与非阻塞原子提交

分布式系统中的共识变体与非阻塞原子提交

1. 统一可靠广播（Uniform TRB）

统一可靠广播（Uniform TRB）的完整性属性直接源于尽力广播的无创建属性和共识的有效性属性。若一个进程 utrb - 交付了消息 m，那么要么 m = △，要么 m 是由进程 s 进行 utrb - 广播的。此外，统一共识的统一一致性属性也暗示了 TRB 的统一一致性属性。

在性能方面，该算法需要执行一个底层的统一共识实例，调用尽力广播原语来广播一条消息，并访问一个完美故障检测器。该算法不会增加这些原语的成本。在无进程故障且忽略故障检测器发送的消息的情况下，该算法交换 O(N) 条消息，并且除了统一共识原语外，初始的尽力广播还需要额外的一个通信步骤。

可以指定一种常规变体的 TRB，其具有常规一致性属性，仅涉及正确进程交付的消息。此时，当底层的统一共识抽象被常规共识抽象替代时，相应算法仍可用于实现常规 TRB。

2. 快速共识（Fast Consensus）

2.1 概述

共识原语在分布式编程中起着核心作用。许多共识算法会进行多轮消息交换的通信步骤，但在所有进程初始提议值相同的情况下，部分通信步骤可能是冗余的。如果进程能简单检测到它们的提议相同，就能更快达成共识。

快速共识抽象是一种特殊的共识抽象，当所有进程提议相同值时，必须在一轮内终止。这为共识算法引入了性能条件，要求每个进程在一次通信步骤后做出决策，但代价是降低了容错性。

2.2 规范

统一快速共识的规范如下：
| 模块 | 详细信息 |
| ---- | ---- |
|