``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.

Abstract

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

Plain Text:

author          J. S. Plank and M. Beck and G. Kingsley
title           Compiler-Assisted Memory Exclusion for Fast Checkpointing
journal         IEEE Technical Committee on Operating Systems and
                Application Environments
volume          7
number          4
month           Winter
year            1995
pages           10-14
where           See: http://web.eecs.utk.edu/~jplank/plank/papers/IEEETCOS95.html

Bibtex:

@ARTICLE{pbk:95:came,
        author = "J. S. Plank and M. Beck and G. Kingsley",
        title = "Compiler-Assisted Memory Exclusion for Fast Checkpointing",
        journal = "IEEE Technical Committee on Operating Systems and
                Application Environments",
        volume = "7",
        number = "4",
        month = "Winter",
        year = "1995",
        pages = "10-14",
        where = "See: http://web.eecs.utk.edu/~jplank/plank/papers/IEEETCOS95.html"
}