Skip to Main content Skip to Navigation
Conference papers

Two-level checkpointing and partial verifications for linear task graphs

Abstract : Fail-stop and silent errors are unavoidable on large-scale platforms. Efficient resilience techniques must accommodate both error sources. A traditional checkpointing and rollback recovery approach can be used, with added veri-fications to detect silent errors. 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 checkpoint and recovery overhead. Furthermore, recent detectors offer partial verification mechanisms, which are less costly than guaranteed verifications but do not detect all silent errors. In this paper, we show how to combine all these techniques for HPC applications whose dependence graph is a chain of tasks, and provide a sophisticated dynamic programming algorithm returning the optimal solution in polynomial time. Simulations demonstrate that the combined use of multi-level checkpointing and partial verifications further improves performance.
Complete list of metadata

Cited literature [14 references]  Display  Hide  Download

https://hal.inria.fr/hal-01252400
Contributor : Equipe Roma Connect in order to contact the contributor
Submitted on : Thursday, January 7, 2016 - 3:13:45 PM
Last modification on : Saturday, September 11, 2021 - 3:18:25 AM
Long-term archiving on: : Friday, April 8, 2016 - 1:28:39 PM

File

pmbs.pdf
Files produced by the author(s)

Identifiers

  • HAL Id : hal-01252400, version 1

Collections

Citation

Anne Benoit, Aurélien Cavelan, Yves Robert, Hongyang Sun. Two-level checkpointing and partial verifications for linear task graphs. 6th International Workshop in Performance Modeling, Benchmarking and Simulation of High Performance Computer Systems (PMBS15), Nov 2015, Austin, TX, United States. ⟨hal-01252400⟩

Share

Metrics

Record views

277

Files downloads

124