La double précision suffit-elle à l'exascale ? - Laboratoire Méthodes Formelles
Communication Dans Un Congrès Année : 2021

La double précision suffit-elle à l'exascale ?

Résumé

La croissance des capacités de calcul des machines permet d'obtenir des résultats de simulation de plus en plus précis. Ces résultats sont souvent calculés en binary64 (double précision) avec l'idée que les erreurs d'arrondi ne sont pas significatives. Or, l'exascale permet d'augmenter le nombre d'opérations et des problèmes d'accumulation d'erreurs d'arrondi pourraient apparaître. Augmenter la précision des nombres flottants pour remédier à ce problème n'est pas envisageable car le surcoût en mémoire, en temps de calcul et en énergie ferait perdre une partie importante des performances des nouvelles machines. Il est donc important de mesurer la robustesse du binary64 en anticipant les ressources de calcul à venir afin d'assurer la pérennité de celle-ci dans les simulations numériques. C'est dans ce but que des expériences numériques ont été réalisées et sont présentées dans cet article. En montrant que les erreurs d'arrondi restent dominées par les erreurs du schéma, les résultats ont permis de valider le binary64 dans ces simulations.
Fichier principal
Vignette du fichier
AFADL.pdf (180.48 Ko) Télécharger le fichier
Origine Fichiers produits par l'(les) auteur(s)

Dates et versions

hal-03351615 , version 1 (22-09-2021)

Identifiants

  • HAL Id : hal-03351615 , version 1

Citer

Louise Ben Salem-Knapp, Thibaud Vazquez-Gonzalez, William Weens. La double précision suffit-elle à l'exascale ?. AFADL 2021 - 20èmes journées Approches Formelles dans l'Assistance au Développement de Logiciels, Jun 2021, Vannes, France. ⟨hal-03351615⟩
143 Consultations
97 Téléchargements

Partager

More