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.

Open PDF

Document Details

Document Type
Technical Report
Publication Date
Jan 01, 1991
Accession Number
ADA246496

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.