#CAP 与 BASE 理论

2000 年，Eric Brewer 在 PODC（分布式计算Principles of Distributed Computing）大会上提出了一个后来被命名为 CAP 定理的猜想。两年后，麻省理工的 Seth Gilbert 和 Nancy Lynch 提供了严格的数学证明，CAP 定理从此成为分布式系统领域最重要的理论基础之一。

很多人以为自己理解了 CAP——「一致性、可用性、分区容忍性，三选二」。但真正面试时才发现，这个看似简单的表述背后隐藏着大量误解和细节。CAP 不是让你三选二，而是告诉你：在网络分区发生时，一致性和可用性不可兼得。

本模块将系统讲解 CAP 定理的正确理解方式、BASE 理论作为 CAP 的实际工程妥协，以及 ZooKeeper、Eureka、Redis 等知名系统是如何在 CAP 框架下做技术选型的。