Detection de parallelisme dans les boucles imbriquees

par Frédéric Vivien

Thèse de doctorat en Sciences appliquées

Sous la direction de Yves Robert.

Soutenue en 1997

à École normale supérieure (Lyon) .

    mots clés mots clés


  • Résumé

    Nombre d'utilisateurs de l'informatique aimeraient pouvoir executer sur des ordinateurs paralleles leurs programmes sequentiels (ecrits pour etre executes sur des ordinateurs classiques). Il est donc devenu necessaire de savoir paralleliser les programmes sequentiels en programmes executables sur machines paralleles. Cette parallelisation doit etre automatique puisqu'elle s'adresse le plus souvent a de simples utilisateurs. Avant d'initier toute transformation du programme originel, il faut detecter et quantifier le parallelisme qu'il contient implicitement, ce qui requiert la connaissance des dependances existant entre les differents calculs. Ulterieurement, il sera necessaire de reordonner les calculs en explicitant le parallelisme decouvert. Cette these a pour objet la detection automatique du parallelisme implicite et la recherche d'ordonnancements l'explicitant pour des structures de programmes particulieres : les ensembles de boucles imbriquees. Nos travaux ont eu principalement pour but la comprehension des techniques existantes de detection de parallelisme, de leur points forts et de leurs limitations. D'un cote, nous avons etudie les principaux algorithmes preexistant a ces travaux. De l'autre, nous sommes partis du modele theorique fourni par les systemes d'equations recurrentes uniformes pour proposer un algorithme optimal de parallelisation des graphes de dependance reduits polyedriques, representation approchee des dependances qui generalise les deux modes classiques d'approximation. Nous avons compare ce nouvel algorithme aux algorithmes classiques et obtenu une classification des principaux algorithmes. Le probleme de la detection du parallelisme et de son expression n'etant qu'une des multiples composantes de la parallelisation automatique, nous nous sommes interesses aux interactions entre les problemes de placement et d'ordonnancement, et entre les problemes de detection de parallelisme et d'elimination de fausses dependances.


  • Pas de résumé disponible.

Consulter en bibliothèque

La version de soutenance existe sous forme papier

Informations

  • Détails : 164 P.
  • Annexes : 84 REF.

Où se trouve cette thèse ?

  • Bibliothèque : Bibliothèque Diderot Sciences (Lyon).
  • PEB soumis à condition
  • Bibliothèque : Institut national des sciences appliquées (Villeurbanne, Rhône). Service Commun de la Documentation Doc'INSA.
  • Non disponible pour le PEB
Voir dans le Sudoc, catalogue collectif des bibliothèques de l'enseignement supérieur et de la recherche.