Abstract FR:

La generation de code pour machines a memoire distribuee ou hierarchique a partir d'un programme sequentiel necessite d'une part une analyse du parallelisme potentiel de l'application, et d'autre part des transformations de programme pour augmenter la localite des references memoire. Nous montrons dans cette these comment ceci peut s'effectuer a partir d'analyses de regions de tableaux. Nous etudions tout d'abord le cadre theorique de ces analyses, en particulier les problemes poses par les analyses sous-estimees, pour lesquelles nous proposons une solution. Nous definissons ensuite quatre types de regions (read, write, in et out) et montrons comment elles peuvent etre utilisees pour l'analyse des dependances interprocedurales, et pour caracteriser la localite des calculs, ce qui donne lieu a un nouvel algorithme de privatisation de tableaux. L'implantation dans pips est ensuite decrite. Elle comprend un algorithme original de traduction interprocedurale des regions de tableaux. Des experiences sur des applications reelles ont montre la robustesse et l'efficacite de cette implantation