深入理解分布式事务一致性

##分布式事务一致性

CAP，BASE理论，到一致性模型，再到分布式事务。

BASE理论

基本可用（Basically Available）：指分布式系统在出现故障时，允许损失部分的可用性来保证核心可用。
软状态（Soft State）：指允许分布式系统存在中间状态，该中间状态不会影响到系统的整体可用性。
最终一致性（Eventual Consistency）：指分布式系统中的所有副本数据经过一定时间后，最终能够达到一致的状态。

一致性模型

强一致性，弱一致性，最终一致性。

分布式事务

引入新概念：协调者和众多参与者    

二阶段提交：
    Prepare commit/rollback 两个阶段。Prepare第一个阶段协调者监控各个参与者是否可以提交。参与者会为当前事务提前锁定资源等动作，
    如果所有参与者可以提交/不可提交，进入第二阶段commit/rollback，这里有个问题，如果协调者故障接收不到参与者给的消息，就不能进入
    第二阶段，导致一直block，资源一直被锁定。
三阶段提交：
    三阶段提交多了CanCommit和超时机制，其实就是参与者如果超时会自动commit,解决了参与者长时间等待不到协调者的消息不会一直锁住资源
    问题，但是却没有解决不一致问题。协调者如果能支持基于CP的高可用也能解决。但是性能