Accession Number:

ADA256039

Title:

Compiler-Assisted Static Checkpoint Insertion

Descriptive Note:

Corporate Author:

ILLINOIS UNIV AT URBANA COORDINATED SCIENCE LAB

Report Date:

1992-07-10

Pagination or Media Count:

20.0

Abstract:

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.

Subject Categories:

  • Computer Programming and Software

Distribution Statement:

APPROVED FOR PUBLIC RELEASE