Publications

Thèses


< retour aux thèses

« Compilation et optimisations pour l'arithmétique à virgule flottante en précision variable : du langage et des bibliothèques à la génération de code ».

Auteur : T. Trevisan Jost
Directeur de thèse : F. Pétrot
Co-directeur de thèse : A. Cohen, C. Fabre
These de Doctorat Université Grenoble Alpes
Spécialité : Micro et Nano Electronique
Soutenance : 02/07/2021

Résumé

Le récent format de nombres nommé UNUM (pour universal number) semble apporter des améliorations significatives par rapport au format actuel IEEE 754. Par exemple, l'information de l'exactitude d'un nombre, ou un format à taille variable, ce qui permet de réduire les besoin en mémoire. Si ces promesses sont intéressantes, elles ont néanmoins des limitations. Par ex. le format de taille variable nécessite un opérateur interne de normalisation, et des arrondis car la taille interne des opérateurs est nécessairement limitée. Pour établir un bon compromis entre les promesses des UNUM et leur limitations, il est nécessaire de travailler à une plus grande interaction et intégration entre le les opérateurs UNUM et le compilateur. Un compilateur pour un langage utilisant les UNUM pourrait, par ex., faire des analyses de parallélisme pour alimenter les modules implémentant leur arithmétique. Le but étant de d'organiser les flots de calcul en fonction des méta-informations sur les résultats intermédiaires, tels que l'intervalle d'exactitude d'un résultat ou la taille de sa mantisse.