Cas d’études de calculs parallèles numériquement reproductibles

Philippe Langlois 1 Chemseddine Chohra 1 Rafife Nheili 1
1 DALI - Digits, Architectures et Logiciels Informatiques
LIRMM - Laboratoire d'Informatique de Robotique et de Microélectronique de Montpellier, UPVD - Université de Perpignan Via Domitia
Résumé : La non-associativité de l'addition de l'arithmétique à virgule flottante IEEE-754 est la cause principale de non-reproductibilité numérique du calcul parallèle. Ainsi le debugging, la validation ou la certification, de la simulation numérique de phénomènes physiques complexes réalisée sur calculateurs massivement parallèles, sont remis en question. En tant qu'arithméticiens des ordinateurs, nous traitons deux questions : l'une relative à la faisabilité d'une correction de ce problème, l'autre à son efficacité. - Est-ce que les techniques existantes permettent de retrouver la reproductibilité numérique de codes de simulation numérique d'échelle industrielle ? - Est-ce les algorithmes de sommation correctement arrondies permettent d'obtenir des BLAS parallèle reproductible et efficaces ? Nous montrons comment des techniques de compensation arithmétiques permettent d'obtenir la reproductibilité de deux modules du code d'hydrodynamique open Telemac-Mascaret basés sur des éléments finis, de la décomposition de domaine et une résolution par gradient conjugué. Nous illustrons comment des algorithmes récents permettent d'implanter des BLAS 1 pour un sur-coût en temps de calcul très raisonnable par rapport aux meilleures solutions non reproductibles (Intel MKL).
Type de document :
Communication dans un congrès
Retour d'expéRiences sur la Recherche Reproductible, Dec 2015, Orléans, France. 2015, <http://www.lestudium-ias.com/event/retour-experiences-recherche-reproductible-r4>
Liste complète des métadonnées


https://hal-lirmm.ccsd.cnrs.fr/lirmm-01240737
Contributeur : Philippe Langlois <>
Soumis le : mercredi 9 décembre 2015 - 14:50:54
Dernière modification le : vendredi 9 juin 2017 - 10:41:56
Document(s) archivé(s) le : samedi 29 avril 2017 - 10:17:17

Fichier

rrrr15_sl.pdf
Fichiers produits par l'(les) auteur(s)

Identifiants

  • HAL Id : lirmm-01240737, version 1

Collections

Citation

Philippe Langlois, Chemseddine Chohra, Rafife Nheili. Cas d’études de calculs parallèles numériquement reproductibles. Retour d'expéRiences sur la Recherche Reproductible, Dec 2015, Orléans, France. 2015, <http://www.lestudium-ias.com/event/retour-experiences-recherche-reproductible-r4>. <lirmm-01240737>

Partager

Métriques

Consultations de
la notice

48

Téléchargements du document

123