Compilation de boucles dirigee par les donnees

par MARC LE FUR

Thèse de doctorat en Sciences appliquées

Sous la direction de F. ANDRE.

Soutenue en 1995

à Rennes 1 .

    mots clés mots clés


  • Résumé

    Cette these concerne la compilation de programmes sequentiels imperatifs pour machines paralleles a memoire distribuee. Nous etudions plus particulierement le probleme de la compilation des boucles regulieres dans le cadre de l'approche dirigee par le placement des donnees. Cette approche est qualifiee de semi-automatique puisque le concepteur d'application a la charge de specifier la distribution des donnees de son programme dans les memoires locales des processeurs. Le compilateur derive ensuite un code parallele en utilisant une regle qui lie la distribution du controle et le placement des donnees. Nous presentons un schema de compilation efficace pour une classe de nids de boucles appeles nids commutatifs. La classe comprend les boucles paralleles comportant une affectation ainsi que les reductions. Les nids commutatifs constituent frequemment la structure de controle de base dans les applications scientifiques regulieres et peuvent de plus etre produits par des transformations connues en parallelisation automatique. Apres avoir defini le contexte du travail, la generation de code pour les nids commutatifs est presentee. Nous montrons que les differents codes produits codes de communication et de calcul peuvent etre caracterises par un certain nombre de polyedres. Les algorithmes qui servent de base a la generation de code sont ensuite decrits et concernent le calcul de structures de controle dont l'execution enumere les vecteurs entiers de polyedres. Le schema de compilation a ete mis en uvre au sein du compilateur pandore ; les experimentations effectuees montrent l'interet du schema de compilation et de l'executif sous-jacent. Enfin, un certain nombre de perspectives sont envisagees dans le cadre du langage hpf


  • Pas de résumé disponible.

Consulter en bibliothèque

La version de soutenance existe sous forme papier

Informations

  • Détails : 137 P.
  • Annexes : 63 REF.

Où se trouve cette thèse ?

  • Bibliothèque : Université de Rennes I. Service commun de la documentation. Section sciences et philosophie.
  • Disponible pour le PEB
  • Cote : TA RENNES 1995/76
Voir dans le Sudoc, catalogue collectif des bibliothèques de l'enseignement supérieur et de la recherche.