分布式事务处理的四个特性