Static/Dynamic Analyses for Validation and Improvements of Multi-Model HPC Applications.

Résumé : L’utilisation du parallélisme des architectures actuelles dans le domaine du calcul hautes performances, oblige à recourir à différents langages parallèles. Ainsi, l’utilisation conjointe de MPI pour le parallélisme gros grain, à mémoire distribuée et OpenMP pour du parallélisme de thread, fait partie des pratiques de développement d’applications pour supercalculateurs. Des erreurs, liées à l’utilisation conjointe de ces langages de parallélisme, sont actuellement difficiles à détecter et cela limite l’écriture de codes, permettant des interactions plus poussées entre ces niveaux de parallélisme. Des outils ont été proposés afin de palier ce problème. Cependant, ces outils sont généralement focalisés sur un type de modèle et permettent une vérification dite statique (à la compilation) ou dynamique (à l’exécution). Pourtant une combinaison statique/- dynamique donnerait des informations plus pertinentes. En effet, le compilateur est en mesure de donner des informations relatives au comportement général du code, indépendamment du jeu d’entrée. C’est par exemple le cas des problèmes liés aux communications collectives du modèle MPI. Cette thèse a pour objectif de développer des analyses statiques/dynamiques permettant la vérification d’une application parallèle mélangeant plusieurs modèles de programmation, afin de diriger les développeurs vers un code parallèle multi-modèles correct et performant. La vérification se fait en deux étapes. Premièrement, de potentielles erreurs sont détectées lors de la phase de compilation. Ensuite, un test au runtime est ajouté pour savoir si le problème va réellement se produire. Grâce à ces analyses combinées, nous renvoyons des messages précis aux utilisateurs et évitons les situations de blocage.
Type de document :
Thèse
Distributed, Parallel, and Cluster Computing [cs.DC]. Université de Bordeaux, 2015. English. 〈NNT : 2015BORD0176〉
Liste complète des métadonnées

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

https://tel.archives-ouvertes.fr/tel-01228072
Contributeur : Abes Star <>
Soumis le : jeudi 12 novembre 2015 - 15:42:52
Dernière modification le : jeudi 11 janvier 2018 - 06:20:17
Document(s) archivé(s) le : vendredi 28 avril 2017 - 04:47:22

Fichier

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

Identifiants

  • HAL Id : tel-01228072, version 1

Collections

Citation

Emmanuelle Saillard. Static/Dynamic Analyses for Validation and Improvements of Multi-Model HPC Applications.. Distributed, Parallel, and Cluster Computing [cs.DC]. Université de Bordeaux, 2015. English. 〈NNT : 2015BORD0176〉. 〈tel-01228072〉

Partager

Métriques

Consultations de la notice

275

Téléchargements de fichiers

340