``Compiler-Assisted Memory Exclusion for Fast Checkpointing''

James S. Plank, Micah Beck, and Gerry Kingsley

IEEE Technical Committee on Operating Systems and Application Environments, 7(4), Winter 1995, pp 10-14.

Available via anonymous ftp to cs.utk.edu in pub/plank/papers/IEEETCOS95.ps and pub/plank/papers/IEEETCOS95.pdf.

A more detailed Technical Report about this work is here.


Memory exclusion is a powerful tool for optimizing the performance of checkpointing, however it has not been automated completely with low enough overhead. In this paper we present compiler-assisted memory exclusion (CAME), a technique that uses static program analysis to optimize the performance of checkpointing. With the assistance of user-placed directives, the compiler can perform data flow analyses for dead and read-only regions of memory that can be omitted from checkpoints. The result can be a significant reduction in the size of checkpoints, thereby reducing the overhead of checkpointing.

Postscript of the paper

PDF of the paper

Citation Information