CAP理论
Cap理论又被称作布鲁尔定理(Brewer's theorem),它指出对于一个分布式系统来说,不可能同时满足如下三点:
-
一致性(Consistency)
-
可用性(Availability)
-
分区容错性(Partition tolerance)(以实际效果而言,分区相当于对通信的时限要求。系统如果不能在时限内达成数据一致性,就意味着发生了分区的情况,必须就当前操作在C和A之间做出选择。)
-
一致性
所谓一致性,指的是数据的一致性,在一个分布式数据库系统中,所有集群节点都保持同一份最新数据副本,所有客户端同一时刻访问同一个数据都将是一致的,即“all nodes see the same data at the same time”。
如果所有客户端能时刻看到一致的数据,不存在中间状态,这个叫强一致性。如果允许存在中间状态,经过一段时间数据达到一致性,这个叫最终一致性,或说弱一致性,后面的BASE理论将介绍最终一致性。
-
可用性
可用性是指系统