Tests des dependances et transformations de programme

par YI QING YANG

Thèse de doctorat en Sciences appliquées

Sous la direction de P. FEAUTRIER.

Soutenue en 1993

à Paris 6 .

    mots clés mots clés


  • Résumé

    La parallelisation d'un programme sequentiel comporte plusieurs etapes: le calcul des dependances, leur representation et l'utilisation de cette representation pour l'application des transformations de programme permettant d'obtenir d'un ordonnancement parallele des instructions du programme. Le succes de la parallelisation depend de la precision du test de dependances et des representations utilises pour ces dependances. Nous presentons et comparons, dans cette these, differents algorithmes de test de dependances et differentes abstractions de ces dependances. L'algorithme du paralleliseur pips est base sur un test de faisabilite approximatif utilisant l'algorithme de fourier-motzkin. Nos experiences montrent que, dans la pratique, il est suffisamment precis pour traiter des systemes de dependances et que sa complexite protique est polynomiale. Les differentes abstractions des dependances ont des precisions differentes. Pour effectuer legalement une transformation, plusieurs abstractions sont admissibles, c'est a dire contiennent suffisamment d'information pour savoir si la transformation peut etre appliquee legalement. L'abstraction minimale est celle qui contient l'information necessaire minimale appropriee a la transformation. Nous avons identifie l'abstraction admissible minimale appropriee aux transformations de programme classiques: inversion de boucle, permutation de boucles, transformations unimodulaires, partitionnement et parallelisation. Le cone de dependance, qui est l'abstraction admissible et minimale pour l'application de toute transformation unimodulaire, contient aussi suffisamment d'information pour obtenir l'ensemble des ordonnancements lineaires valides mono- et multi-dimensionnels, identique a celui calcule a partir de l'abstraction des vecteurs de distance de dependance


  • Pas de résumé disponible.

Consulter en bibliothèque

La version de soutenance existe sous forme papier

Informations

  • Détails : 195 P.
  • Annexes : 111 REF.

Où se trouve cette thèse ?

  • Bibliothèque : Université Pierre et Marie Curie. Bibliothèque Universitaire Pierre et Marie Curie. Section Biologie-Chimie-Physique Recherche.
  • Consultable sur place dans l'établissement demandeur
  • Cote : T Paris 6 1993 667
  • Bibliothèque : Centre Technique du Livre de l'Enseignement supérieur (Marne-la-Vallée, Seine-et-Marne).
  • Disponible pour le PEB
  • Cote : PMC RT P6 1993
Voir dans le Sudoc, catalogue collectif des bibliothèques de l'enseignement supérieur et de la recherche.