Sipe: a Mini-Library for Very Low Precision Computations with Correct Rounding

Vincent Lefèvre 1, *
* Auteur correspondant
1 ARIC - Arithmetic and Computing
Inria Grenoble - Rhône-Alpes, LIP - Laboratoire de l'Informatique du Parallélisme
Résumé : Sipe est une mini-bibliothèque sous forme de fichier d'en-tête C permettant d'effectuer des calculs en virgule flottante en base 2 à très basses précisions avec arrondi correct, soit au plus près, soit vers zéro. Le but d'un tel outil est de faire des preuves d'algorithmes/propriétés ou des calculs de bornes d'erreur fines dans ces précisions par des tests exhaustifs, afin de les généraliser à des précisions supérieures. Les opérations actuellement supportées sont l'addition, la soustraction, la multiplication (éventuellement avec terme d'erreur), le FMA/FMS, et diverses comparaisons et conversions. Sipe fournit deux implémentations de ces opérations, avec la même API et le même comportement: une basée sur l'arithmétique entière, et une nouvelle basée sur l'arithmétique à virgule flottante. Des comparaisons de temps de calcul ont été faites avec la virgule flottante IEEE 754 du processeur et avec GNU MPFR.
Type de document :
Pré-publication, Document de travail
2013
Liste complète des métadonnées

Littérature citée [11 références]  Voir  Masquer  Télécharger

https://hal.inria.fr/hal-00864580
Contributeur : Vincent Lefèvre <>
Soumis le : dimanche 22 septembre 2013 - 18:57:01
Dernière modification le : vendredi 29 septembre 2017 - 13:44:03
Document(s) archivé(s) le : lundi 23 décembre 2013 - 04:25:20

Fichier

ieeetc-sipe-final.pdf
Fichiers produits par l'(les) auteur(s)

Identifiants

  • HAL Id : hal-00864580, version 1

Collections

Citation

Vincent Lefèvre. Sipe: a Mini-Library for Very Low Precision Computations with Correct Rounding. 2013. 〈hal-00864580〉

Partager

Métriques

Consultations de la notice

213

Téléchargements de fichiers

131