Note ABES Polyhedral code generation : reducing overhead and increasing parallelism Génération de code polyédrique efficace : vers plus de parallélisme et moins de contrôle Modèle polyédrique Génération de code Parallélisation automatique Code generation Polyhedral mode Automatic parallelisation 004.1 Code source (informatique) Compilation (informatique) Parallélisme (informatique) 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. This thesis proposes new extensions to the code generation phase in polyhedral compilers. The main focus of recent work on polyhedral compilation is the optimizations leveraged by polyhedral transformations while state-of-the-art code generation algorithms are considered satisfactory. We show that state-of-the-art polyhedral code generation can still be further improved. We explain how splitting polyhedra can reduce the control overhead introduced by polyhedra scanning in the code generated by a polyhedral compiler. Synchronizations in parallel code can drastically impede a program’s performance. We propose a method to detect and lift unnecessary synchronization barriers. Finally, we introduce pipelined multithreading, a transformation that introduces parallelism in a class of programs that was, until now, ignored by polyhedral parallelizers. Electronic Thesis or Dissertation Text en PDF 880205 Université de Strasbourg Strasbourg 2021-12-31 https://theses.hal.science/tel-03505851 application/pdf 1040841 https://publication-theses.unistra.fr/public/theses_doctorat/2020/Razanajato_Harenome_2020_ED269.pdf http://www.theses.fr/2020STRAD015/abes https://theses.hal.science/tel-03505851 https://theses.hal.science/tel-03505851 https://theses.hal.science/tel-03505851 Razanajato Harenome 1992-02-22 FR 259255424 https://theses.fr/2020STRAD015 2020STRAD015 https://doi.org/10.70675/ceece872z48a1z47e3zba4ez2753b8df5fe5 2020-09-24 Informatique Strasbourg 131056549 Doctorat Docteur es non oui Bastoul Cédric MADS_DIRECTEUR_DE_THESE_1 089425200 Eisenbeis Christine MADS_PRESIDENT_DU_JURY 157021726 Bastoul Cédric MADS_MEMBRE_DU_JURY_1 089425200 Eisenbeis Christine MADS_MEMBRE_DU_JURY_2 157021726 Irigoin François MADS_MEMBRE_DU_JURY_3 076958639 Alias Christophe MADS_MEMBRE_DU_JURY_4 195246446 Loechner Vincent MADS_MEMBRE_DU_JURY_5 114245908 Meister Benoît MADS_MEMBRE_DU_JURY_6 098478257 Irigoin François MADS_RAPPORTEUR_1 076958639 Alias Christophe MADS_RAPPORTEUR_2 195246446 École doctorale Mathématiques, sciences de l'information et de l'ingénieur (Strasbourg ; 1997-....) MADS_ECOLE_DOCTORALE_1 156504863 Laboratoire des sciences de l'ingénieur, de l'informatique et de l'imagerie (Strasbourg ; 2013-....) MADS_PARTENAIRE_DE_RECHERCHE_1 176969721 260728 ddc:004 Bastoul Cédric Eisenbeis Christine Bastoul Cédric Eisenbeis Christine Irigoin François Alias Christophe Loechner Vincent Meister Benoît Irigoin François Alias Christophe École doctorale Mathématiques, sciences de l'information et de l'ingénieur (Strasbourg ; 1997-....) Laboratoire des sciences de l'ingénieur, de l'informatique et de l'imagerie (Strasbourg) PDF 880205