分布式系统一致性（ACID、CAP、BASE、二段提交、三段提交、TCC、幂等性）原理详解