Logo de l'E.N.T. Alsace
Thèses électroniques Service Commun de la documentation
Logo de l'Université de Strasbourg
Thèses et Mémoire de l'Université de Strasbourg

Méthodes statiques et dynamiques de compilation polyédrique pour l’exécution en environnement multi-coeurs

PRADELLE, Benoît (2011) Méthodes statiques et dynamiques de compilation polyédrique pour l’exécution en environnement multi-coeurs. Thèses de doctorat, Université de Strasbourg.

Plein texte disponible en tant que :

PDF - Un observateur de PDF est nécessaire, comme par exemple GSview, Xpdf or Adobe Acrobat Reader
1500 Kb

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 pallier à 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 d'EPrint:Thèse de doctorat
Discipline de la thèse / mémoire / rapport :Informatique
Mots-clés libres:parallélisation automatique ; modèle polyédrique ; code binaire ; sélection de versions ; parallélisation spéculative ; parallélisation dynamique ; compilation
Sujets:UNERA Classification UNERA > ACT Domaine d'activité UNERA > ACT-10 Informatique
CL Classification > DDC Dewey Decimal Classification > 000 Informatique, information, généralités > 005 Programmation, programmes, données > 005.4 Programmation et programmes système
Classification Thèses Unistra > Sciences, technologies > Informatique, information, généralités > 005 Programmation, programmes, données > 005.4 Programmation et programmes système

CL Classification > DDC Dewey Decimal Classification > 000 Informatique, information, généralités > 004 Informatique > 004.2 Analyse et conception des systèmes, architecture de l'ordinateur, évaluation des systèmes et des performances
Classification Thèses Unistra > Sciences, technologies > Informatique, information, généralités > 004 Informatique > 004.2 Analyse et conception des systèmes, architecture de l'ordinateur, évaluation des systèmes et des performances

UNERA Classification UNERA > DISC Discipline UNERA > DISC-19 Mathématiques et informatique
Code ID:2401
Déposé le :14 Mars 2012

Administrateurs de l'archive uniquement : éditer cet enregistrement