分布式系统概念和设计——（事务与并发控制）