2nd European Workshop on Automatic Differentiation

Thursday November 17- Friday November 18, 2005

Whitworth Conference Centre

Cranfield University (Shrivenham Campus)

Defence Academy of the UK

Shrivenham, Swindon

Laurent Hascoët (INRIA Sophia Antipolis)

Looking for the Optimal Snapshot for a Given Checkpointing Scheme

Abstract:  In the quest for optimal checkpointing schemes,  an important step is to optimize the size of the snapshots for one given checkpointing scheme. We consider the set relations that link, on one hand, the snapshots required for each checkpoint and on the other hand, the variables saved on the tape by the TBR mechanism. We show that these relations are coupled and have more than one optimal solution. 

We use a symbolic computation tool to find the general form of these solutions. With this general form at hand, we can define strategies to find the snapshots best suited for a given program.

Slides: HascoetNov05.pdf