Compiler-assisted static checkpoint insertion
- 2 January 2003
- conference paper
- Published by Institute of Electrical and Electronics Engineers (IEEE)
Abstract
The authors describe a compiler-assisted approach for static checkpoint insertion. Instead of fixing the checkpoint location before program execution, a compiler enhanced polling mechanism is utilized to maintain both the desired checkpoint intervals and reproducible checkpoint locations. The technique has been implemented in a GNU CC compiler for Sun 3 and Sun 4 (SPARC) processors. Experiments demonstrated that the approach provides for stable checkpoint intervals and reproducible checkpoint placements with performance overhead comparable to a previous compiler-assisted dynamic scheme.<>Keywords
This publication has 9 references indexed in Scilit:
- CATCH-compiler-assisted techniques for checkpointingPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2002
- Fault TolerancePublished by Springer Nature ,1990
- IGOR: a system for program debugging via reversible executionACM SIGPLAN Notices, 1988
- Supporting reverse execution for parallel programsACM SIGPLAN Notices, 1988
- An experimental study to determine task size for rollback recovery systemsIEEE Transactions on Computers, 1988
- Computing optimal checkpointing strategies for rollback and recovery systemsIEEE Transactions on Computers, 1988
- Optimization criteria for checkpoint placementCommunications of the ACM, 1984
- On the Optimum Checkpoint Selection ProblemSIAM Journal on Computing, 1984
- Rollback and Recovery Strategies for Computer ProgramsIEEE Transactions on Computers, 1972