Doctorant F/H Composabilité des modèles d’exécution pour l’algèbre linéaire

La séparation des préoccupations (separation of concerns en anglais), est "un principe de conception visant à segmenter un programme informa- tique en plusieurs parties, afin que chacune d’entre elles isole et gère un as- pect précis de la problématique générale". Quand les préoccupations sont clairement séparées, les différentes parties du code peuvent être réutilisées, étendues ou modifiées indépendamment des autres. Une telle conception modulaire permet en particulier de focaliser le développement d’une biblio- thèque sur son cœur de métier et de s’appuyer sur des bibliothèques tierces pour le reste des tâches.

Largement reconnue comme une bonne pratique et mise en œuvre dans l’ingénierie logicielle en général [1], ce principe est pourtant peu suivi dans le cadre du calcul haute performance (HPC). En effet, d’une part, la quête de performance requiert souvent un très haut niveau de coopération entre les différentes parties du code. D’autre part, la difficulté du déploiement du code sur des super-calculateurs peut décourager l’emploi de trop nombreuses bibliothèques tierces dont l’inter-compatibilité peut être difficile à garantir.

L’équipe-projet concace d’Inria Bordeaux s’intéresse à la composabilite numérique et parallèle en recourant aux principes de séparation de préoc- cupations dans un cadre HPC, et plus précisément pour le traitement de systèmes linéaires de grande taille. Elle développe le code composyx à cette fin.

Actuellement, composyx embarque son propre moteur d’exécution mi- nimaliste basé sur mpi. L’objectif de la thèse est de développer un nouveau modèle d’exécution à base de tâches.

De surcroît, il s’agira de séparer clairement le modèle de programmation de composyx de son modèle d’exécution de telle sorte que, sans qu’il ne soit nécessaire de changer la programmation des algorithmes numériques, composyx puisse in fine recourir aussi bien au moteur pré-existant basé sur mpi qu’au moteur d’exécution à base de tâches qui sera créé pendant le doctorat.

La performance et la versatilité du modèle seront évalués sur les algo- rithmes numériques existants de composyx ainsi que sur de nouveaux algorithmes d’algèbre linéaire dense et creuse qui seront également développés dans le cadre du doctora