The Community for Technology Leaders
Green Image
<p><it>Abstract—</it>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 happened-before relation called a <it>zigzag path</it>.</p><p><it>Index Terms—</it>Causality, global checkpoints, distributed systems, consistent global states, Lamport's happened-before relation.</p>
Jian Xu, Robert H. B. Netzer, "Necessary and Sufficient Conditions for Consistent Global Snapshots", IEEE Transactions on Parallel & Distributed Systems, vol. 6, no. , pp. 165-169, February 1995, doi:10.1109/71.342127
94 ms
(Ver 3.3 (11022016))