Compiler-Assisted Static Checkpoint Insertion
ILLINOIS UNIV AT URBANA COORDINATED SCIENCE LAB
Pagination or Media Count:
This paper describes 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 demonstrate that the approach provides for stable checkpoint intervals and reproducible checkpoint placements with performance overhead comparable to a previously presented compiler-assisted dynamic scheme CATCH utilizing the system clock 17. Static checkpoints, checkpoint placement, checkpoint interval and compilers.
- Computer Programming and Software