Title :
Necessary and sufficient conditions for consistent global snapshots
Author :
Netzer, Robert H B ; Xu, Jian
Author_Institution :
Dept. of Comput. Sci., Brown Univ., Providence, RI, USA
fDate :
2/1/1995 12:00:00 AM
Abstract :
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
Keywords :
fault tolerant computing; parallel programming; program debugging; system recovery; causality; checkpoint; consistent global snapshots; consistent global states; distributed applications; global checkpoints; happened-before relation; zigzag path; Computational modeling; Computer science; Concurrent computing; Contracts; Debugging; Distributed computing; Fault tolerance; Sufficient conditions;
Journal_Title :
Parallel and Distributed Systems, IEEE Transactions on
