Abstract FR:

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