Robustness of the Young/Daly formula for stochastic iterative applications - Inria - Institut national de recherche en sciences et technologies du numérique Access content directly
Reports (Research Report) Year : 2020

Robustness of the Young/Daly formula for stochastic iterative applications


The Young/Daly formula for periodic checkpointing is known to hold fora divisible load application where one can checkpoint at any time-step. In an nutshell, the optimal period isPYD=√2μfC where μf is the Mean Time Between Failures (MTBF) and C is the checkpoint time. This paper assesses the accuracy of the formulafor applications decomposed into computational iterations where: (i) the duration of aniteration is stochastic, i.e., obeys a probability distribution law D of mean μD ; and (ii) onecan checkpoint only at the end of an iteration. We first consider static strategies where checkpoints are taken after a given number of iterationskand provide a closed-form,asymptotically optimal, formula fork, valid for any distribution D. We then show that using the Young/Daly formula to compute k (ask·μD=PYD) is a first order approximationof this formula. We also consider dynamic strategies where one decides to checkpoint at the end of an iteration only if the total amount of work since the last checkpoint exceeds a threshold Wth, and otherwise proceed to the next iteration. Similarly, we provide aclosed-form formula for this threshold and show that PYD is a first-order approximation of Wth. Finally, we provide an extensive set of simulations where D is either Uniform,Gamma or truncated Normal, which shows the global accuracy of the Young/Daly formula,even when the distribution D had a large standard deviation (and when one cannot use afirst-order approximation). Hence we establish that the relevance of the formula goes well beyond its original framework
La formule de Young/Daly pour le checkpoint périodique s’applique aux applications divisibles où l’on peut prendre un checkpoint à tout instant. La période optimal est PYD=√2μfC où μf est le Mean Time Between Failures(MTBF) et C le temps de checkpoint. Ce rapport étudie la précision de cette formule pour des applications itératives telles que: (i) la durée d’une itération est stochastique, obéissant une distribution de probabilité D de moyenne μD; et (ii) on en peut prendre un checkpoint qu’à la fin d’une itération. Nous considérons des stratégies statiques (où on prend un checkpoint toutes les k itérations) et dynamiques (où on prend un checkpoint une fois un travail d’une certaine durée effectuée). Dans les deux cas, nous montrons que la formule de Young/Daly conduit au meilleur choix. Nous confirmons ces résultats théoriques par un large jeu de simulations pour des distributions Uniformes, Gamma ou Normale tronqué, montrant ainsi que la pertinence de la formule va bien au delà de sa formulation originelle.
Fichier principal
Vignette du fichier
rr9332.pdf (8.59 Mo) Télécharger le fichier
Origin Files produced by the author(s)

Dates and versions

hal-02514107 , version 1 (21-03-2020)


  • HAL Id : hal-02514107 , version 1


Yishu Du, Loris Marchal, Guillaume Pallez, Yves Robert. Robustness of the Young/Daly formula for stochastic iterative applications. [Research Report] RR-9332, Inria Grenoble Rhône-Alpes. 2020. ⟨hal-02514107⟩
49 View
144 Download


Gmail Mastodon Facebook X LinkedIn More