Le moteur de recherche
des thèses françaises
'%3e%3cpath%20style='fill:%2300a0dc;fill-opacity:1;stroke:none;stroke-width:.144606;stroke-opacity:1;stop-color:%23000'%20d='M41.8%20100.088H52.28c.46%200%20.831.421.831.945v10.25c0%20.524-.37.946-.831.946H41.8c-.46%200-.831-.422-.831-.945v-10.251c0-.524.37-.945.831-.945z'/%3e%3cpath%20d='m47.072%20102.02-4.87%202.656%204.87%202.657%203.985-2.174v3.06h.885v-3.543m-7.969%201.851v1.771l3.1%201.691%203.098-1.691v-1.77l-3.099%201.69z'%20style='fill:%23fff;fill-opacity:1;stroke-width:.442726'/%3e%3ccircle%20style='fill:%23009f1d;fill-opacity:1;stroke:%23fff;stroke-width:.379704;stroke-linecap:round;stroke-linejoin:round;stroke-miterlimit:4;stroke-dasharray:none;stroke-opacity:1;stop-color:%23000'%20cx='54.151'%20cy='101.224'%20r='3.451'/%3e%3cpath%20d='m55.669%2099.387.659.664-3.075%203.104-1.634-1.649.66-.663.974.979%202.416-2.435'%20style='fill:%23fff;fill-opacity:1;stroke:none;stroke-width:.30061;stroke-miterlimit:4;stroke-dasharray:none;stroke-opacity:1'/%3e%3c/g%3e%3c/svg%3e)
Langages explicites à parallélisme de données
| Auteur / Autrice : | Philippe Marquet |
| Direction : | Jean-Luc Dekeyser |
| Type : | Thèse de doctorat |
| Discipline(s) : | Informatique |
| Date : | Soutenance en 1992 |
| Etablissement(s) : | Lille 1 |
Mots clés
Résumé
Les travaux présentés sont relatifs à la proposition d'outils pour l'expression des algorithmes à parallélisme de données et à l'implantation de ces outils. Nous introduisons une notion de langage explicite à parallélisme de données ne recouvrant pas la seule manipulation explicite de données parallèles, mais intégrant aussi les moyens pour le programmeur d'exprimer des informations complémentaires pouvant être prises en compte par le compilateur pour la production de code de bonne qualité. La conception du langage EVA est faite suivant cette voie. Cela nous a amené à l'implantation d'une notion puissante de vecteur, intégrant les opérations classiques de description, et d'un ensemble de constructions découlant sur une génération de code simple et efficace. Deux types d'architectures sont à même de fournir les performances de l'ordre de celles attendues par les scientifiques. Il s'agit de celle des machines pipelines vectorielles et de celle des machines massivement parallèles. Nous caractérisons nombre de points communs entre les modes de fonctionnement des deux types d'architectures et proposons la prise en compte de ces machines sous un angle unique au sein du langage LSD2. LSD2 est bâti autour d'une notion de vecteur incluant des spécifications fournies par le programmeur, dont la distribution, l'alignement, et les dépendances entre les différents accès aux éléments du vecteur. Différentes classes de dépendances partielles ont été introduites. Elles ne sont pas spécifiques à LSD2, mais peuvent être reprises dans les autres langages à parallélisme de données. Leurs conséquences sur les performances du code généré sont justifiées par la présentation de tests sur Cray Y-MP