Finding consistent global checkpoints in a distributed computation

IEEE Transactions on Parallel and Distributed Systems

Volumn 8, Issue 6, 1997, Pages 623-627

  Manivannan, D ^a,b   Netzer, Robert H B ^a,c   Singhal, Mukesh ^a,b  

^a IEEE   (United States)

^b OHIO STATE UNIVERSITY   (United States)

^c Brown Univerity   (United States)

Author keywords

Causality; Consistent global states; Distributed checkpointing; Failure recovery; Fault tolerance

Indexed keywords

ALGORITHMS; COMPUTATION THEORY; COMPUTER SYSTEM RECOVERY; FAULT TOLERANT COMPUTER SYSTEMS; PARALLEL PROCESSING SYSTEMS;

CAUSALITY; CONSISTENT GLOBAL CHECKPOINTS; DISTRIBUTED CHECKPOINTING; DISTRIBUTED COMPUTATION; LOCAL CHECKPOINTS;

DISTRIBUTED COMPUTER SYSTEMS;

EID: 0031162195     PISSN: 10459219     EISSN: None     Source Type: Journal    
DOI: 10.1109/71.595580     Document Type: Article

References (20)

1. O. Babaoglu and K. Marzullo, "Consistent Global States of Distributed Systems: Fundamental Concepts and Mechanisms," Distributed Systems, S. J. Mullender, ed., pp. 55-96. Addison-Wesley, 1993.
2. R. Baldoni, J.M. Helary, A. Mostefaoui, and M. Raynal, "Characterizing Consistent Checkpoints in Large-Scale Distributed Systems," Proc. Fifth IEEE Int'l Conf. Parallel and Distributed Computing, pp. 314-323, Chejiu Islands, South Korea, Aug. 1995.
3. R. Baldoni, J.M. Helary, A. Mostefaoui, and M. Raynal, "Consistent Checkpoints in Message Passing Distributed Systems," Rapporte de Recherche No. 2564, INRIA, France, June 1995.
4. R. Baldoni, J.M. Helary, A. Mostefaoui, and M. Raynal, "On Modeling Consistent Checkpoints and the Domino Effect in Distributed Systems," Rapporte de Recherche No. 2569, INRIA, France, June 1995.
5. R. Baldoni, J.M. Helary and M. Raynal, "About Recording in Asynchronous Computations," Proc. 15th ACM Symp. Principles of Distributed Computing, p. 55, May 1996.
6. K.M. Chandy and L. Lamport, "Distributed Snapshots: Determining Global States of Distributed Systems," ACM Trans. Computer Systems, vol. 3, no. 1, pp. 63-75, Feb. 1985.
7. R. Cooper and K. Marzullo, "Consistent Detection of Global Predicates," Proc. ACM/ONR Workshop on Parallel and Distributed Debugging, pp. 163-173, May 1991.
8. E. Fromentin, N. Plouzeau, and M. Raynal, "An Introduction to the Analysis and Debug of Distributed Computations," Proc. First IEEE Int'l Conf. Algorithms and Architectures for Parallel Processing, pp. 545-554, Brisbane, Australia, Apr. 1995.
9. K. Geihs and M. Seifert, "Automated Validation of a Co-operation Protocol for Distributed Systems," Proc. Sixth Int'l Conf. Distributed Computing Systems, pp. 436-443, 1986.
10. R. Koo and S. Toueg, "Checkpointing and Roll-back Recovery for Distributed Systems," IEEE Trans. Software Eng., vol. 13, no. 1, pp. 23-31, Jan. 1987.
11. A.D. Kshemkalyani, M. Raynal, and M. Singhal, "An Introduction to Snapshot Algorithms in Distributed Computing," Distributed Systems Eng. J., vol. 2, no. 4, pp. 224-233, Dec. 1995.
12. A.D. Kshemkalyani and M. Singhal, "Efficient Detection and Resolution of Generalized Distributed Deadlocks," IEEE Trans. Software Eng., vol. 20, no. 1, pp. 43-54, Jan. 1994.
13. L. Lamport, "Time, Clocks and Ordering of Events in Distributed Systems," Comm. ACM, vol. 21, no. 7, pp. 558-565, July 1978.
14. L. Lamport, "The Mutual Exclusion Problem: Part I - A Theory of Interprocess Communication," J. ACM, vol. 33, no. 2, pp. 313-326, Apr. 1986.
15. B. Miller and J. Choi, "Breakpoints and Halting in Distributed Programs," Proc. Eighth Int'l Conf. Distributed Computing Systems, pp. 316-323, 1988.
16. R.H.B. Netzer and J. Xu, "Necessary and Sufficient Conditions for Consistent Global Snapshots," IEEE Trans. Parallel and Distributed Systems, vol. 6, no. 2, pp. 165-169, Feb. 1995.
17. M. Spezialetti and P. Kearns, "Simultaneous Regions: A Framework for the Consistent Monitoring of Distributed Systems," Proc. Ninth Int'l Conf. Distributed Computing Systems, pp. 61-68, 1989.
18. Y.-M. Wang, "Maximum and Minimum Consistent Global Checkpoints and their Applications," Proc. 14th IEEE Symp. Reliable Distributed Systems, pp. 86-95, Bad Neuenahr, Germany, Sept. 1995.
19. Y.-M. Wang, "Consistent Global Checkpoints that Contain a Given Set of Local Checkpoints," IEEE Trans. Computers, vol. 46, no. 4, pp. 456-468, Apr. 1997.
20. J. Xu and R.H.B. Netzer, "Adaptive Independent Checkpointing for Reducing Rollback Propagation," Proc. Fifth IEEE Symp. Parallel and Distributed Processing, pp. 754-761, Dec. 1993.