Towards Optimal Multi-Level Checkpointing
Résumé
We provide a framework to analyze multi-level checkpointing protocols, by formally defining
a k-level checkpointing pattern. We provide a first-order approximation to the optimal
checkpointing pattern, and show that the corresponding overhead is of the order of
∑kℓ=1√2λℓCℓ, where λℓ is the error rate at level~ℓ,
and Cℓ the checkpointing cost at level~ℓ. This nicely extends the classical Young/Daly formula.
Furthermore, we are able to fully characterize the shape of the optimal pattern (number and positions of checkpoints),
and we provide a dynamic programming algorithm to determine which levels should be used.
Finally, we perform simulations to check the accuracy of the theoretical study and to confirm the
optimality of the subset of levels returned by the dynamic programming algorithm.
The results nicely corroborate the theoretical study, and demonstrate the usefulness of multi-level
checkpointing with the optimal subset of levels.
Ce travail analyse les techniques de checkpoint multi-niveaux.
On étudie les schémas de calcul périodiques, où les différents niveaux de checkpoint
sont imbriqués, et on caractérise le schéma optimal, i.e., celui dont le surcoût par unité de calcul
est minimal. On montre que ce surcoût minimal est de l'ordre de
∑kℓ=1√2λℓCℓ, où λℓ est le taux d'erreur au niveau~ℓ,
et Cℓ le coût de checkpoint au niveau~ℓ. Cette formule étend la célèbre formule de Young/Daly pour un seul niveau. On propose également un algorithme
de programmation dynamique pour déterminer le meilleur sous-ensemble de niveuax à utiliser pour minimiser le surcoût global. Enfin, nous conduisons des
simulations pour vérifier l'étude théorique, et confirmer l'optimalité du sous-ensemble
déterminé par l'algorithme de programmation dynamique.
Les résultats corroborent bien l'étude théorique, et montrent toute l'utilité d'une approche multi-niveaux basée sur le sous-ensemble de niveaux optimal.
Domaines
Informatique [cs]Origine | Fichiers produits par l'(les) auteur(s) |
---|
Loading...