Chandy-lamport算法 (分佈式快照理論)

1. 分佈式系統模型 分佈式系統能夠抽象爲由有限的precess集合和有限的channel集合構成，以下圖所示。 其中, 有向圖表明分佈式系統，頂點表明process，邊表明channel。 一個process由一個狀態（state）集合、一個初始狀態和一個事件（event）集合構成。一個事件（event）e 是一個原子操做，它可以改變process自己的狀態，以及最多一個channel的狀態（c

>>阅读原文<<