35、分布式系统中的共识变体：非阻塞原子提交、组成员管理与视图同步通信

分布式系统中的共识变体：非阻塞原子提交、组成员管理与视图同步通信

在分布式系统中，为了确保数据的一致性和系统的可靠性，我们需要解决一系列复杂的问题，如事务的原子提交、进程故障的检测与处理、系统成员的动态管理等。下面将详细介绍非阻塞原子提交、组成员管理和视图同步通信这三个重要的共识变体。

1. 非阻塞原子提交（Nonblocking Atomic Commit）

非阻塞原子提交（NBAC）抽象旨在可靠地解决事务的原子提交问题。每个代表数据管理器的进程需要就事务的结果达成一致，即提交（COMMIT）或中止（ABORT）事务。

1.1 基本概念

• 投票（Vote） ：每个进程根据其本地状态和对事务的看法，最初会提出一个投票值，要么是 COMMIT，要么是 ABORT。当进程提出 COMMIT 时，表示它愿意且能够提交事务，并已将事务的临时更新存储在稳定存储中，即使崩溃后恢复也能保证事务的一致性。而提出 ABORT 则表示该进程否决事务的提交。

1.2 规范

非阻塞原子提交抽象由 ⟨Propose | v ⟩ 和 ⟨Decide | v ⟩ 事件定义，其中 v 只能是 COMMIT 或 ABORT。它满足以下属性：
| 属性 | 描述 |
| ---- | ---- |
| NBAC1: 终止性（Termination） | 每个正确的进程最终都会做出决策 |
| NBAC2: 中止有效性（Abort - Validity） | 只有当某个进程提出 ABORT 或有进程崩溃时，进程才能决定 ABORT |
|