Dans cette thèse, les mécanismes d'implantation efficace d'algorithmes d'ordonnancement dans des langages de programmation parallèle de haut niveau sont étudiés. Ces mécanismes sont basés sur les principes de dégénération séquentielle et distribuée. La dégénération séquentielle consiste à optimiser les coûts de création de tâches lorsqu'il n'est pas nécessaire de générer plus de parallélisme. La dégénération distribuée consiste à générer automatiquement une exécution distribuée aussi proche que possible de celle du programme équivalent écrit avec une bibliothèque de communication de type MPI. Dans l'objectif de proposer un couplage efficace de ces deux mécanismes, plusieurs protocoles de cohérence mémoire permettant d'implanter des couches de mémoire partagée distribuée sont comparés. Cette étude permet de valider l'efficacité du protocole "flot de données" que nous proposons lorsque le nombre de tâches déplacées lors de l'exécution du programme est faible. Un mécanisme de pile distribuée permettant l'implantation de ce protocole est proposé. Il est basé sur une gestion efficace du flot de données couplé avec un mécanisme d'allocation performant. Ces mécanismes sont finalement implantés dans le langage Athapascan et validés pour des applications de simulation et d'optimisation combintoire.
| Identifer | oai:union.ndltd.org:CCSD/oai:tel.archives-ouvertes.fr:tel-00010909 |
| Date | 10 September 2004 |
| Creators | Revire, Rémi |
| Source Sets | CCSD theses-EN-ligne, France |
| Language | French |
| Detected Language | French |
| Type | PhD thesis |
Page generated in 0.0019 seconds