Thèse soutenue

Polyhedral code generation : reducing overhead and increasing parallelism
FR  |  
EN
Accès à la thèse
Auteur / Autrice : Harenome Razanajato
Direction : Cédric Bastoul
Type : Thèse de doctorat
Discipline(s) : Informatique
Date : Soutenance le 24/09/2020
Etablissement(s) : Strasbourg
Ecole(s) doctorale(s) : École doctorale Mathématiques, sciences de l'information et de l'ingénieur (Strasbourg ; 1997-....)
Partenaire(s) de recherche : Laboratoire : Laboratoire des sciences de l'ingénieur, de l'informatique et de l'imagerie (Strasbourg)
Jury : Président / Présidente : Christine Eisenbeis
Examinateurs / Examinatrices : Cédric Bastoul, Christine Eisenbeis, François Irigoin, Christophe Alias, Vincent Loechner, Benoît Meister
Rapporteurs / Rapporteuses : François Irigoin, Christophe Alias

Résumé

FR  |  
EN

Cette thèse propose de nouvelles extensions à la phase de génération de code dans les compilateurs polyédriques. Une grande partie des travauex actuels dans le domaine du modèle polédrique porte sur les transformations à appliquer et les optimisations ainsi permises. À l’inverse, la génération de code est délaissée car la littérature correspondante offre des algorithmes considérés comme étant suffisamment performants. Nous montrons dans cette thèse qu’il subsiste une nette marge d’amélioration vis-à-vis de l’état de l’art. Nous expliquons comment le coût du contrôle dû au parcours de plusieurs polyèdres dans le code généré par un compilateur polyédrique peut être diminué. Dans le cas de codes parallèles, les ysnchronisations peuvent limiter dreastiquement la performance du programme. Nous donnons la méthode permettant de détecter et éliminer les barrières de synchronisation superflues. Enfin, nous proposons le pipelined multithreading, une transformation qui introduit du parallélisme sur une classe de programmes jusqu’à present ignorée par les paralléliseurs polyédriques.