Optimal Checkpointing Strategies for Iterative Applications

This work provides an optimal checkpointing strategy to protect iterative applications from fail-stop errors. We consider a general framework, where the application repeats the same execution pattern by executing consecutive iterations, and where each iteration is composed of several tasks. These tasks have different execution lengths and different checkpoint costs. Assume that there are
n
tasks and that task a
_i
, where 0 ≤ i <;
n
, has execution time t
_i
and checkpoint cost c
_i
. A naive strategy would checkpoint after each task. Another naive strategy would checkpoint at the end of each iteration. A strategy inspired by the Young/Daly formula would work for √{2 μc
_ave
} seconds, where μ is the application MTBF and c
_ave
is the average checkpoint time, and checkpoint at the end of the current task (and repeat). Another strategy, also inspired by the Young/Daly formula, would select the task a
_min
with smallest checkpoint cost c
_min
and would checkpoint after every p
^th
instance of that task, leading to a checkpointing period p T, where T = Σ
_i=0
^n-1
a
_i
is the time per iteration. One would choose the period so that p T ≈ √{2 μc
_min
} to obey the Young/Daly formula. All these naive and Young/Daly strategies are suboptimal. Our main contribution is to show that the optimal checkpoint strategy is globally periodic, and to design a dynamic programming algorithm that computes the optimal checkpointing pattern. This pattern may well checkpoint many different tasks, and this across many different iterations. We show through simulations, both from synthetic and real-life application scenarios, that the optimal strategy outperforms the naive and Young/Daly strategies.