Tests des dependances et transformations de programme

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