Thèse soutenue

Génération de code efficace pour accélérateurs matériels par raffinement d’implémentations partiellement spécifiées
FR  |  
EN
Accès à la thèse
Auteur / Autrice : Ulysse Beaugnon
Direction : Albert Henri CohenMarc Pouzet
Type : Thèse de doctorat
Discipline(s) : Informatique
Date : Soutenance le 10/06/2019
Etablissement(s) : Paris Sciences et Lettres (ComUE)
Ecole(s) doctorale(s) : École doctorale Sciences mathématiques de Paris centre (Paris ; 2000-....)
Partenaire(s) de recherche : Laboratoire : École normale supérieure (Paris ; 1985-....). Département d'informatique
établissement de préparation de la thèse : École normale supérieure (Paris ; 1985-....)
Equipe de recherche : Équipe de recherche Parallélisme de Kahn synchrone (Paris)
Jury : Président / Présidente : Francesco Zappa Nardelli
Examinateurs / Examinatrices : Albert Henri Cohen, Marc Pouzet, Francesco Zappa Nardelli, Christophe Dubach, Ratislav Bodik, Anton Lokhmotov, Jacques Pienaar
Rapporteurs / Rapporteuses : Christophe Dubach, Ratislav Bodik

Mots clés

FR  |  
EN

Mots clés contrôlés

Résumé

FR  |  
EN

Les compilateurs cherchant à améliorer l’efficacité des programmes doivent déterminer quelles optimisations seront les plus bénéfiques. Ce problème est complexe, surtout lors des premières étapes de la compilation où chaque décision influence les choix disponibles aux étapes suivantes. Nous proposons de représenter la compilation comme le raffinement progressif d’une implémentation partiellement spécifiée. Les décisions possibles sont toutes connues dès le départ et commutent. Cela permet de prendre les décisions les plus importantes en premier et de construire un modèle de performance capable d'anticiper les potentielles optimisations. Nous appliquons cette approche pour générer du code d'algèbre linéaire ciblant des GPU et obtenons des performances comparables aux bibliothèques optimisées à la main.