Nestor DEMEURE : Managing the compromise between performance and accuracy in simulation codes

Résumé :

Cette thèse portera sur le compromis entre précision et performance dans le calcul haute performance et en particulier mes travaux sur la mesure de l’erreur numérique et la localisation des sources d’erreur dans le cadre du calcul haute-performance et de la simulation. 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.