Doctorat
Equipe : Systèmes Parallèles
Squelettes algorithmiques asynchrones : application aux langages orientés domaine
Début le 01/09/2012
Direction : ETIEMBLE, Daniel
Ecole doctorale : ED STIC 580
Etablissement d'inscription : Université Paris-Saclay
Lieu de déroulement :
Soutenue le 08/10/2015 devant le jury composé de :
Directeur de thèse
M. Daniel ETIEMBLE, Professeur émérite, Université Paris-Sud
Co-encadrant de thèse
Joël FALCOU, Maître de Conférences, Université Paris-Sud
Rapporteurs
M. Frédéric LOULERGUE, Professeur, Université d'Orléans
M. Stéphane VIALLE, Professeur, Centrale Supélec Campus de Metz
Examinateurs
M. Sylvain CONCHON, Professeur, Université Paris-Sud
M. François IRIGOIN, Directeur de Recherche, Mines ParisTech CRI
Activités de recherche :
Résumé :
Dans cette thèse, nous présentons des développements de l’approche utilisée dans l’équipe «ParSys» du LRI pour traduire automatiquement des codes scientifiques écrits dans un langage dédié inspiré de Matlab en codes de production haute performance. Pour garantir cette performance, nous mettons à profit d'une part la méta-programmation par templates C++ afin d'analyser chaque expression pour détecter les opportunités de parallélisme, et d'autre part la programmation parallèle asynchrone pour utiliser au mieux les ressources disponibles des machines multi-coeurs. Pour faire le lien entre ces deux étapes du processus de génération de code, des squelettes algorithmiques multi-niveaux sont implémentés. Nos outils ont été implantés dans la bibliothèque NT2 et évalués sur des applications scientifiques du monde réel.
