inria-00475279, version 1
On the Computation of Correctly-Rounded Sums
Peter Kornerup
1Vincent Lefèvre
a, 2Nicolas Louvet
b, 2Jean-Michel Muller
c, 2
N° RR-7262 (2010)
Résumé : This paper presents a study of some basic blocks needed in the design of floating-point summation algorithms. In particular, we show that among the set of the algorithms with no comparisons performing only floating-point additions/subtractions, the 2Sum algorithm introduced by Knuth is minimal, both in terms of number of operations and depth of the dependency graph. We investigate the possible use of another algorithm, Dekker's Fast2Sum algorithm, in radix-10 arithmetic. We give methods for computing, in radix 10, the floating-point number nearest the average value of two floating-point numbers. Under reasonable conditions, we also prove that no algorithms performing only round-to-nearest additions/subtractions exist to compute the round-to-nearest sum of at least three floating-point numbers. Starting from an algorithm due to Boldo and Melquiond, we also present new results about the computation of the correctly-rounded sum of three floating-point numbers.
- a – INRIA
- b – Université Claude Bernard - Lyon I
- c – CNRS
- 1 : Department of Mathematics and Computer Science (IMADA)
- University of Southern Denmark
- 2 : ARENAIRE (Inria Grenoble Rhône-Alpes / LIP Laboratoire de l'Informatique du Parallélisme)
- INRIA – CNRS : UMR5668 – Université Claude Bernard - Lyon I – École Normale Supérieure - Lyon
- Domaine : Informatique/Arithmétique des ordinateurs
- Mots-clés : floating-point arithmetic – summation algorithms – correct rounding – 2Sum and Fast2Sum algorithms
- Référence interne : RR-7262
- Commentaire : This is an extended version of our ARITH-19 article.
- inria-00475279, version 1
- http://hal.inria.fr/inria-00475279
- oai:hal.inria.fr:inria-00475279
- Contributeur : Vincent Lefèvre
- Soumis le : Mercredi 21 Avril 2010, 17:56:56
- Dernière modification le : Vendredi 30 Avril 2010, 14:44:24






Documents associés
Exporter