CAP 定理是加州大学伯克利分校的计算机科学家埃里克·布鲁尔(Eric Brewer)在 2000 年的 ACM PODC 上提出的一个猜想。2002 年,麻省理工学院的赛斯·吉尔伯特(Seth Gilbert)和南希·林奇(Nancy Lynch)发表了布鲁尔猜想的证明,使之成为分布式计算领域公认的一个定理。
对于设计分布式系统的架构师来说,CAP 是必须掌握的理论。
在一个分布式系统(指互相连接并共享数据的节点的集合)中,当涉及读写操作时,只能保证一致性(Consistence)、可用性(Availability)、分区容错性(Partition Tolerance)三者中的两个,另外一个必须被牺牲。
C:一致性(Consistency)
对某个指定的客户端来说,读操作保证能够返回最新的写操作结果。
第一版的解释“所有的节点在同一时刻都能看到相同的数据”是不严谨的。而第二版强调 client 读操作能够获取最新的写结果就没有问题,因为事务在执行过程中,client 是无法读取到未提交的数据的,只有等到事务提交后,client 才能读取到事务写入的数据,而如果事务失败则会进行回滚,client 也不会读取到事务中间写入的数据。
A:可用性(Availability)
非故障的节点在合理的时间内返回合理的响应(不是错误和超时的响应)。
P:分区容忍性(Partition Tolerance)
当出现网络分区后,系统能够继续“履行职责”。(能否正常工作)
解释一下分区容忍性:
一个分布