架构篇22：CAP理论-布鲁尔定理（Brewer‘s theorem）

星猿杂谈

于 2024-01-24 16:03:50 发布

阅读量810

点赞数 10

CC 4.0 BY-SA版权

分类专栏：软件架构文章标签：架构负载均衡算法

本文链接：https://blog.youkuaiyun.com/lejun_wang1984/article/details/135824871

软件架构专栏收录该内容

50 篇文章 ¥19.90 ¥99.00

订阅专栏

超级会员免费看

CAP理论，又称布鲁尔定理，是分布式系统设计的基础。该理论指出，在网络分区的情况下，系统必须在一致性、可用性和分区容错性中做出权衡。本文深入探讨了CAP的定义、差异及在实际应用中的选择，揭示了在分布式环境中，系统通常必须牺牲一致性或可用性来确保分区容错性。

摘要生成于 C知道，由 DeepSeek-R1 满血版支持，前往体验 >

文章目录

CAP 定理（CAP theorem）又被称作布鲁尔定理（Brewer’s theorem），是加州大学伯克利分校的计算机科学家埃里克·布鲁尔（Eric Brewer）在 2000 年的 ACM PODC 上提出的一个猜想。2002 年，麻省理工学院的赛斯·吉尔伯特（Seth Gilbert）和南希·林奇（Nancy Lynch）发表了布鲁尔猜想的证明，使之成为分布式计算领域公认的一个定理。对于设计分布式系统的架构师来说，CAP 是必须掌握的理论。

布鲁尔在提出 CAP 猜想的时候，并没有详细定义 Consistency、Availability、Partition Tolerance 三个单词的明确定义，因此如果初学者去查询 CAP 定义的时候会感到比较困惑，因为不同的资料对 CAP 的详细定义有一些细微的差别，例如：

Consistency: where all nodes see the same data at the same time.

Availability: which guarantees that every request receives a response about whether it succeeded or failed.

Partition tolerance: where the syste