Un modèle de transition logico-matérielle pour la simplification de la programmation parallèle

Résumé : La programmation parallèle et les algorithmes data-parallèles sont depuis plusieurs décennies les principales techniques de soutien l'informatique haute performance. Comme toutes les propriétés non-fonctionnelles du logiciel, la conversion des ressources informatiques dans des performances évolutives et prévisibles implique un équilibre délicat entre abstraction et automatisation avec une précision sémantique. Au cours de la dernière décennie, de plus en plus de professions ont besoin d'une puissance de calcul très élevée, mais la migration des programmes existants vers une nouvelle configuration matérielle et le développement de nouveaux algorithmes à finalité spécifique dans un environnement parallèle n'est jamais un travail facile, ni pour les développeurs de logiciel, ni pour les spécialistes du domaine. Dans cette thèse, nous décrivons le travail qui vise à simplifier le développement de programmes parallèles, en améliorant également la portabilité du code de programmes parallèles et la précision de la prédiction de performance d'algorithmes parallèles pour des environnements hétérogènes. Avec ces objectifs à l'esprit, nous avons proposé un modèle de transition nommé SGL pour la modélisation des architectures parallèles hétérogènes et des algorithmes parallèles, et une mise en œuvre de squelettes parallèles basés sur le modèle SGL pour le calcul haute performance. SGL simplifie la programmation parallèle à la fois pour les machines parallèles classiques et pour les nouvelles machines hiérarchiques. Il généralise les primitives de la programmation BSML. SGL pourra plus tard en utilisant des techniques de Model-Driven pour la génération de code automatique á partir d'une fiche technique sans codage complexe, par exemple pour le traitement de Big-Data sur un système hétérogène massivement parallèle. Le modèle de coût de SGL améliore la clarté de l'analyse de performance des algorithmes, permet d'évaluer la performance d'une machine et la qualité d'un algorithme
Type de document :
Thèse
Autre [cs.OH]. Université Paris-Est, 2013. Français. 〈NNT : 2013PEST1089〉
Liste complète des métadonnées

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

https://tel.archives-ouvertes.fr/tel-00952082
Contributeur : Abes Star <>
Soumis le : mercredi 26 février 2014 - 10:57:37
Dernière modification le : jeudi 11 janvier 2018 - 06:19:28
Document(s) archivé(s) le : lundi 26 mai 2014 - 11:41:10

Fichier

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

Identifiants

  • HAL Id : tel-00952082, version 1

Collections

Citation

Chong Li. Un modèle de transition logico-matérielle pour la simplification de la programmation parallèle. Autre [cs.OH]. Université Paris-Est, 2013. Français. 〈NNT : 2013PEST1089〉. 〈tel-00952082〉

Partager

Métriques

Consultations de la notice

349

Téléchargements de fichiers

715