Accurate and efficient implementation of affine arithmetic using floating-point arithmetic - Archive ouverte HAL
Communication Dans Un Congrès Année : 2014

Accurate and efficient implementation of affine arithmetic using floating-point arithmetic

Résumé

Affine arithmetic is one of the extensions of interval arithmetic that aim at counteracting the variable dependency problem. With affine arithmetic, defined in [5] by Stolfi and Figueiredo, variables are represented as affine combination of symbolic noises. It differs from the generalized interval arithmetic, defined by Hansen in [1], where variables are represented as affine combination of intervals. Non-affine operations are realized through the introduction of a new noise, that accounts for nonlinear terms. Variants of affine arithmetic have been proposed, they aim at limiting the number of noise symbols. Let us mention [4] by Messine and [6] by Vu, Sam-Haroud and Faltings to quote only a few. The focus here is on the implementation of affine arithmetic using floating-point arithmetic. With floating-point arithmetic, an issue is to handle roundoff errors and to incorporate them in the final result, so as to satisfy the inclusion property, which is the fundamental property of interval arithmetic. In [4], [5] and [6], roundoff errors are accounted for in a manner that implies frequent switches of the rounding mode; this incurs a severe time penalty. Implementations of these variants are available in YalAA, developed by Kiel [2]. We propose an implementation that uses one dedicated noise symbol for accumulated roundoff errors. For accuracy purposes, the roundoff error $\epsilon$ of each arithmetic operation is computed exactly via EFT (Error Free Transforms). For efficiency purposes, the rounding mode is never switched. Instead, a brute-force bound on the roundoff error incurred by the accumulation of the $\epsilon$s mentioned above is used. Experimental results are presented. The proposed implementation is one of the most accurate and its execution time is significantly reduced; it can be up to 50\% faster than other implementations. Furthermore, the use of a FMA (Fused Multiply-and-Add) reduces drastically the cost of the EFT and the overall performance is even better.
Fichier non déposé

Dates et versions

hal-04600180 , version 1 (04-06-2024)

Licence

Identifiants

  • HAL Id : hal-04600180 , version 1

Citer

Jordan Ninin, Nathalie Revol. Accurate and efficient implementation of affine arithmetic using floating-point arithmetic. 16th International Symposium on Scientific Computing, Computer Arithmetic, and Validated Numerics, Sep 2014, Würzburg, Germany. ⟨hal-04600180⟩
28 Consultations
0 Téléchargements

Partager

More