NECESSARY AND SUFFICIENT CONDITIONS FOR CONSISTENT GLOBAL SNAPSHOTS

Authors
NETZER RHB XU J
Citation
Rhb. Netzer et J. Xu, NECESSARY AND SUFFICIENT CONDITIONS FOR CONSISTENT GLOBAL SNAPSHOTS, IEEE transactions on parallel and distributed systems, 6(2), 1995, pp. 165-169
Citations number
11
Categorie Soggetti
System Science","Engineering, Eletrical & Electronic","Computer Science Theory & Methods
Journal title
IEEE transactions on parallel and distributed systems → ACNP
ISSN journal
10459219
Volume
6
Issue
2
Year of publication
1995
Pages
165 - 169
Database
ISI
SICI code
1045-9219(1995)6:2<165:NASCFC>2.0.ZU;2-J
Abstract
Consistent global snapshots are important in many distributed applicat ions. We prove the exact conditions for an arbitrary checkpoint, or a set of checkpoints, to belong to a consistent global snapshot, a previ ously open problem. To describe the conditions, we introduce a general ization of Lamport's happened-before relation called a zigzag path.