Distributed snapshots: determining global states of distributed systems

Chandy and Lamport, ACM TOCS 1985 SummaryThe main idea of the paper is to determine the consistent global state of the asynchronous system and ascertain whether a stable property holds for that state. The author presents a marker-based algorithm in w...