Abstract:We consider the problem of orchestrating the execution of workflow applications structured as Directed Acyclic Graphs (DAGs) on parallel computing platforms that are subject to fail-stop failures. The objective is to minimize expected overall execution time, or makespan. A solution to this problem consists of a schedule of the workflow tasks on the available processors and of a decision of which application data to checkpoint to stable storage, so as to mitigate the impact of processor failures. For general DAGs this problem is hopelessly intractable. In fact, given a solution, computing its expected makespan is still a difficult problem. To address this challenge, we consider a restricted class of graphs, Minimal Series-Parallel Graphs (M-SPGs). It turns out that many real-world workflow applications are naturally structured as M-SPGs. For this class of graphs, we propose a recursive list-scheduling algorithm that exploits the M-SPG structure to assign sub-graphs to individual processors, and uses dynamic programming to decide which tasks in these sub-gaphs should be checkpointed. Furthermore, it is possible to efficiently compute the expected makespan for the solution produced by this algorithm, using a first-order approximation of task weights and existing evaluation algorithms for 2-state probabilistic DAGs. We assess the performance of our algorithm for production workflow configurations, comparing it to (i) an approach in which all application data is checkpointed, which corresponds to the standard way in which most production workflows are executed today; and (ii) an approach in which no application data is checkpointed. Our results demonstrate that our algorithm strikes a good compromise between these two approaches, leading to lower checkpointing overhead than the former and to better resilience to failure than the latter. To the best of our knowledge, this is the first scheduling/checkpointing algorithm for workflow applications with fail-stop failures that considers workflow structures more general than mere linear chains of tasks.Key-words: workflow, checkpoint, fail-stop error, resilience.
StratĂ©gies de checkpoint pour les workflows en prĂ©sence d'erreurs fatalesRĂ©sumĂ© : Ce rapport considĂšre l'ordonnancement de workflows (applications structurĂ©es en forme de graphes de tĂąches acycliques, ou DAGs) sur des plates-formes parallĂšlesĂ grandĂ© echelle, soumisesĂ des erreurs fatales. L'objectif est de minimiser l'espĂ©rance du temps total d'exĂ©cution, ou makespan. Une solutionĂ ce problĂšme comprend l'allocation ordonnĂ©e des tĂąches aux processeurs, et les dĂ©cisions de checkpoint: quelles tĂąches sont suivies d'un checkpoint? MĂȘme pour une solution donnĂ©e, le calcul du makespan reste difficile. Nous nous restreignonsĂ une classe de DAGs particuliers, les graphes sĂ©ries-parallĂšles minimaux, ou MSPGs. De nombreux workflows issus des applications ont pour graphe un M-SPG. Pour de tels graphes, nous proposons un algorithme qui utilise la structure rĂ©cursive du M-SPG pour allouer des sous-graphesĂ chaque pro...