Necessary and sufficient conditions for consistent global snapshots
Robert H. B. Netzer, Jian Xu · IEEE Transactions on Parallel and Distributed Systems · 1995
Consistent global snapshots are important in many distributed applications. We prove the exact conditions for an arbitrary checkpoint, or a set of checkpoints, to belong to a consistent global snapshot, a previously open problem. To describe the conditions, we introduce a generalization of Lamport's (1978) happened-before relation called a zigzag path.>