分布式事务和高可用系统