CAP理论和base模型

CAP定理：

在理论计算机科学中，CAP定理（CAP theorem），又被称作布鲁尔定理（Brewer’s theorem），它指出对于一个分布式计算系统来说，不可能同时满足以下三点：

一致性（Consistency)（所有节点在同一时间具有相同的数据）
可用性（Availability）（保证每个请求不管成功或者失败都有响应）
分隔容忍（Partition tolerance）（系统中任意信息的丢失或失败不会影响系统的继续运作）
根据定理，分布式系统只能满足三项中的两项而不可能满足全部三项。

cap理论也是目前分布式系统的基础理论之一

BASE模型

反ACID模型，完全不同ACID模型，base模型牺牲高一致性，获得可用性或可靠性：
Basically Available基本可用。支持分区失败(e.g. sharding碎片划分数据库)
Soft state软状态 状态可以有一段时间不同步，异步。
Eventually consistent最终一致，最终数据是一致的就可以了，而不是时时高一致。

base模型的实现之一是：在分布式系统中，如果一个请求处理失败，因为可能在处理的过程中有些数据修改事物已经被提交， 这个时候一般都会创建一个异步的任务，这个任务执行的worker会根据设计回滚数据，或者重新执行，来保证数据库中的数据最终一致性。