Numerical validation in quadruple precision using stochastic arithmetic

Abstract : Discrete Stochastic Arithmetic (DSA) enables one to estimate rounding errors and to detect numerical instabilities in simulation programs. DSA is implemented in the CADNA library that can analyze the numerical quality of single and double precision programs. In this article, we show how the CADNA library has been improved to enable the estimation of rounding errors in programs using quadruple precision floating-point variables, i.e. having 113-bit mantissa length. Although an implementation of DSA called SAM exists for arbitrary precision programs, a significant performance improvement has been obtained with CADNA compared to SAM for the numerical validation of programs with 113-bit mantissa length variables. This new version of CADNA has been sucessfully used for the control of accuracy in quadruple precision applications, such as a chaotic sequence and the computation of multiple roots of polynomials. We also describe a new version of the PROMISE tool, based on CADNA, that aimed at reducing in numerical programs the number of double precision variable declarations in favor of single precision ones, taking into account a requested accuracy of the results. The new version of PROMISE can now provide type declarations mixing single, double and quadruple precision.
Complete list of metadatas

Cited literature [19 references]  Display  Hide  Download

https://hal.archives-ouvertes.fr/hal-01777397
Contributor : Stef Graillat <>
Submitted on : Tuesday, April 24, 2018 - 4:38:54 PM
Last modification on : Tuesday, July 16, 2019 - 5:27:08 PM

File

article_TNC.pdf
Files produced by the author(s)

Identifiers

Citation

Stef Graillat, Fabienne Jézéquel, Romain Picot, François Févotte, Bruno Lathuilière. Numerical validation in quadruple precision using stochastic arithmetic. TNC'18. Minisymposium on Trusted Numerical Computations. International Conference on Emerging Trends in Applied Mathematics and Mechanics, Jun 2018, Krakow, Poland. pp.38-53, ⟨10.29007/5c91⟩. ⟨hal-01777397⟩

Share

Metrics

Record views

246

Files downloads

315