6385 - Athapascan-1 : interprétation distribuée du flot de données d'un programme parallèle

Description bibliographique

Auteur :

Galilée, François (INPG. Institut national polytechnique de Grenoble. France)

Éditeur :

CNRS. Centre national de la recherche scientifique. CCSD. Centre pour la communication scientifique directe. France

Page source :

TEL, Serveur de thèses multidisciplinaire du CCSD, http://tel.ccsd.cnrs.fr/

Langue :

français

Diplôme :

Thèse, informatique, 1999/09/22

Date de publication :

2004/02/18

Description du contenu

Spécialité :

Electronique, informatique et télécommunications - Théories, méthodes - Théorie des systèmes, automates
Electronique, informatique et télécommunications - Réseaux - Réseaux informatiques

Mots clés :

langage parallèle ; graphe de flot de données ; terminaison distribuée ; ordonnancement à la volée ; modèle de coût en temps et en mémoire

Table des matières :

1 Introduction
2 Langages de programmation parallèle et flot de données
I Interprétation distribuée du flot de données
3 Flot de données dynamique et sémantique d’Athapascan-1
4 Algorithme distribué d’interprétation du flot de données
5 Implantation du flot de données dans Athapascan-1
II Flot de données et contrôle de la mémoire
6 Flot de données et modèle de coût
7 Implantation et évaluation du contrôle de la consommation mémoire dans
Athapascan-1
8 Conclusion et perspectives

Résumé :

Cette thèse est centrée sur la modélisation de l'exécution d'une application parallèle par un graphe de flot de données. Ce graphe, qui relie les tâches aux données partagées, est construit de manière dynamique. Cette construction, indépendante de l'ordonnancement des tâches effectuées, permet de définir la sémantique des accès aux données et de contrôler la consommation mémoire de toute exécution. Nous étudions dans une première partie les algorithmes permettant la construction et la gestion d'un tel graphe de flot de données dans un environnement distribué. Un point crucial de ces algorithmes est la détection de terminaison des accès des tâches sur les données partagées. Nous proposons un algorithme réactif réalisant cette détection. L'implantation de cet algorithme est au centre de l'implantation distribuée de l'interface de programmation parallèle Athapascan-1. Cette interface permet la description du parallélisme d'une application par création de tâches asynchrones. La sémantique (de type lexicographique) de cette interface est également définie à partir du graphe de flot de données. Nous montrons dans une deuxième partie que la connaissance du flot de données d'une application permet de contrôler de manière théorique la durée et, surtout, la consommation mémoire de toute exécution. Ce contrôle est effectué à partir d'un ordonnancement séquentiel implicite des tâches. Nous proposons, implantons dans Athapascan-1 et évaluons deux algorithmes d'ordonnancement distribués permettant de limiter le volume de mémoire requis par toute exécution. Ces expérimentations permettent de valider les résultats théoriques obtenus.(résumé d'auteur)

Accès à la ressource

Format :

PDF
Taille du fichier : entre 1 et 2 Mo

Notes :

Document de 185 pages

URL de référence :

http://tel.ccsd.cnrs.fr/documents/archives0/00/00/48/32/index_fr.html

Autres URLs :

http://tel.ccsd.cnrs.fr/documents/archives0/00/00/48/32/tel-00004832-00/tel-00004832.pdf
http://publications.imag.fr/publications/theses/1999/Galilee.Francois

Notice mise en ligne le 17/04/2004