Abstract FR:

Cette these s'integre dans le cadre de la realisation de l'environnement de programmation fortran-s pour machines paralleles a memoire virtuelle partagee (mvp). Ces machines offrent un espace d'adressage global sur une architecture physiquement distribuee. L'utilisation d'un protocole de coherence forte sur ces machines engendre un phenomene de faux-partage, nuisible aux performances des machines paralleles. Nous proposons dans cette these des techniques de partitionnement des nids de boucles permettant d'eliminer ou de reduire les effets du faux-partage. La mvp etant decoupee en page, utilisees comme gain de coherence et de transfert de donnees, la localite spatiale a sur ces machines un impact fondamental sur les performances. Afin de generaliser l'emploi des techniques d'amelioraltion de la localite, nous proposons d'etendre les transformations lineaires de nids de boucles au cas non entier. Nous presentons egalement un raffinement de l'algorithme de fourier-motzkin pour la recherche des points entiers d'un polyedre rationnel, permettant de determiner plus precisement les bornes de boucles apres transformation. Les differentes methodes presentees dans cette these sont en cours de mise en uvre sur fortran-s