为什么在分布式环境下CAP三者不可兼得?对此问题可作棋盘推演,这样问题的关键转换为:假设存在网络分区的情形,若已获得P,即容忍网络分区的存在,那么C和A是否能够兼得。
能够分为两种情形来进行进一步推演。
情形一:若是在这个分布式系统中数据无副本,那么系统必然知足强一致性条件,由于只有独本数据,不会出现数据不一致的可能。此时C和P两要素具有,可是若是系统发生了网络分区情况或者机器宕机,必然致使某些数据不可访问,此时可用性条件是不能被知足的,即在此情形下得到了CP系统,但CAP不可同时知足。
情形二:若是系统中数据有副本(见图2-2),假设变量x存在两份副本并分别存储在不一样机器上,最初数据保持一致,其值都为v1。在Time=t1的时刻,在机器1上发生对x的数值更新操做,此操做要将x的值赋为v2。时间推移到Time=t2时刻,机器1上的x已经被赋予新值v2,若是此时未发生网络分区情况,系统能够将x的新值v2同步到机器2,达到数据一致性要求。可是若是此时发生了网络分区致使两台机器没法通讯,那么没法将x的新值同步到机器2,这个时刻咱们不得不在C或A之间作个权衡和选择。若是但愿系统高可用(选择A),那么对于读取机器2上的x的查询请求必须在限定时间内返回值,此时返回的并不是是最新的值v2,因此出现了数据不一致的问题(抛弃C)。若是选择强一致性(选择C),那么在两台机器恢复通讯并将数据同步到一致状态前,对于机器2的x读请求必须予以拒绝,此时没法保证系统的可用性(抛弃A)。因此不论选择哪个,必然以牺牲另一个因素做为代价,也就是说要么AP,要么CP,可是没有完美的CAP。网络