Verificarlo: checking floating point accuracy through Monte Carlo Arithmetic - Archive ouverte HAL
Pré-Publication, Document De Travail Année : 2015

Verificarlo: checking floating point accuracy through Monte Carlo Arithmetic

Résumé

Numerical accuracy of floating point computation is a well studied topic, but which has not made its way to the end-user in scientific computing. With the recent requirements for code modernization to exploit new highly parallel hardware and perform higher resolution computation, this has become one of the critical issues to address. To democratize numerical accuracy analysis, it is important to propose tools and methodologies to study large use cases in a reliable and automatic way. In this paper, we propose verificarlo, an extension to the LLVM compiler to automatically use Monte Carlo Arithmetic in a transparent way for the end-user. It supports all the major languages including C, C++ and Fortran. We also illustrate the fact that unlike source-to-source approaches, our implementation captures the influence of compiler optimizations on the numerical accuracy. Finally, we illustrate on various use cases how Monte Carlo Arithmetic using the verificarlo tool outperforms the existing approaches and is a step toward automatic numerical analysis of large scientific applications.
Fichier principal
Vignette du fichier
verificarlo-preprint.pdf (615.71 Ko) Télécharger le fichier
Origine Fichiers produits par l'(les) auteur(s)

Dates et versions

hal-01192668 , version 1 (03-09-2015)
hal-01192668 , version 2 (14-09-2015)
hal-01192668 , version 3 (29-10-2015)
hal-01192668 , version 4 (07-11-2018)

Identifiants

Citer

Christophe Denis, Pablo de Oliveira Castro, Eric Petit. Verificarlo: checking floating point accuracy through Monte Carlo Arithmetic. 2015. ⟨hal-01192668v1⟩
2027 Consultations
1646 Téléchargements

Altmetric

Partager

More