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