Verificarlo: checking floating point accuracy through Monte Carlo Arithmetic - Inria - Institut national de recherche en sciences et technologies du numérique Access content directly
Conference Papers Year : 2016

Verificarlo: checking floating point accuracy through Monte Carlo Arithmetic

Abstract

Numerical accuracy of floating point computation is a well studied topic which has not made its way to the end-user in scientific computing. Yet, it has become a critical issue with the recent requirements for code modernization to harness new highly parallel hardware and perform higher resolution computation. 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. Unlike source-to-source approaches, our implementation captures the influence of compiler optimizations on the numerical accuracy. We illustrate how Monte Carlo Arithmetic using the verificarlo tool outperforms the existing approaches on various use cases and is a step toward automatic numerical analysis.
Fichier principal
Vignette du fichier
verificarlo-preprint.pdf (619.35 Ko) Télécharger le fichier
Origin Files produced by the author(s)

Dates and 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)

Identifiers

Cite

Christophe Denis, Pablo de Oliveira Castro, Eric Petit. Verificarlo: checking floating point accuracy through Monte Carlo Arithmetic. 2016 IEEE 23nd Symposium on Computer Arithmetic (ARITH), Jul 2016, Santa Clara, United States. ⟨10.1109/ARITH.2016.31⟩. ⟨hal-01192668v4⟩
1966 View
1579 Download

Altmetric

Share

Gmail Mastodon Facebook X LinkedIn More