L'analyse des erreurs en virgule flottante et l'optimisation de la précision mixte sont essentielles pour garantir l'exactitude et réduire les coûts dans le calcul haute performance (HPC). Dans cette présentation conjointe, nous introduisons Verificarlo et Verrou, deux outils interopérables dédiés à la vérification et à l'optimisation des codes numériques. Partageant des backends numériques spécialisés par le biais du projet ANR Interflop, les deux logiciels évaluent la stabilité des codes sans aucune modification du code source.

En utilisant des paradigmes de perturbation en virgule flottante tels que l'arrondi stochastique, ces outils identifient les bugs numériques et estiment la précision de manière probabiliste. De plus, leur backend à précision variable (VPREC) modélise des formats de plus faible précision pour aider à explorer les stratégies de précision mixte et à identifier les régions du code qui tolèrent une précision réduite. Tous deux prennent également en charge les processus de delta-debugging pour isoler automatiquement les emplacements précis des instabilités numériques.

Leur principale distinction réside dans l'instrumentation : Verificarlo s’appuie sur LLVM opérant au niveau du compilateur, tandis que Verrou opère dynamiquement à l'exécution en tant qu'outil Valgrind. Cela offre aux développeurs le choix entre une analyse à la compilation et une analyse à l'exécution selon leurs besoins. Nous illustrerons ces capacités combinées à travers des études de cas pratiques dans des domaines tels que la mécanique des fluides numérique (CFD), la neuro-imagerie et la chimie quantique.