Note ABES XFOR (Multifor) : A new programming structure to ease the formulation of efficient loop optimizations XFOR (Multifor) : nouvelle structure de programmation pour faciliter la formulation des optimisations efficaces de boucles Xfor Structure itérative Programmation parallèle Modèle polyédrique Optimization de boucles Transformation de boucles Localité de données Génération de code Xfor Iterative structure Parallel programming Polyhedral model Loop optimization Loop transformation Data locality Code generation 005.4 Programmation parallèle (informatique) Compilation (informatique) Polyèdres Informatique Algorithmes Nous proposons une nouvelle structure de programmation appelée XFOR (Multifor), dédiée à la programmation orientée réutilisation de données. XFOR permet de gérer simultanément plusieurs boucles "for" ainsi que d’appliquer/composer des transformations de boucles d’une façon intuitive. Les expérimentations ont montré des accélérations significatives des codes XFOR par rapport aux codes originaux, mais aussi par rapport au codes générés automatiquement par l’optimiseur polyédrique de boucles Pluto. Nous avons mis en œuvre la structure XFOR par le développement de trois outils logiciels: (1) un compilateur source-à-source nommé IBB, qui traduit les codes XFOR en un code équivalent où les boucles XFOR ont été remplacées par des boucles for sémantiquement équivalentes. L’outil IBB bénéficie également des optimisations implémentées dans le générateur de code polyédrique CLooG qui est invoqué par IBB pour générer des boucles for à partir d’une description OpenScop; (2) un environnement de programmation XFOR nommé XFOR-WIZARD qui aide le programmeur dans la ré-écriture d’un programme utilisant des boucles for classiques en un programme équivalent, mais plus efficace, utilisant des boucles XFOR; (3) un outil appelé XFORGEN, qui génère automatiquement des boucles XFOR à partir de toute représentation OpenScop de nids de boucles transformées générées automatiquement par un optimiseur automatique. We propose a new programming structure named XFOR (Multifor), dedicated to data-reuse aware programming. It allows to handle several for-loops simultaneously and map their respective iteration domains onto each other. Additionally, XFOR eases loop transformations application and composition. Experiments show that XFOR codes provides significant speed-ups when compared to the original code versions, but also to the Pluto optimized versions. We implemented the XFOR structure through the development of three software tools: (1) a source-to-source compiler named IBB for Iterate-But-Better!, which automatically translates any C/C++ code containing XFOR-loops into an equivalent code where XFOR-loops have been translated into for-loops. IBB takes also benefit of optimizations implemented in the polyhedral code generator CLooG which is invoked by IBB to generate for-loops from an OpenScop specification; (2) an XFOR programming environment named XFOR-WIZARD that assists the programmer in re-writing a program with classical for-loops into an equivalent but more efficient program using XFOR-loops; (3) a tool named XFORGEN, which automatically generates XFOR-loops from any OpenScop representation of transformed loop nests automatically generated by an automatic optimizer. Electronic Thesis or Dissertation Text en PDF 10244865 Université de Strasbourg Strasbourg 2016-12-31 https://theses.hal.science/tel-01355455 application/pdf 10180942 https://publication-theses.unistra.fr/public/theses_doctorat/2015/Imen_Fassi_2015_ED269.pdf http://www.theses.fr/2015STRAD043/abes https://theses.hal.science/tel-01355455 https://theses.hal.science/tel-01355455 https://theses.hal.science/tel-01355455 Fassi Imen 1985-06-18 TN 194173445 21318253 https://theses.fr/2015STRAD043 2015STRAD043 https://doi.org/10.70675/22c0e3dbzdd49z4a72z855cz36d0d71a5075 2015-11-27 Informatique Strasbourg 131056549 Doctorat Docteur es non oui Clauss Philippe MADS_DIRECTEUR_DE_THESE_1 098478389 Derrien Steven MADS_PRESIDENT_DU_JURY 069997519 Irigoin François MADS_RAPPORTEUR_1 076958639 Barthou Denis MADS_RAPPORTEUR_2 061281387 École doctorale Mathématiques, sciences de l'information et de l'ingénieur (Strasbourg ; 1997-....) MADS_ECOLE_DOCTORALE_1 MA 156504863 Laboratoire des sciences de l'ingénieur, de l'informatique et de l'imagerie (Strasbourg ; 2013-....) MADS_PARTENAIRE_DE_RECHERCHE_1 UMR7357 176969721 260728 ddc:004 Clauss Philippe Derrien Steven Irigoin François Barthou Denis École doctorale Mathématiques, sciences de l'information et de l'ingénieur (Strasbourg) Laboratoire des sciences de l'ingénieur, de l'informatique et de l'imagerie (Strasbourg) PDF 10244865