CAP理论

Brewer[2000]提出了下列理论，后来由Gilbert and Lynch[2002]加以证明：一个分布式共享数据系统最多同时满足下列三个属性中的两种：

一致性（C）

可用性（A）

网络分区容忍性（P）

该理论就是著名的CAP理论。一般情况下，大规模云数据中心的分布式系统需要支持分区，以便能够处理大规模操作。此时，在进行网络划分的过程中，根据CAP理论的要求，就需要在一致性和可用性之间做出选择。传统的数据库系统选择一致性，而一些最新出现的数据存储系统，如键-值存储系统，比较偏爱可用性。Brewer[2012]对CAP理论的其他分支进行了评估，并对该理论中的任意两个方面的细微差别进行了详细描述。在分区故障不经常出现的情况下，可以设计一种大部分时间内兼顾一致性和可用性的系统。但是，当分区故障发生时，就需要采取一定的策略去检测分区，并开发最合适的策略对这种情况加以处理。另一个需着重强调的重要方面是延迟与分区之间的重要关系，分区归因于超时，因此，从使用的观点来看，分区故障是有时间限制的。Gilbert and Lynch [2012]对该问题进行了进一步的详细描述，CAP理论被认为是对不可靠分布式系统中安全性和活跃性之间进行均衡的一种描述，这与出现故障的异步系统中不可能存在分布式一致性有密切关系[Fischer et al., 1983]。