Compilation pour machines à mémoire répartie : une approche multipasse

Résumé : Les grilles de calculs sont des architectures distribuées couramment utilisées pour l'exécution de programmes scientifiques ou de simulation. Les programmeurs doivent ainsi acquérir de nouvelles compétences pour pouvoir tirer partie au mieux de toutes les ressources offertes. Ils doivent apprendre à écrire un code parallèle, et, éventuellement, à gérer une mémoire distribuée.L'ambition de cette thèse est de proposer une chaîne de compilation permettant de générer automatiquement un code parallèle distribué en tâches à partir d'un code séquentiel. Pour cela, le compilateur source-à-source PIPS est utilisé. Notre approche a deux atouts majeurs : 1) une succession de transformations simples et modulaires est appliquée, permettant à l'utilisateur de comprendre les différentes transformations appliquées, de les modifier, de les réutiliser dans d'autres contextes, et d'en ajouter de nouvelles; 2) une preuve de correction de chacune des transformations est donnée, permettant de garantir que le code généré est équivalent au code initial.Cette génération automatique de code parallèle distribué de tâches offre également une interface de programmation simple pour les utilisateurs. Une version parallèle du code est automatiquement générée à partir d'un code séquentiel annoté.Les expériences effectuées sur deux machines parallèles, sur des noyaux de Polybench, montrent une accélération moyenne linéaire voire super-linéaire sur des exemples de petites tailles et une accélération moyenne égale à la moitié du nombre de processus sur des exemples de grandes tailles.
Type de document :
Thèse
Génie logiciel [cs.SE]. PSL Research University, 2017. Français. 〈NNT : 2017PSLEM005〉
Liste complète des métadonnées

Littérature citée [16 références]  Voir  Masquer  Télécharger

https://pastel.archives-ouvertes.fr/tel-01831194
Contributeur : Abes Star <>
Soumis le : jeudi 5 juillet 2018 - 16:50:07
Dernière modification le : mercredi 25 juillet 2018 - 01:23:47

Fichier

2017PSLEM005_archivage.pdf
Version validée par le jury (STAR)

Identifiants

  • HAL Id : tel-01831194, version 1

Collections

Citation

Nelson Lossing. Compilation pour machines à mémoire répartie : une approche multipasse. Génie logiciel [cs.SE]. PSL Research University, 2017. Français. 〈NNT : 2017PSLEM005〉. 〈tel-01831194〉

Partager

Métriques

Consultations de la notice

119

Téléchargements de fichiers

23