2019-07-14 CAP理论小结

CAP 定理又被称作布鲁尔定理，是加州大学伯克利分校的计算机科学家埃里克布鲁尔在2000年提出的一个猜想。2002年，麻省理工学院的赛斯吉尔伯托和南希林奇发表了猜想的证明，使之成为分布式计算领域公认的一个定理。
定义：在一个分布式系统（指互相连接并共享数据的节点的集合）中，当涉及读写操作时，只能保持一致性（ Consistence)、可用性（Availability)、分区容错性（ Partition Tolerence)三者中的两个，另外一个必须牺牲。
一致性：所有节点在同一时刻都能看到相同的数据；对某个指定的客户端来说，读操作保证能够返回最新的写操作结果。
可用性：非故障的节点在合理的时间内返回合理的数据（不是错误和超时的响应）。
分区容错性：当出现网络分区后，系统能够继续“履行职责”。
分布式系统理论上不可能选择CA架构，只能选择CP或者AP架构。原因：如果放弃P，当出现网络分区时，为了保证C，需要禁止写入，这与A冲突了。