Chandy-lamport算法 (分布式快照理论)

1. 分布式系统模型

分布式系统可以抽象为由有限的precess集合和有限的channel集合构成，如下图所示。

其中, 有向图代表分布式系统，顶点代表process，边代表channel。
一个process由一个状态（state）集合、一个初始状态和一个事件（event）集合构成。一个事件（event）e 是一个原子操作，它能够改变process本身的状态，以及最多一个channel的状态（channel收到新的message改变状态，或者channel发送message后改变状态）。

我们可以用一个五元组$e=<p,s,s^{\prime },M,c$