Necessary and sufficient conditions for consistent global snapshots
Netzer, R.H.B.; Jian Xu
Parallel and Distributed Systems, IEEE Transactions on
Volume 6, Issue 2, Feb 1995 Page(s):165 - 169
Digital Object Identifier 10.1109/71.342127
Summary: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
View citation and abstract |