Fast and flexible compilation techniques for effective speculative polyhedral parallelization
Techniques de compilation flexibles et rapides pour la parallelization polyédrique et spéculative
Parallélisation
Optimisation polyédrique
Spéculatif
Software
Just-In-Time
Compilateur
Parallelization
Compiler
Speculative
Multicore
Software
Just-In-Time
005.4
Programmation parallèle (informatique)
Compilation (informatique)
Polyèdres
Informatique
Algorithmes
Dans cette thèse, nous présentons nos contributions à APOLLO : un compilateur de parallélisation automatique qui combine l'optimisation polyédrique et la parallélisation spéculative, afin d'optimiser des programmes dynamiques à la volée. Grâce à une phase de profilage en ligne et un modèle spéculatif du comportement mémoire du programme cible, Apollo est capable de sélectionner une optimisation et de générer le code résultant. Pendant l'exécution du programme optimisé, Apollo vérifie constamment la validité du modèle spéculatif. La contribution principale de cette thèse est un mécanisme de génération de code qui permet d'instancier toute transformation polyédrique, au cours de l'exécution du programme cible, sans engendrer de surcoût temporel majeur. Ce procédé est désormais utilisé dans Apollo. Nous l'appelons Code-Bones. Il procure des gains de performance significatifs par comparaison aux autres approches.
In this thesis, we present our contributions to APOLLO: an automatic parallelization compiler that combines polyhedral optimization with Thread-Level-Speculation, to optimize dynamic codes on-the-fly. Thanks to an online profiling phase and a speculation model about the target's code behavior, Apollo is able to select an optimization and to generate code based on it. During optimized code execution, Apollo constantly verifies the validity of the speculation model. The main contribution of this thesis is a code generation mechanism that is able to instantiate any polyhedral transformation, at runtime, without incurring a major time-overhead. This mechanism is currently in use inside Apollo. We called it Code-Bones. It provides significant performance benefits when compared to other approaches.
Electronic Thesis or Dissertation
Text
en
PDF
3231662
Université de Strasbourg
Strasbourg
2017-12-31
https://theses.hal.science/tel-01377758
application/pdf
2777423
https://publication-theses.unistra.fr/public/theses_doctorat/2016/MARTINEZ_FERNANDEZ_Juan_Manuel_2016_ED269.pdf
http://www.theses.fr/2016STRAD037/abes
https://theses.hal.science/tel-01549293
https://theses.hal.science/tel-01549293
https://theses.hal.science/tel-01377758
https://theses.hal.science/tel-01377758
Martinez Caamaño
Juan Manuel
1989-12-08
AR
202677311
21318560
https://theses.fr/2016STRAD037
2016STRAD037
https://doi.org/10.70675/520fb225zfd4dz4552zb4deza77c7ec8cc90
2016-09-29
Informatique
Strasbourg
131056549
Doctorat
Docteur es
non
oui
Clauss
Philippe
MADS_DIRECTEUR_DE_THESE_1
098478389
Rohou
Erven
MADS_PRESIDENT_DU_JURY
135287065
Helluy
Philippe
MADS_MEMBRE_DU_JURY_1
112507328
Rastello
Fabrice
MADS_RAPPORTEUR_1
149155727
Charles
Henri-Pierre
MADS_RAPPORTEUR_2
052298264
É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
Rohou
Erven
Helluy
Philippe
Rastello
Fabrice
Charles
Henri-Pierre
É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
3231662