4. 一致性复核目标：数据完整性校验、Raft日志一致性检查、成员变更后的Quorum验证

一致性复核是集群在经历故障域划分或资源变更后，验证 etcd 数据面与控制面是否仍满足分布式一致性契约的核心步骤。本章围绕三个递进的目标展开：数据完整性确保存储层未发生静默损坏；Raft 日志一致性确认各节点日志流无分歧；成员变更后的 Quorum 验证保证集群的容错边界符合预期。

4.1 数据完整性校验

数据完整性校验关注的是 etcd 后端存储（boltdb）中 key-value 数据的物理与逻辑正确性。常见风险包括磁盘静默损坏、操作系统缓存回写异常、以及 etcd 版本升级时的数据格式迁移错误。

4.2 Raft 日志一致性检查

Raft 日志一致性是 etcd 一致性的核心保障。检查的目标是确认集群中所有节点的日志条目在相同 Term 和 Index 位置上内容完全一致，不存在日志分歧（Log Divergence）。

# 检查所有节点的当前日志提交索引
etcdctl endpoint status --cluster -w table

# 输出示例（重点关注 Raft Term 和 Raft Index 列）
+----------------+------------------+---------+---------+-----------+------------+-----------+------------+--------------------+--------+
|    ENDPOINT    |        ID        | VERSION | DB SIZE | IS LEADER | RAFT TERM  | RAFT INDEX | RAFT APPLIED INDEX | LEARNER | ERRORS |
+----------------+------------------+---------+---------+-----------+------------+-----------+--------------------+---------+--------+
| 10.0.1.1:2379  | 8e9e05c52164694d |  3.5.15 |  25 MB  |     true  |        102 |      5000 |               5000 |   false |        |
| 10.0.1.2:2379  | 8e9e05c52164694e |  3.5.15 |  25 MB  |    false  |        102 |      5000 |               5000 |   false |        |
| 10.0.1.3:2379  | 8e9e05c52164694f |  3.5.15 |  25 MB  |    false  |        102 |      5000 |               5000 |   false |        |
+----------------+------------------+---------+---------+-----------+------------+-----------+--------------------+---------+--------+

当所有节点的 Raft Term 和 Raft Index 完全一致时，说明日志流已收敛。若出现不一致，需进一步通过 etcdctl snapshot save 导出各节点快照进行逐条目比对。

4.3 成员变更后的 Quorum 验证

成员变更（添加/移除节点）会直接改变集群的 Quorum 大小。Quorum 验证的目标是确认变更后的集群在法定节点数下仍能正常选举和提交，且变更过程中未出现脑裂或双主。

4.3.1 Quorum 计算与验证公式

4.3.2 成员变更验证步骤

1. 确认成员列表：执行 etcdctl member list -w table，确保成员 ID 和地址与预期一致。
2. 验证 Leader 选举：手动停止当前 Leader 节点，观察集群是否能在 --election-timeout 内选出新 Leader。
3. 验证写入可用性：在新 Leader 上执行 etcdctl put testkey testvalue，确认写入成功且所有存活节点同步。
4. 验证故障容忍边界：模拟故障节点数达到 Quorum-1，确认集群仍可读；再增加一个故障节点，确认集群进入只读或不可用状态。

4.4 一致性复核清单

以下清单可作为资源变更后的标准操作流程（SOP）参考：

• 数据完整性：执行 etcdctl check data，确认无损坏。
• 日志一致性：对比所有节点的 Raft Term 和 Raft Index，确认完全一致。
• 成员列表：执行 etcdctl member list，确认节点数量与预期一致。
• Quorum 验证：模拟故障，确认集群在 Quorum-1 故障下仍可写入。
• 快照恢复测试：从快照恢复一个临时节点，验证数据与现有集群一致。