简介

在分布式系统中，数据通常会被复制到多个节点上以提高可用性和性能。然而，当网络发生分区（节点之间无法通信）时，系统就面临一个根本性的抉择：是优先保证数据一致性（C），还是优先保证服务可用性（A）？这就是 CAP 定理 所揭示的核心矛盾。

CAP 定理由 Eric Brewer 于 1998 年提出，并在 2002 年由 Seth Gilbert 和 Nancy Lynch 正式证明。它指出：一个分布式系统不可能同时满足一致性（Consistency）、可用性（Availability）和分区容错性（Partition Tolerance）这三个特性，最多只能同时满足其中两个。