CAP定理（CAP Theorem）

分布式数据系统在网络分区发生时，无法同时保证完全的一致性（C）与可用性（A）；需在取舍中设计。常被简化为 CA/CP/AP 标签，实际是分区下的权衡框架。

解释多节点复制在故障模式下不可能「既完全一致又始终可写可读」。

多活/跨区架构评审、复制与仲裁配置、产品一致性文案。

分区出现时：在一致性与可用性之间权衡（精确表述依 CAP 语境）

• 先定义业务要的 C（线性一致？因果？）与可接受不可用。
• 分区时明确：拒绝写、只读、或接受分叉后合并。
• 不要把 CAP 当日常无分区时的性能借口。

• 无分区时 C 与 A 可同时追求。
• 「选 AP」仍可能有会话一致等中间模型。

CAP vs PACELC（无分区时 latency vs consistency）；CAP vs ACID。

三分法标签过度简化真实系统连续谱。

Brewer CAP；后续澄清文章与 PACELC。

• 一致性 / 可用性 / 分区容忍：三个字母
• 最终一致性：分区下常见取向
• 分布式系统：定理语境