Compiler-generated staggered checkpointing

ACM International Conference Proceeding Series

Volumn 81, Issue , 2004, Pages

  Norman, Alison N ^a   Choi, Sung Eun ^b   Lin, Calvin ^a  

^a UNIVERSITY OF TEXAS AT AUSTIN   (United States)

^b LOS ALAMOS NATIONAL LABORATORY   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

APPLICATION PROGRAMMERS; CHECK POINTING; CURRENT SYSTEM; FILE SYSTEMS; PARALLEL APPLICATION; PROGRAM POINTS; SYNCHRONOUS CHECKPOINTING; SYSTEM FAILURES; TRACE DRIVEN SIMULATION;

FADING (RADIO); LINGUISTICS; SUPERCOMPUTERS; SYSTEMS ENGINEERING;

PROGRAM COMPILERS;

EID: 77953945374     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/1066650.1066663     Document Type: Conference Paper

References (12)

1. Micah Beck, James S. Plank, and Gerry Kingsley. Compiler-assisted checkpointing. Technical Report UT-CS-94-269, 1994.
2. Greg Bronevetsky, Daniel Marques, Keshav Pingali, and Paul Stodghill. Automated application-level checkpointing of MPI programs. In Principles and Practice of Parallel Programming, June 2003.
3. NASA Ames Research Center. NAS parallel benchmarks. http://www.nas.nasa. gov/Software/NPB.
4. Sung-Eun Choi and Steven J. Deitz. Compiler support for automatic checkpointing. In The 16th Annual International Symposium on High Performance Computing Systems and Applications, June 2002.
5. E. Elnozahy, D. Johnson, and Y. Wang. A survey of rollback-recovery protocols in message-passing systems. Technical Report CMU-CS-96-181, Carnegie Mellon University, October 1996.
6. Samuel Z. Guyer and Calvin Lin. Broadway: A software architecture for scientific computing. In R.F. Boisvert and P.T. P. Tang, editors, The Architecture of Scientific Software. Kluwer Academic Press, 2000.
7. P.B. Ladkin and B.B. Simons. Compile-time analysis of communicating processes. pages 248-259. ACM Press, 1992.
8. Peter B. Ladkin and Stefan Leue. Interpreting message flow graphs. Formal Aspects of Computing, 7(5):473-509, 1995.
9. Leslie Lamport. Time, clocks, and the ordering of events in a distributed system. Communications of the ACM, 21(7):558-565, July 1978.
10. Özalp Babaoǧlu and Keith Marzullo. Consistent global states of distributed systems: Fundamental concepts and mechanisms. Technical Report UBLCS-93-1, Laboratory for Computer Science, University of Bologna, Italy, January 1993.
11. James S. Plank. Efficient Checkpointing on MIMD Architectures. PhD thesis, Princeton University, June 1993.
12. Nitin H. Vaidya. On staggered checkpointing. In Symposium on Parallel and Distributed Processing, 1996.