10.5.3 确定分布式系统的全局状态