分布式理论之 CAP 定理（布鲁尔定理）

最新推荐文章于 2022-06-01 20:50:52 发布

Shang.Liang

最新推荐文章于 2022-06-01 20:50:52 发布

阅读量1.3k

点赞数

本文链接：https://blog.csdn.net/sl285720967/article/details/105692738

版权

分布式系统专栏收录该内容

2 篇文章 0 订阅

订阅专栏

1. 什么是 CAP 定理

2. 一致性（Consistency）

3. 可用性（Availability）

4. 分区容错性（Partition tolerance）

1. 什么是 CAP 定理

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

该定理指出一个分布式系统最多只能同时满足一致性（Consistency）、可用性（Availability）和分区容错性（Partition tolerance）这三项中的两项。

2. 一致性（Consistency）

A read is guaranteed to return the most recent write for a given client.

对某个指定的客户端来说，读操作保证能够返回「最新的写操作结果」。

3. 可用性（Availability）

A non-failing node will return a reasonable response within a reasonable amount of time (no error or timeout).

非故障的节点在合理的时间内返回「合理的响应不是错误和超时的响应」。

4. 分区容错性（Partition tolerance）

System continues to work despite message loss or partial failure.

当出现网络分区后，系统能够继续「履行职责」。

5. CAP 到底如何选

虽然 CAP 理论定义是三个要素中只能取两个，但放到分布式环境下来思考，我们会发现必须选择 P（分区容忍）要素，因为网络本身无法做到 100% 可靠，有可能出故障，所以分区是一个必然的现象。
如果我们选择了 CA 而放弃了 P，那么当发生分区现象时，为了保证 C，系统需要禁止写入，当有写入请求时，系统返回 error（例如，当前系统不允许写入），这又和 A 冲突了，因为 A 要求返回 no error 和 no timeout。因此，分布式系统理论上不可能选择 CA 架构，只能选择 CP 或者 AP 架构。