Compromise between precision and performance in high performance computing. - TEL - Thèses en ligne Accéder directement au contenu
Thèse Année : 2021

Compromise between precision and performance in high performance computing.

Compromis entre précision et performance dans le calcul haute performance.

Résumé

Floating-point numbers represent only a subset of real numbers. As such, floating-point arithmetic introduces approximations that can compound and have a significant impact on numerical simulations. We introduce a new way to estimate and localize the sources of numerical error in an application and provide a reference implementation, the Shaman library. Our method uses a dedicated arithmetic over a type that encapsulates both the result the user would have had with the original computation and an approximation of its numerical error. We thus can measure the number of significant digits of any result or intermediate result in a simulation. We show that this approach, while simple, gives results competitive with state-of-the-art methods. It has a smaller overhead and is compatible with parallelism which makes it suitable for the study of large scale applications.
Les nombres à virgule flottante ne représentent qu'un sous-ensemble des nombres réels. De ce fait, l'arithmétique à virgule flottante introduit des approximations qui sont susceptibles de se cumuler et d'avoir un impact significatif sur les simulations numériques. Nous introduisons une nouvelle façon d'estimer et de localiser les sources d'erreur numérique dans une application et fournissons une implémentation de référence, la bibliothèque Shaman. Notre méthode utilise une arithmétique dédiée sur un type qui encapsule à la fois le résultat des calculs (identique à la version non instrumentée du code) et une approximation de son erreur numérique. Nous pouvons ainsi mesurer le nombre de chiffres significatifs de tout résultat ou résultat intermédiaire dans une simulation. Nous montrons que notre approche, bien que simple, donne des résultats compétitifs avec l'état de l'art. Qui plus est, elle a un surcoût en temps de calcul moins important et est compatible avec le parallélisme, ce qui la rend appropriée pour l'étude de larges applications.
Fichier principal
Vignette du fichier
PhD_Thesis.pdf (7.98 Mo) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)

Dates et versions

tel-03110553 , version 1 (14-01-2021)

Identifiants

  • HAL Id : tel-03110553 , version 1

Citer

Nestor Demeure. Compromise between precision and performance in high performance computing.. Computer Arithmetic. École Normale supérieure Paris-Saclay, 2021. English. ⟨NNT : ⟩. ⟨tel-03110553⟩
214 Consultations
366 Téléchargements

Partager

Gmail Facebook X LinkedIn More