PACELC 扩展模型

PACELC 补齐 CAP 的空白:发生分区时在可用性 A 与一致性 C 之间取舍,否则(Else)在延迟 L 与一致性 C 之间取舍;说明无分区时一致性的代价主要是延迟。

读法

读法
if 分区(P): 在 A 与 C 之间取舍
else(E):  在 L 与 C 之间取舍

示例:Dynamo 风格 = PA/EL;多数强一致数据库 = PC/EC 或 PC/EL
跨地域部署时 EL 侧常被忽略:即使网络正常,跨区域强一致也要付出往返延迟。

易错点

  • 只讨论分区场景,忽略正常运行时的跨副本延迟成本
  • 跨地域强一致未评估物理往返时间,性能目标无法达成

数据来源与参考

  • Daniel Abadi《Consistency Tradeoffs in Modern Distributed Database System Design》(IEEE Computer, 2012)
​‌‌​​‌​​​‌‌​‌‌‌‌​‌‌​​​‌‌​‌‌‌​​‌‌​​‌​‌‌‌​​‌‌‌​​​‌​‌‌​‌​​‌​‌‌‌​​​‌​‌‌​‌​​‌​‌‌​​​‌‌​‌‌‌​‌​​​‌‌​‌‌‌‌​​‌​‌‌‌​​‌‌​​​‌‌​‌‌​‌‌‌‌​‌‌​‌‌​‌