Skip to Main content Skip to Navigation
Conference papers

Two-Level Checkpointing and Verifications for Linear Task Graphs

Abstract : Fail-stop and silent errors are omnipresent on large-scale platforms. Efficient resilience techniques must accommodate both error sources. To cope with the double challenge, a two-level checkpointing and rollback recovery approach can be used, with additional verifications for silent error detection. A fail-stop error leads to the loss of the whole memory content, hence the obligation to checkpoint on a stable storage (e.g., an external disk). On the contrary, it is possible to use in-memory checkpoints for silent errors, which provide a much smaller checkpointing and recovery overhead. Furthermore, recent detectors offer partial verification mechanisms that are less costly than the guaranteed ones but do not detect all silent errors. In this paper, we show how to combine all of these techniques for HPC applications whose dependency graph forms a linear chain. We present a sophisticated dynamic programming algorithm that returns the optimal solution in polynomial time. Simulation results demonstrate that the combined use of multi-level checkpointing and verifications leads to improved performance compared to the standard single-level checkpointing algorithm.
Complete list of metadata

Cited literature [25 references]  Display  Hide  Download
Contributor : Equipe Roma Connect in order to contact the contributor
Submitted on : Friday, August 19, 2016 - 9:57:29 AM
Last modification on : Friday, September 30, 2022 - 4:12:13 AM
Long-term archiving on: : Sunday, November 20, 2016 - 10:11:35 AM


Files produced by the author(s)




Anne Benoit, Aurélien Cavelan, Yves Robert, Hongyang Sun. Two-Level Checkpointing and Verifications for Linear Task Graphs. The 17th IEEE International Workshop on Parallel and Distributed Scientific and Engineering Computing (PDSEC 2016), May 2016, Chicago, United States. pp.10, ⟨10.1109/IPDPSW.2016.106⟩. ⟨hal-01354625⟩



Record views


Files downloads