Note ABES Beyond the realm of the polyhedral model : combining speculative program parallelization with polyhedral compilation Au-delà des limites du modèle polyédrique : l'alliage de la parallélisation spéculative de programmes avec la compilation polyédrique Compilation dynamique Modèle polyédrique Parallélisation spéculative APOLLO Régression linéaire Dynamic compilation Polyedral model Loop optimization Thread level speculation Speculative optimization Regression Compilers 005.4 Programmation parallèle (informatique) Compilation (informatique) Polyèdres Informatique Dans cette thèse, nous présentons nos contributions à Apollo (Automatic speculative POLyhedral Loop Optimizer), qui est un compilateur automatique combinant la parallélisation spéculative et le modèle polyédrique, afin d’optimiser les codes à la volée. En effectuant une instrumentation partielle au cours de l’exécution, et en la soumettant à une interpolation, Apollo est capable de construire un modèle polyédrique spéculatif dynamiquement. Ce modèle spéculatif est ensuite transmis à Pluto, qui est un ordonnanceur polyédrique statique. Apollo sélectionne ensuite un des squelettes d’optimisation de code générés statiquement, et l’instancie. La partie dynamique d’Apollo surveille continuellement l’exécution du code afin de détecter de manière dé- centralisée toute violation de dépendance. Une autre contribution importante de cette thèse est notre extension du modèle polyédrique aux codes exhibant un comportement non-linéaire. Grâce au contexte dynamique et spéculatif d’Apollo, les comportements non-linéaires sont soit modélisés par des hyperplans de régression linéaire formant des tubes, soit par des intervalles de valeurs atteintes. Notre approche permet l’application de transformations polyédriques à des codes non-linéaires grâce à un système de vérification de la spéculation hybride, combinant vérifications centralisées et décentralisées. In this thesis, we present our contributions to APOLLO (Automatic speculative POLyhedral Loop Optimizer), which is an automated compiler combining Thread Level Speculation (TLS) and the polyhedral model to optimize codes on the fly. By doing partial instrumentation at runtime, and subjecting it to interpolation, Apollo is able to construct a speculative polyhedral model dynamically. The speculative model is then passed to Pluto -a static polyhedral scheduler-. Apollo then selects one of the statically generated code optimization skeletons and instantiates it. The runtime continuously monitors the code for any dependence violation in a decentralized manner. Another important contribution of this thesis is our extension of the polyhedral model to codes exhibiting a non linear behavior. Thanks to the dynamic and speculative context offered by Apollo, non-linear behaviors are either modeled using linear regression hyperplanes forming tubes, or using ranges of reached values. Our approach enables the application of polyhedral transformations to non-linear codes thanks to an hybrid centralized-decentralized speculation verification system Electronic Thesis or Dissertation Text en PDF 2051246 Université de Strasbourg Strasbourg 2016-12-31 https://theses.hal.science/tel-01342007 application/pdf 1735927 https://publication-theses.unistra.fr/public/theses_doctorat/2015/SUKUMARAN-RAJAM_Aravind_2015_ED269.pdf http://www.theses.fr/2015STRAD040/abes https://theses.hal.science/tel-01342007 https://theses.hal.science/tel-01342007 https://theses.hal.science/tel-01342007 Sukumaran Rajam Aravind 1989-05-21 IN 19416103X 21219207 https://theses.fr/2015STRAD040 2015STRAD040 https://doi.org/10.70675/5f49ee8ezbfcaz416bzb95cza9f610d9c160 2015-11-05 Informatique Strasbourg 131056549 Doctorat Docteur es non oui Clauss Philippe MADS_DIRECTEUR_DE_THESE_1 098478389 Charles Henri-Pierre MADS_PRESIDENT_DU_JURY 052298264 Sadayappan Ponnuswamy MADS_RAPPORTEUR_1 132136163 Rohou Erven MADS_RAPPORTEUR_2 135287065 É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 Charles Henri-Pierre Sadayappan Ponnuswamy Rohou Erven É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 2051246