Parallélisation automatique : du modèle systolique à la compilation des nids de boucles
Auteur / Autrice : | Tanguy Risset |
Direction : | Yves Robert |
Type : | Thèse de doctorat |
Discipline(s) : | Sciences. Informatique |
Date : | Soutenance en 1994 |
Etablissement(s) : | Lyon 1 |
Partenaire(s) de recherche : | Autre partenaire : École normale supérieure (Lyon1987-2009) |
Jury : | Examinateurs / Examinatrices : Yves Robert |
Mots clés
Résumé
Les techniques developpees par la recherche dans le domaine des architectures systoliques sont tres proches de celle qui servent aujourd'hui a la parallelisation automatique de programmes simples. Cette these etudie ces techniques a travers leurs differentes applications. On etudie d'abord la synthese systolique pure pour des algorithmes de calcul matriciel. Puis on s'interesse a l'extension du modele systolique a une architecture plus generale. On travaille ensuite sur les techniques de programmation simd, en utilisant les resultats obtenus sur les architectures semi-systoliques. On etudie enfin la parallelisation automatique de programmes simples du type boucles imbriquees. On travaille plus particulierement sur les transformations de boucles comme la reecriture de nids de boucle ou le changement de granularite d'un nid de boucles