Compiler-assisted static checkpoint insertion

Author

Long, J. ; Fuchs, W.K. ; Abraham, J.A.

Author_Institution

Coordinated Sci. Lab., Illinois Univ., Urbana, IL, USA

fYear

1992

fDate

8-10 July 1992

Firstpage

58

Lastpage

65

Abstract

The authors describe 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 demonstrated that the approach provides for stable checkpoint intervals and reproducible checkpoint placements with performance overhead comparable to a previous compiler-assisted dynamic scheme.<>

Keywords

fault tolerant computing; program compilers; system recovery; GNU CC compiler; SPARC; Sun 3; Sun 4; compiler assisted static checkpoint insertion; compiler enhanced polling mechanism; performance overhead; program execution; Aerodynamics; Checkpointing; Clocks; Computer aided instruction; Contracts; Dynamic compiler; Military computing; Sun; Time measurement; Time sharing computer systems;

fLanguage

English

Publisher

ieee

Conference_Titel

Fault-Tolerant Computing, 1992. FTCS-22. Digest of Papers., Twenty-Second International Symposium on

Conference_Location

Boston, MA, USA

Print_ISBN

0-8186-2875-8

Type

conf

DOI

10.1109/FTCS.1992.243615

Filename

243615