CAP 定理是什么？

Question

CAP 定理是什么？

Accepted Answer

**CAP 定理**指出，一个分布式系统最多只能同时保证三个特性中的**两个** — **一致性**（Consistency）、**可用性**（Availability）和**分区容错性**（Partition tolerance）。由于网络分区是不可避免的，实际的选择是在分区期间在一致性和可用性之间进行权衡。

## 三个特性

```text
CONSISTENCY (C) → every read sees the latest write (all nodes agree on the data)
AVAILABILITY (A) → every request gets a response (the system stays responsive)
PARTITION TOLERANCE (P) → the system keeps working despite network partitions
  (communication breaks between nodes)
→ CAP: you can only fully guarantee TWO of these three simultaneously.
```

## 真实的权衡：C vs A（P 是强制的）

```text
In distributed systems, network PARTITIONS WILL happen → P is NOT optional (you must
tolerate partitions) → so the real choice during a partition is C vs A:
  CP (consistency over availability) → during a partition, refuse requests that can't be
    consistent (sacrifice availability to keep data correct) — e.g. financial systems
  AP (availability over consistency) → during a partition, stay available but may return
    stale/inconsistent data (eventual consistency) — e.g. social feeds, many NoSQL stores
→ choose based on whether CONSISTENCY or AVAILABILITY matters more for the use case.
```

## 细微差别与实践

```text
→ CAP is about behavior DURING a partition (normally you can have both C and A)
→ It's not strictly binary → many systems offer TUNABLE consistency (per-operation choices)
→ Related: EVENTUAL CONSISTENCY (AP systems converge to consistency over time)
→ Understand the trade-off to choose databases/designs appropriately
```

## 为什么这很重要

理解 CAP 定理很重要，因为它是**分布式系统的基础概念**，框架化了一个关键的权衡，因此是重要的系统设计知识。

CAP 定理——一个分布式系统最多只能同时保证一致性、可用性和分区容错性中的两个——捕捉了分布式系统中的一个基本约束。

理解**三个特性**（一致性：读取看到最新的写入；可用性：每个请求都得到响应；分区容错性：在网络分区下继续工作）是基础。

最重要的是，理解**真实的权衡**是关键的实际洞察：由于**网络分区在分布式系统中是不可避免的**（P 是强制的），分区期间的实际选择是在**一致性和可用性**之间 — **CP 系统**牺牲可用性以在分区期间保持数据正确（适合金融系统，其中正确性至关重要），而 **AP 系统**保持可用但可能返回陈旧数据（最终一致性，适合社交提要和许多 NoSQL 存储，其中可用性更重要）。

理解这种 C vs A 的权衡，并根据用例中一致性或可用性哪个更重要来选择，对于设计分布式系统和适当选择数据库至关重要。

理解**细微差别** — CAP 涉及分区期间的行为（通常可以同时具有 C 和 A），它不是严格的二元论（许多系统提供可调整的一致性），以及相关的最终一致性概念 — 反映了超越简化版本的复杂理解。

CAP 是一个基础概念，在分布式系统设计和数据库选择中经常被引用。

由于 CAP 定理框架化了分布式系统中的一个基本权衡（分区期间的一致性 vs 可用性），这影响了系统设计和数据库选择，并且由于理解这些特性、真实的 C vs A 权衡和细微差别对于设计分布式系统很重要，理解 CAP 定理是有价值的、实际相关的系统设计知识 — 一个基础分布式系统概念，框架化了一致性-可用性权衡，对于设计分布式系统和选择数据库很重要，也是系统设计中经常被引用的概念，反映了对分布式系统约束的理解。