CAP定理
一致性（Consistency）
在分布式环境中，一致性是指数据在多个副本之间是否能够保持一致性的特性。
可用性（Availability）
可用性是指系统提供的服务必须一直处于可用的状态，对于用户的每一个操作请求总是能够在有限的时间内返回结果。
分区容错性（Partition tolerance）
分布式系统在遇到任何网络分区故障时，仍然需要能够保证对外提供满足一致性和可用性的服务，除非是整个网络环境都发生了故障。
BASE理论
基本可用（Basically Available）
在不可预知故障的时候，允许损失部分可用性，如响应时间或功能上的损失。
软状态（Soft state）
允许系统中的数据存在中间状态，并认为该中间状态的存在不会影响系统的整体可用性，即允许在不用节点的数据副本之间进行数据同步的过程存在延时。
最终一致性（Eventually consistent）
系统中的所有副本，在经过一段时间的同步后，最终能够达到一个一致的状态。