Modèles de programmation et supports exécutifs pour architectures hétérogènes

Programming Models and Runtime Systems for Heterogeneous Architectures

• Auteur / Autrice : Sylvain Henry
• Direction : Denis Barthou, Alexandre Denis
• Type : Thèse de doctorat
• Discipline(s) : Informatique
• Date : Soutenance le 14/11/2013
• Etablissement(s) : Bordeaux 1
• Ecole(s) doctorale(s) : École doctorale Mathématiques et informatique (Talence, Gironde ; 1991-....)
• Partenaire(s) de recherche : Laboratoire : Laboratoire bordelais de recherche en informatique - Laboratoire Bordelais de Recherche en Informatique / LaBRI - RUNTIME
• Jury : Président / Présidente : Luc Giraud
• Jury : Examinateurs / Examinatrices : Éric Petit
• Jury : Rapporteurs / Rapporteuses : François Bodin, Jean-François Méhaut

Mots clés

Mots clés contrôlés

Calcul intensif (informatique)

Architecture client-serveur (informatique)

Programmation fonctionnelle (informatique)

Mots clés libres

Calcul haute performance

Supports exécutifs

Modèles de programmation

Architectures hétérogènes

High-Performance Computing

Runtime Systems

Programming Models

Heterogeneous Architectures

Résumé

Le travail réalisé lors de cette thèse s'inscrit dans le cadre du calcul haute performance sur architectures hétérogènes. Pour faciliter l'écriture d'applications exploitant ces architectures et permettre la portabilité des performances, l'utilisation de supports exécutifs automatisant la gestion des certaines tâches (gestion de la mémoire distribuée, ordonnancement des noyaux de calcul) est nécessaire. Une approche bas niveau basée sur le standard OpenCL est proposée ainsi qu'une approche de plus haut niveau basée sur la programmation fonctionnelle parallèle, la seconde permettant de pallier certaines difficultés rencontrées avec la première (notamment l'adaptation de la granularité).

This work takes part in the context of high-performance computing on heterogeneous architectures. Runtime systems are increasingly used to make programming these architectures easier and to ensure performance portability by automatically dealing with some tasks (management of the distributed memory, scheduling of the computational kernels...). We propose a low-level approach based on the OpenCL specification as well as a high-level approach based on parallel functional programming.