PACELC 定理

定义

PACELC 由 Daniel Abadi 于 2012 年正式提出，是对 CAP 定理的扩展：当发生网络分区（P）时，系统需在可用性（A）与一致性（C）间取舍；否则（Else），系统需在延迟（L）与一致性（C）间取舍。

意义

CAP 只描述分区这一异常场景，而 PACELC 指出即使网络正常，强一致性也必然带来跨副本同步的延迟开销，这是日常运行中更普遍的权衡。

典型分类

按 PACELC 记法，Amazon Dynamo 类系统属于 PA/EL（偏可用与低延迟）；Google Spanner、传统强一致数据库属于 PC/EC（偏一致）；MongoDB 常被归为 PA/EC。该框架帮助架构师更完整地评估分布式数据库的设计取向，比单用 CAP 分类更贴近工程现实。