Compilation d'un langage specialise pour machine massivement parallele

par Julien Mallet

Thèse de doctorat en Informatique

Sous la direction de Daniel Le Métayer.

Soutenue en 1998

à Rennes 1 .

mots clés

Résumé

Les langages de programmation utilises pour les machines paralleles sont soit des langages a parallelisme explicite efficaces mais non portables et tres complexes a utiliser, soit des langages simples et portables mais leur compilation est complexe et relativement inefficace. Nous proposons un langage specialise base sur des shemas de programme (patrons) encapsulant des flots de donnee et de controle pour lequel une analyse de cout exacte de l'implantation parallele existe. Le schema de compilation propose vise a choisir automatiquement les distributions des donnees sur les processeurs grace au cout exact assure par le langage source. Ceci permet d'obtenir une compilation automatique tout en conservant un code parallele efficace (les distributions representant un choix d'implantation parallele global). Notre schema de compilation est compose d'une suite de transformations et d'analyses automatiques de programmes. Chaque transformation transforme un langage a patrons dans un autre plus proche d'un code a parallelisme explicite. Le langage cible est un langage a patrons decrivant des programmes spmd directement traduisible en un langage sequentiel avec des appels a des primitives de bibliotheque de communication. Les etapes principales de compilation sont l'analyse de taille, la transformation de modification en place, l'explicitation des communications et la distribution des donnees.

Pas de résumé disponible.