Metaprogrammed algorithmic skeletons : implementations, performances and semantics

Résumé : Les approches de parallélisme structuré sont un compromis entre la parallélisation automatique et la programmation concurrentes et réparties telle qu'offerte par MPI ou les Pthreads. Le parallélisme à squelettes est l'une de ces approches. Un squelette algorithmique peut être vu comme une fonction d'ordre supérieur qui capture un algorithme parallèle classique tel qu'un pipeline ou une réduction parallèle. Souvent la sémantique des squelettes est simple et correspondant à celle de fonctions d'ordre supérieur similaire dans les langages de programmation fonctionnels. L'utilisation combine les squelettes disponibles pour construire son application parallèle. Lorsqu'un programme parallèle est conçu, les performances sont bien sûr importantes. Il est ainsi très intéressant pour le programmeur de disposer d'un modèle de performance, simple mais réaliste. Le parallélisme quasi-synchrone (BSP) offre un tel modèle. Le parallélisme étant présent maintenant dans toutes les machines, du téléphone au super-calculateur, il est important que les modèles de programmation s'appuient sur des sémantiques formelles pour permettre la vérification de programmes. Les travaux menés on conduit à la conception et au développement de la bibliothèque Orléans Skeleton Library ou OSL. OSL fournit un ensemble de squelettes algorithmiques data-parallèles quasi-synchrones. OSL est une bibliothèque pour le langage C++ et utilise des techniques de programmation avancées pour atteindre une bonne efficacité. Les communications se basent sur la bibliothèque MPI. OSL étant basée sur le modèle BSP, il est possible non seulement de prévoir les performances des programmes OSL mais également de fournir une portabilité des performances. Le modèle de programmation d'OSL a été formalisé dans l'assistant de preuve Coq. L'utilisation de cette sémantique pour la preuve de programmes est illustrée par un exemple.
Type de document :
Thèse
Other [cs.OH]. Université d'Orléans, 2011. English. 〈NNT : 2011ORLE2021〉
Liste complète des métadonnées

https://tel.archives-ouvertes.fr/tel-00651088
Contributeur : Abes Star <>
Soumis le : lundi 12 décembre 2011 - 17:57:17
Dernière modification le : vendredi 21 septembre 2018 - 03:05:34
Document(s) archivé(s) le : mardi 13 mars 2012 - 02:36:07

Fichier

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

Identifiants

  • HAL Id : tel-00651088, version 1

Collections

Citation

Noman Javed. Metaprogrammed algorithmic skeletons : implementations, performances and semantics. Other [cs.OH]. Université d'Orléans, 2011. English. 〈NNT : 2011ORLE2021〉. 〈tel-00651088〉

Partager

Métriques

Consultations de la notice

577

Téléchargements de fichiers

358