Compiler-Assisted Full Checkpointing

Abstract

This paper describes a compiler-based approach to efficient checkpointing for process recovery. Our implementation is transparent to both the programmer and the hardware. The compiler-generated sparse potential checkpoint code maintains the desired checkpoint interval. Adaptive checkpointing reduces the size of the checkpoints. Training is used to select low-cost, high-coverage potential checkpoints. The problem of selecting potential checkpoints is shown to be NP-complete and a heuristic algorithm is introduced that determines a quick suboptimal solution. These compiler-assisted checkpointing techniques have been implemented in a modified version of the GNU C (GCC) compiler. Experiments involving the CATCH GCC compiler on a Sun SPARC workstation are summarized.

Open PDF

Document Details

Document Type
Technical Report
Publication Date
Jan 01, 1990
Accession Number
ADA274291

Entities

People

  • Chung-chi J. Li
  • Elliot M. Stewart
  • W. Kent Fuchs

Organizations

  • University of Illinois Urbana–Champaign

Tags

Communities of Interest

  • Materials and Manufacturing Processes

DTIC Thesaurus Topics

  • Access Time
  • Accounting
  • Air Force
  • Algorithms
  • Compilers
  • Compression
  • Computational Fluid Dynamics
  • Computers
  • Data Compression
  • Data Sets
  • Differential Equations
  • Equations
  • Fault Tolerant Computing
  • Indexes
  • Operating Systems
  • Real Numbers
  • Time Intervals

Fields of Study

  • Computer science
  • Engineering

Readers

  • Database Systems and Applications
  • Manufacturing Engineering.
  • Operations Research