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

1. 分布式系统模型 分布式系统能够抽象为由有限的precess集合和有限的channel集合构成，以下图所示。 其中, 有向图表明分布式系统，顶点表明process，边表明channel。 一个process由一个状态（state）集合、一个初始状态和一个事件（event）集合构成。一个事件（event）e 是一个原子操做，它可以改变process自己的状态，以及最多一个channel的状态（c

>>阅读原文<<