分布式系统一致性原理与解决方案（ACID、CAP、BASE）