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).
Complete list of metadatas

Cited literature [13 references]  Display  Hide  Download

https://hal-lirmm.ccsd.cnrs.fr/lirmm-01240737
Contributor : Philippe Langlois <>
Submitted on : Wednesday, December 9, 2015 - 2:50:54 PM
Last modification on : Tuesday, February 19, 2019 - 8:28:01 PM
Long-term archiving on : Saturday, April 29, 2017 - 10:17:17 AM

File

rrrr15_sl.pdf
Files produced by the author(s)

Identifiers

  • 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, MISC/CaSciModOT, Dec 2015, Orléans, France. ⟨lirmm-01240737⟩

Share

Metrics

Record views

163

Files downloads

431