Skip to Main content Skip to Navigation

Coping with silent errors in HPC applications

Guillaume Aupy 1, 2 Anne Benoit 1, 2 Massimiliano Fasi 1, 2 Yves Robert 1, 2 Hongyang Sun 1, 2 Bora Uçar 1, 2 
Abstract : This report describes a unified framework for the detection and correction of silent errors, which constitute a major threat for scientific applications at extreme-scale. We first motivate the problem and explain why checkpointing must be combined with some verification mechanism. Then we introduce a general-purpose technique based upon computational patterns that periodically repeat over time. These patterns interleave verifications and checkpoints, and we show how to determine the pattern minimizing expected execution time. Then we move to application-specific techniques and review dynamic programming algorithms for linear chains of tasks, as well as ABFT-oriented algorithms for iterative methods in sparse linear algebra.
Complete list of metadata

Cited literature [41 references]  Display  Hide  Download
Contributor : Equipe Roma Connect in order to contact the contributor
Submitted on : Friday, December 11, 2015 - 10:55:40 PM
Last modification on : Friday, September 30, 2022 - 4:12:11 AM
Long-term archiving on: : Saturday, April 29, 2017 - 12:12:02 PM


Files produced by the author(s)


  • HAL Id : hal-01242369, version 1



Guillaume Aupy, Anne Benoit, Massimiliano Fasi, Yves Robert, Hongyang Sun, et al.. Coping with silent errors in HPC applications. [Research Report] RR-8825, CNRS, ENS Lyon & INRIA. 2015. ⟨hal-01242369⟩



Record views


Files downloads