| HAL-Inria | Publications, software ... of Inria's scientists |
Book sections
Coping with silent errors in HPC applications
Abstract : This chapter 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.
Cited literature [41 references]
https://hal.inria.fr/hal-01354892
Contributor : Equipe Roma <>
Submitted on : Friday, August 19, 2016 - 8:39:11 PM
Last modification on : Monday, November 16, 2020 - 9:58:08 AM
Long-term archiving on: : Sunday, November 20, 2016 - 10:48:57 AM
Contributor : Equipe Roma <>
Submitted on : Friday, August 19, 2016 - 8:39:11 PM
Last modification on : Monday, November 16, 2020 - 9:58:08 AM
Long-term archiving on: : Sunday, November 20, 2016 - 10:48:57 AM
File
chapter.pdf
Files produced by the author(s)