拜托，请不要再曲解CAP定理

参考文章

CAP theorem - Wikipedia
Please stop calling databases CP or AP
ACID - Wikipedia
Eventual_consistency - Wikipedia
CAP和BASE理论

前言

特定理论的英文缩写一向是程序员装逼最趁手的工具， 两个程序员交流时， 如果一方想要抛出一个自己了解过的高级概念并试探性地进行智商碾压时， 必然要在谈吐间夹带一些英文字母， 并暗示你， 如果你没听过这个英文缩写， 就快点接受我的观点。

CAP, BASE 就是上述的装逼利器之一， 而且有点烂大街。 很多程序员甚至不屑于过多使用它们， 因为他们仿佛是分布式系统的最容易掌握的入门知识点。

遗憾的是， 很多人为了满足装逼需求， 只是粗浅地翻阅一些网络博文， 对这几个概念没有准确理解， 就夸夸奇谈。本文旨在帮助有兴趣的初学者， 正确而清晰地掌握这几个并不粗浅的概念及其关联的其他知识点。如下两个误解可供读者检验是否有必要阅读本文。

CAP 定理误用一

在分布式系统设计中， 必须选择性放弃C、A、P 三种性质中的一种（错误！！！）

CAP 定理误解二

设计系统时， 我们要么追求设计一个 CP 系统， 要么追求设计一个 AP 系统（不准确）

CAP 定理（不建议称为 CAP 理论）

首先值得强调的是， CAP, ACID, BASE 这三个常常关联出现的英文缩写中， CAP 的地位是最高的， 只有 CAP 可以称作定理（Therom）， 没错， 就是数学含义的定理， 它是指受逻辑限制的证明为真的陈述， 几乎不容反驳， 除非你推翻定理证明的前置定理和基本的逻辑学。 所以这里强烈建议读者看到 CAP， 就将其称为定理， 而非一种理论， 因为不是所有的理论都被严格证明为真。

CAP 定理最先是2002年由加州伯克利分校的 Eric Brewer 提出的一个猜想， 而这一猜想的证明，是2年之后由麻省理工学院的 Seth Gilbert 和 Nancy Lynch 证明的， 光是这一点就足以说明这一定理并不是一个简单的概念。

CAP 定理的出现就像一盏明灯， 在茫茫的学术海洋中， 为众多探索者指明了清晰的方向， 避免了很多不必要的尝试与研究

它的结论非常简单： 一个分布式系统不可能同时满足 C, A, P 这三个字母分别描述的三个属性， 只能满足其中两个。

上面这个部分， 几乎所有知道这个概念的人， 都能正确背诵，但是很多人都不能准确的描述 C, A, P 每个英文字母所代表的含义。 要知道一个数学定理的概念定义一定是非常精确的， 含义的轻微修改都可能导致定理的失效， 以致于