Numerical validation in quadruple precision using stochastic arithmetic

16 pages•Published: October 11, 2018

Stef Graillat, Fabienne Jézéquel, Romain Picot, François Févotte and Bruno Lathuilière

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 successfully 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.

Keyphrases: accuracy, floating point arithmetic, ieee 754 2008 standard, numerical validation, quadruple precision, rounding errors, stochastic arithmetic

In: Matthieu Martel, Nasrine Damouche and Julien Alexandre Dit Sandretto (editors). TNC'18. Trusted Numerical Computations, vol 8, pages 38-53.

Links:	https://easychair.org/publications/paper/lMs9
	https://doi.org/10.29007/5c91

BibTeX entry

@inproceedings{TNC'18:Numerical_validation_quadruple_precision,
  author    = {Stef Graillat and Fabienne Jézéquel and Romain Picot and François Févotte and Bruno Lathuilière},
  title     = {Numerical validation in quadruple precision using stochastic arithmetic},
  booktitle = {TNC'18. Trusted Numerical Computations},
  editor    = {Matthieu Martel and Nasrine Damouche and Julien Alexandre Dit Sandretto},
  series    = {Kalpa Publications in Computing},
  volume    = {8},
  publisher = {EasyChair},
  bibsource = {EasyChair, https://easychair.org},
  issn      = {2515-1762},
  url       = {/publications/paper/lMs9},
  doi       = {10.29007/5c91},
  pages     = {38-53},
  year      = {2018}}

Download PDF Open PDF in browser