Synthèse de code avec compromis entre performance et précision en arithmétique flottante IEEE 754

Laurent Thévenoux 1
1 DALI - Digits, Architectures et Logiciels Informatiques
LIRMM - Laboratoire d'Informatique de Robotique et de Microélectronique de Montpellier, UPVD - Université de Perpignan Via Domitia
Résumé : La précision numérique et le temps d’exécution des programmes utilisant l’arithmétique flottante sont des enjeux majeurs dans de nombreuses applications de l’informatique. L’amélioration de ces critères fait l’objet de nombreux travaux de recherche. Cependant, nous constatons que l’amélioration de la précision diminue les performances et inversement. En effet, les techniques d’amélioration de la précision, telles que les expansions ou les compensations, augmentent le nombre de calculs que devra exécuter un programme. Plus ce coût est élevé, plus les performances sont diminuées. Ce travail de thèse présente une méthode d’amélioration automatique de la précision prenant en compte l’effet négatif sur les performances. Pour cela nous automatisons les transformations sans erreur des opérations élémentaires car cette technique présente un fort potentiel de parallélisme. Nous proposons de plus des stratégies d’optimisation permettant une amélioration partielle des programmes afin de contrôler plus finement son impact sur les performances. Des compromis entre performances et précision sont alors assurés par la synthèse de code. Nous présentons de plus, à l’aide d’outils implantant toutes les contributions de ce travail, de nombreux résultats expérimentaux.
Type de document :
Thèse
Arithmétique des ordinateurs. Université de Perpignan Via Domitia, 2014. Français
Liste complète des métadonnées


https://tel.archives-ouvertes.fr/tel-01143824
Contributeur : Laurent Thévenoux <>
Soumis le : vendredi 4 novembre 2016 - 20:56:37
Dernière modification le : vendredi 9 juin 2017 - 10:40:51
Document(s) archivé(s) le : dimanche 5 février 2017 - 12:41:40

Identifiants

  • HAL Id : tel-01143824, version 1

Collections

Citation

Laurent Thévenoux. Synthèse de code avec compromis entre performance et précision en arithmétique flottante IEEE 754. Arithmétique des ordinateurs. Université de Perpignan Via Domitia, 2014. Français. <tel-01143824>

Partager

Métriques

Consultations de
la notice

205

Téléchargements du document

253