Contributions a l'arithmetique des ordinateurs : vers une maitrise de la precision
Institution:
École normale supérieure (Lyon ; 1987-2009)Disciplines:
Directors:
Abstract EN:
Pas de résumé disponible.
Abstract FR:
Depuis l'apparition des premiers ordinateurs, l'arithmetique flottante a enormement evolue. La norme ieee 754 a permis de fixer les caracteristiques de l'arithmetique des ordinateurs modernes, mais les scientifiques perdent de plus en plus vite le controle de la validite de leurs calculs. Malgre l'enorme travail associe a la definition des operations, la validation des calculs ne peut toujours pas etre assuree de facon certaine par l'arithmetique implantee sur les ordinateurs. Je presente dans la premiere partie de cette etude deux prolongements qui visent a augmenter la marge de validite des operations: un nouveau mode d'arrondi pour les fonctions trigonometriques et un codage efficace des intervalles accessible facilement a l'utilisateur. L'arithmetique en-ligne permet de gerer efficacement les problemes de precision, mais les operateurs elementaires utilises sont peu adaptes aux architectures modernes de 32 ou 64 bits. L'implantation efficace d'un operateur en-ligne ne peut que passer par la description d'un circuit de bas niveau. Les prediffuses actifs, terme francais utilise pour field programmable gate array, sont des composants speciaux programmables au niveau des portes logiques. Ils permettent d'abaisser les couts de production en evitant de fabriquer un prototype. Nous avons implante grace a ces technologies les operateurs simples de calcul en-ligne: addition, normalisation, etc le noyau arithmetique de calcul en-ligne (nacel) decrit dans ce memoire permet d'implanter les operations arithmetiques usuelles telles que la multiplication, la division, l'extraction de racine carree et les fonctions elementaires trigonometriques et hyperboliques par une approximation polynomiale. Les architectures a flots de donnees sont insensibles aux difficultes sur lesquelles butent les concepteurs des ordinateurs modernes: temps d'acces a la memoire, latence de communication, occupation partielle du pipeline d'instructions. Je decris dans ce document une petite unite de calcul en-ligne (puce). Par une gestion adaptee des etiquettes inspiree pour le controle des donnees de celle utilisee par la manchester data flow machine. Puce reproduit le comportement complet d'une machine a flot de donnees. Elle comprend de plus les operations en-ligne de calcul scientifique. Nous presentons les resultats de simulations sur des calculs divers pour une ou plusieurs unites fonctionnelles