(翻译) CAP 理论 FAQ

Python微信订餐小程序课程视频

https://edu.csdn.net/course/detail/36074

Python实战量化交易理财系统

https://edu.csdn.net/course/detail/35475

CAP 理论 FAQ

0. 关于这个文档

没有其它比CAP理论更引人注意的话题了, 这个FAQ的目的, 是说明对于CAP, 当前哪些是已知的, 并帮助那些刚接触这个理论的人快速了解, 并解决一些错误的观念和常见的误解.

当然, 很可能我的认知是肤浅甚至完全错误的, 欢迎任何评论和纠正.

1. CAP理论的来源是什么?

Eric Brewer 博士在2000年的 Principles of Distributed Computing 会议上作了一个报告, 标题是"Towards Robust Distributed Systems", 在这个报告中, 他提出了CAP 理论 - 那时候这个理论还未被证明 - 描述了在分布式系统中一致性和可用性之间的矛盾.

两年后, 在MIT研究分布式系统的 Seth Gilbert 和 Nancy Lynch 教授在他们的论文“Brewer’s conjecture and the feasibility of consistent, available, partition-tolerant web services”中证明了CAP理论.

2. CAP理论到底说了什么?

CAP定理(以下简称 CAP)指出, 在异步网络中实现的读写存储, 不可能同时满足以下三个特性:

1. 可用性 - 是否对于数据存储的每个请求都会成功执行?
2. 一致性 - 对于数据的读写执行, 是否从每个分布式节点所观察到的都是一致的, 或者是可线性化一致的?
3. 隔离容忍性 - 分布式系统之间的通信是否允许丢失任意消息?

更通俗地说, CAP定理告诉我们, 无法建立一个既能响应每个请求又能每次都返回预期结果的分布式存储系统. 这是一个不可能的结果, 它告诉我们, 我们在努力尝试的目标实际上是不可实现的. 这很重要, 因为过去几年已经建立和正在建立的许多分布式系统都会受到这个理论的影响. 但它并不意味着我们不能在这些限制下建立有用的系统. 细节是魔鬼, 在你开始"是的, 但是…"之前, 确定自己已经明白什么是CAP理论允许和不允许的.

3. 什么是 ‘读写存储’?

CAP理论特别关注的一种结构, 叫 register, 即嵌入式领域中的寄存器.