Gestion du compromis entre la performance et la précision de code de calcul - Université Paris Cité Accéder directement au contenu
Thèse Année : 2021

Gestion du compromis entre la performance et la précision de code de calcul

Managing the compromise between performance and accuracy in simulation codes

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
98939_DEMEURE_2021_archivage.pdf (7.99 Mo) Télécharger le fichier
Origine : Version validée par le jury (STAR)

Dates et versions

tel-03116750 , version 1 (20-01-2021)

Identifiants

  • HAL Id : tel-03116750 , version 1

Citer

Nestor Demeure. Gestion du compromis entre la performance et la précision de code de calcul. General Mathematics [math.GM]. Université Paris-Saclay, 2021. English. ⟨NNT : 2021UPASM004⟩. ⟨tel-03116750⟩
600 Consultations
407 Téléchargements

Partager

Gmail Facebook X LinkedIn More