Which Verification for Soft Error Detection?

Résumé : De nombreuses méthodes sont disponibles pour détecter les erreurs silencieuses dans les applications de Calcul Haute Performance (HPC). Chaque méthode a un coût et un rappel (fraction de toutes les erreurs qui sont effectivement détectées). La principale contribution de cet article est de montrer quel(s) détecteur(s) utiliser, et de caractériser le motif de calcul optimale pour une application: combien de détecteurs de chaque type utiliser, ainsi que la longueur du segment de travail qui les précède. Nous menons une analyse de complexité exhaustive de ce problème d'optimisation, montrant sa NP-complétude et la conception d'une FPTAS (Fully Polynomial-Time Approximation Scheme). Sur le plan pratique, nous fournissons un algorithme glouton dont la performance est montrée comme étant proche de l'optimal pour un ensemble réaliste de scénarios d'évaluation.
Type de document :
Rapport
[Research Report] RR-8741, INRIA Grenoble; ENS Lyon; Jaypee Institute of Information Technology, India; Argonne National Laboratory; University of Tennessee Knoxville, USA; INRIA. 2015, pp.20
Liste complète des métadonnées

https://hal.inria.fr/hal-01164445
Contributeur : Equipe Roma <>
Soumis le : mardi 16 juin 2015 - 21:19:28
Dernière modification le : jeudi 8 octobre 2015 - 01:04:34
Document(s) archivé(s) le : mardi 25 avril 2017 - 11:11:23

Fichier

RR-8741.pdf
Fichiers produits par l'(les) auteur(s)

Identifiants

  • HAL Id : hal-01164445, version 1

Collections

Citation

Leonardo Bautista-Gomez, Anne Benoit, Aurélien Cavelan, Saurabh K. Raina, Yves Robert, et al.. Which Verification for Soft Error Detection?. [Research Report] RR-8741, INRIA Grenoble; ENS Lyon; Jaypee Institute of Information Technology, India; Argonne National Laboratory; University of Tennessee Knoxville, USA; INRIA. 2015, pp.20. 〈hal-01164445v1〉

Partager

Métriques

Consultations de la notice

90

Téléchargements de fichiers

50