3.1.2 分布式一致性理论