Beyond the Realm of the Polyhedral Model: Combining Speculative Program Parallelization with Polyhedral Compilation

Aravind Sukumaran-Rajam 1
1 CAMUS - Compilation pour les Architectures MUlti-coeurS
Inria Nancy - Grand Est, ICube - Laboratoire des sciences de l'ingénieur, de l'informatique et de l'imagerie
Résumé : 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.
Type de document :
Thèse
Computation and Language [cs.CL]. Université de Strasbourg, 2015. English
Liste complète des métadonnées

Littérature citée [82 références]  Voir  Masquer  Télécharger

https://hal.inria.fr/tel-01251748
Contributeur : Philippe Clauss <>
Soumis le : mercredi 6 janvier 2016 - 16:28:51
Dernière modification le : jeudi 29 mars 2018 - 09:10:05
Document(s) archivé(s) le : jeudi 7 avril 2016 - 16:09:19

Identifiants

  • HAL Id : tel-01251748, version 1

Collections

Citation

Aravind Sukumaran-Rajam. Beyond the Realm of the Polyhedral Model: Combining Speculative Program Parallelization with Polyhedral Compilation. Computation and Language [cs.CL]. Université de Strasbourg, 2015. English. 〈tel-01251748〉

Partager

Métriques

Consultations de la notice

275

Téléchargements de fichiers

277