HAL will be down for maintenance from Friday, June 10 at 4pm through Monday, June 13 at 9am. More information
Skip to Main content Skip to Navigation
Journal articles

Coping with recall and precision of soft error detectors

Abstract : Many methods are available to detect silent errors in high-performance computing (HPC) applications. Each method comes with a cost, a recall (fraction of all errors that are actually detected, i.e., false negatives), and a precision (fraction of true errors amongst all detected errors, i.e., false positives). The main contribution of this paper is to characterize the optimal computing pattern for an application: which detector(s) to use, how many detectors of each type to use, together with the length of the work segment that precedes each of them. We first prove that detectors with imperfect precisions offer limited usefulness. Then we focus on detectors with perfect precision , and we conduct a comprehensive complexity analysis of this optimization problem, showing NP-completeness and designing an FPTAS (Fully Polynomial-Time Approximation Scheme). On the practical side, we provide a greedy algorithm, whose performance is shown to be close to the optimal for a realistic set of evaluation scenarios. Extensive simulations illustrate the usefulness of detectors with false negatives, which are available at a lower cost than the guaranteed detectors.
Complete list of metadata

Cited literature [42 references]  Display  Hide  Download

Contributor : Equipe Roma Connect in order to contact the contributor
Submitted on : Friday, August 19, 2016 - 7:13:10 PM
Last modification on : Monday, May 16, 2022 - 4:46:02 PM
Long-term archiving on: : Sunday, November 20, 2016 - 10:32:17 AM


Files produced by the author(s)




Leonardo Bautista-Gomez, Anne Benoit, Aurélien Cavelan, Yves Robert, Hongyang Sun. Coping with recall and precision of soft error detectors. Journal of Parallel and Distributed Computing, Elsevier, 2016, 98, pp.8-24. ⟨10.1016/j.jpdc.2016.07.007⟩. ⟨hal-01354888⟩



Record views


Files downloads