Database Design

PACELC Theorem

CAP 的扩展：latency vs consistency

PACELC theorem 是 CAP 的扩展。CAP 认为：在发生网络 partition（P）时，分布式系统必须在 Availability (A) 与 Consistency (C) 之间二选一。

PACELC 进一步引入 latency (L)：即使没有 partition、系统正常运行（Else, E），也需要在 latency (L) 与 consistency (C) 之间做取舍。

PACELC theorem 最早由 Daniel J. Abadi 描述。

pacelc-theorem

PACELC 是为了解决 CAP 的一个关键局限：CAP 没有考虑 performance 或 latency。

举个例子，根据 CAP，只要 query 30 天后还能返回结果，系统仍算 available。但这种 latency 在真实应用里显然不可接受。