Static and Dynamic Methods of Polyhedral Compilation for an Efficient Execution in Multicore Environments

Benoit Pradelle 1, 2
1 CAMUS - Compilation pour les Architectures MUlti-coeurS
LSIIT - Laboratoire des Sciences de l'Image, de l'Informatique et de la Télédétection, Inria Nancy - Grand Est
Résumé : Depuis plusieurs années, le nombre de cœurs de calcul dans les processeurs ne cesse d'augmenter à chaque nouvelle génération. Les processeurs multi-cœurs sont maintenant très fréquents mais le développement de logiciels séquentiels reste une pratique très courante. Pour palier à ce problème, des outils de parallélisation automatique ont été proposés mais ils ne sont pas encore prêts pour une utilisation à grande échelle. Nous proposons d'étendre les outils existants dans trois directions différentes. Premièrement, on peut remarquer que le code source de certains programmes n'est pas disponible. Nous proposons donc un système de parallélisation statique de code binaire qui permet de paralléliser un application séquentielle déjà compilée. Ensuite, on peut s'apercevoir que la performance d'un programme dépend du contexte d'exécution dans lequel il s'exécute. Nous présentons donc un système qui permet de sélectionner une version d'un programme parmi plusieurs afin d'exploiter au mieux les particularités du contexte d'exécution courant. Enfin, étant donné que certains programmes sont difficiles à analyser statiquement, nous proposons un système de parallélisation spéculative permettant d'appliquer dynamiquement des transformations de code complexes sur ces programmes. Ces trois systèmes utilisent le modèles polyédrique comme une boîte à outil permettant d'analyser, de transformer ou de paralléliser les programmes. En travaillant à différentes phases de la vie des programmes, ils forment une approche globale qui étend les techniques de parallélisation existantes.
Type de document :
Thèse
Hardware Architecture [cs.AR]. Université de Strasbourg, 2011. English
Liste complète des métadonnées

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

https://tel.archives-ouvertes.fr/tel-00733856
Contributeur : Philippe Clauss <>
Soumis le : mercredi 19 septembre 2012 - 17:29:11
Dernière modification le : vendredi 12 janvier 2018 - 01:09:35
Document(s) archivé(s) le : jeudi 20 décembre 2012 - 03:48:14

Identifiants

  • HAL Id : tel-00733856, version 1

Collections

Citation

Benoit Pradelle. Static and Dynamic Methods of Polyhedral Compilation for an Efficient Execution in Multicore Environments. Hardware Architecture [cs.AR]. Université de Strasbourg, 2011. English. 〈tel-00733856〉

Partager

Métriques

Consultations de la notice

374

Téléchargements de fichiers

447