Chandy-Lamport算法:分布式快照的确定全局状态