Analyses de regions de tableaux et applications

par BEATRICE CREUSILLET APVRILLE

Thèse de doctorat en Sciences appliquées

Sous la direction de F. IRIGOIN.

Soutenue en 1997

à Paris, ENMP .

mots clés

Résumé

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

Titre traduit

Array region analyses and applications

Pas de résumé disponible.