Compiler-Assisted Static Checkpoint Insertion

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.

Open PDF

Document Details

Document Type
Technical Report
Publication Date
Jul 10, 1992
Accession Number
ADA256039

Entities

People

  • Jacob A. Abraham
  • Junsheng Long
  • W. Kent Fuchs

Organizations

  • University of Illinois Urbana–Champaign

Tags

Communities of Interest

  • Materials and Manufacturing Processes
  • Space

DTIC Thesaurus Topics

  • Accuracy
  • Algorithms
  • Clocks
  • Compilers
  • Computations
  • Computer Programs
  • Computers
  • Data Sets
  • Differential Equations
  • Engineering
  • Floating Point Operations
  • Frequency
  • Illinois
  • Iterations
  • Maintenance
  • Simplex Method
  • Time Intervals

Readers

  • Mathematics or Statistics
  • Parallel and Distributed Computing.