Checkpointing Strategies for Scheduling Computational Workflows

Guillaume Aupy (1, 2, 3) , Anne Benoit (1, 2) , Henri Casanova (4) , Yves Robert (2, 1)

1 ROMA - Optimisation des ressources : modèles, algorithmes et ordonnancement
2 LIP - Laboratoire de l'Informatique du Parallélisme
3 Vanderbilt University [Nashville]
4 ICS - Information and Computer Sciences [Hawaii]

We study the scheduling of computational workflows on compute resources that experience exponentially distributed failures. When a failure occurs, rollback and recovery is used to resume the execution from the last checkpointed state. The scheduling problem is to minimize the expected execution time by deciding in which order to execute the tasks in the workflow and deciding for each task whether to checkpoint it or not after it completes. We give a polynomial-time optimal algorithm for fork DAGs (Directed Acyclic Graphs) and show that the problem is NP-complete with join DAGs. We also investigate the complexity of the simple case in which no task is checkpointed. Our main result is a polynomial-time algorithm to compute the expected execution time of a workflow, with a given task execution order and specified to-be-checkpointed tasks. Using this algorithm as a basis, we propose several heuristics for solving the scheduling problem. We evaluate these heuristics for representative workflow configurations.

Mots clés: checkpointing; scheduling; workflow; fault-tolerance; reliability

Domaines: Calcul parallèle, distribué et partagé [cs.DC]

Guillaume Aupy, Anne Benoit, Henri Casanova, Yves Robert. Checkpointing Strategies for Scheduling Computational Workflows. International Journal of Networking and Computing, 2016, 6 (1), pp.2-26. ⟨10.15803/ijnc.6.1_2⟩. ⟨hal-01354874⟩