Necessary and sufficient conditions for consistent global snapshots
Netzer, R.H.B.
Jian Xu
Dept. of Comput. Sci., Brown Univ., Providence, RI ;
This paper appears in: Parallel and Distributed Systems, IEEE Transactions on
Publication Date: Feb 1995
Volume: 6,
Issue: 2
On page(s): 165-169
ISSN: 1045-9219
References Cited: 11
CODEN: ITDSEO
INSPEC Accession Number: 4888965
Digital Object Identifier: 10.1109/71.342127
Current Version Published: 2002-08-06
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
Index
Terms
Available to subscribers and IEEE members.
References
Available to subscribers and IEEE members.
Citing Documents
Available to subscribers and IEEE members.
Cart
