CAP,分布式事务