4. 状态校验基础：状态机模型、一致性哈希、版本号机制

在多 Plane 原子提交场景中，状态校验是确保数据一致性与故障可恢复的核心防线。本章深入剖析支撑状态校验的三大基础理论：状态机模型定义系统行为的确定性，一致性哈希保障 Plane 间负载均衡与最小扰动，版本号机制提供并发控制与冲突检测的原子化手段。理解这三者，是掌握后续多 Plane 状态校验实战的基石。

4.1 状态机模型：确定性状态转换

KMS 原子提交中的每个 Plane 均可视为一个确定性有限状态机（DFS）。系统在任意时刻处于唯一状态，仅当接收到合法的外部事件（如提交请求、确认响应、超时信号）时，才按预定义规则转换到下一状态。这种模型保证了：

• 可复现性：给定相同的初始状态与事件序列，任何 Plane 都会经历完全相同的状态路径。
• 可验证性：通过比对 Plane 的当前状态与预期状态，可快速定位不一致节点。
• 故障隔离：异常 Plane 的状态转换会偏离标准路径，从而被校验机制捕获。

下图展示了一个简化的 KMS 原子提交状态机，包含三个核心 Plane 的协同状态转换：

4.2 一致性哈希：Plane 分布与最小扰动

在多 Plane 架构中，一致性哈希用于将数据分片（Shard）或请求均匀映射到各个 Plane 节点。与普通哈希不同，一致性哈希在 Plane 节点增减时，仅需迁移少量数据，极大降低了状态校验的复杂度。

一致性哈希的核心优势：

• 负载均衡：通过虚拟节点技术，使各 Plane 承载的键空间大小趋于一致。
• 最小数据迁移：当 Plane 加入或离开时，只有该节点在哈希环上的邻接数据需要重新分配。
• 可预测性：给定键和哈希环拓扑，任何 Plane 都能独立计算出该键的归属节点，无需中心化路由表。

下表对比了一致性哈希与普通哈希在 Plane 变更时的关键差异：

下图展示了一个包含 3 个物理 Plane 和 6 个虚拟节点的一致性哈希环结构：

4.3 版本号机制：并发控制与冲突检测

版本号机制是原子提交中实现乐观并发控制（OCC）的核心手段。每个数据项或状态记录都附带一个单调递增的版本号，每次更新操作必须携带当前版本号，并在提交时校验版本号是否匹配。若版本号冲突，则说明存在并发写入，当前操作必须回滚或重试。

版本号机制在 KMS 多 Plane 场景中的典型应用：

• 状态版本校验：每个 Plane 的状态变更都附带版本号，校验器比对所有 Plane 的版本号是否一致。
• 原子提交令牌：提交请求携带全局版本号，Plane 仅接受版本号大于等于当前值的请求。
• 故障恢复锚点：当 Plane 重启后，通过版本号可快速定位到最近一次一致状态，避免重复提交。

版本号冲突处理流程如下表所示：

下图展示了版本号在原子提交两阶段中的递增与校验过程：

4.4 三者协同：状态校验的完整链路

状态机模型、一致性哈希、版本号机制并非孤立存在，而是构成一个完整的校验闭环：

1. 一致性哈希 将请求路由到正确的 Plane 集合，确保校验范围最小化。
2. 状态机模型 定义每个 Plane 的合法状态序列，校验器据此判断 Plane 是否处于预期状态。
3. 版本号机制 提供细粒度的并发控制，确保状态转换的原子性和顺序性。

三者协同的典型校验流程如下：

• 步骤 1：客户端通过一致性哈希确定目标 Plane 列表。
• 步骤 2：向所有目标 Plane 发送 PREPARE 请求，携带当前全局版本号。
• 步骤 3：每个 Plane 校验自身状态机是否允许 PREPARE 转换，并检查版本号是否匹配。
• 步骤 4：校验器收集所有 Plane 的响应，比对状态和版本号是否一致。
• 步骤 5：若全部一致，则发送 COMMIT 指令，版本号递增；否则触发 ABORT 回滚。