Normal view MARC view ISBD view

Analyse du flot de données pour tableaux en présence de contraintes non-affines [Texte imprimé] / Denis Barthou ; sous la dir. de Paul Feautrier

Auteur principal : Barthou, Denis, 1970-...., AuteurAuteur secondaire : : Feautrier, Paul, Directeur de thèseAuteur secondaire collectivité : Université de Versailles-Saint-Quentin-en-Yvelines, Organisme de soutenanceLangue :de résumé, Français.Publication :[S.l.] : [s.n.], 1998Description : 208 f. ; 30 cmDewey: 004.35Classification : 001.D.02.A.08Résumé : L'analyse des dépendances de flot de données est une étape cruciale lors de la parallèlisation. La description détaillée des dépendances entre opérations et pour chaque élément de tableau rend possible l'application de techniques de parallelisation performantes. Cependant, ce type d'analyse a deux principaux inconvénients : son coût élevé et son domaine restreint à des dépendances affines en fonction des compteurs de boucles. On décrit d'abord dans cette thèse un algorithme polynomial pour le calcul des dépendances affines, dont la complexité et le domaine d'application sont meilleurs que ceux des méthodes existantes. Puis, dans la continuité des travaux de J.-F. Collard, on propose un cadre général pour l'analyse, éventuellement approchée, de n'importe quelle dépendance. Le modèle de programmes est forme des programmes sans procédure, comportant des accès quelconques aux éléments de tableaux. Une méthode itérative originale trouve des propriétés entre les contraintes non-affines du problème afin d'améliorer la précision du résultat. Notre méthode est capable de tirer parti de n'importe quelle caractérisation affine de ces contraintes et possède un critère d'optimalité de l'approximation. Enfin, plusieurs applications traditionnelles de l'analyse de flot de données sont adaptées à notre méthode approchée et nous détaillons plus particulièrement l'expansion mémoire, en donnant une méthode offrant un compromis entre surcoût a l'exécution, taille mémoire et degré de parallélisme..Bibliographie: 133 REF..Thèse : .Sujet - Nom d'actualité : Parallélisme (informatique) -- Thèses et écrits académiques ;Analyse des données -- Thèses et écrits académiques Sujet : PARALLELISATION AUTOMATIQUE ;DATAFLOW ANALYSIS ;ANALYSE SEMANTIQUE
Current location Call number Status Date due Barcode
Centre de recherche en informatique
1998 BAR Sur demande CRI03962D

98VERS0005

Publication autorisée par le jury

133 REF.

Thèse de doctorat Informatique Versailles saint quentin-en-Yvelines 1998

L'analyse des dépendances de flot de données est une étape cruciale lors de la parallèlisation. La description détaillée des dépendances entre opérations et pour chaque élément de tableau rend possible l'application de techniques de parallelisation performantes. Cependant, ce type d'analyse a deux principaux inconvénients : son coût élevé et son domaine restreint à des dépendances affines en fonction des compteurs de boucles. On décrit d'abord dans cette thèse un algorithme polynomial pour le calcul des dépendances affines, dont la complexité et le domaine d'application sont meilleurs que ceux des méthodes existantes. Puis, dans la continuité des travaux de J.-F. Collard, on propose un cadre général pour l'analyse, éventuellement approchée, de n'importe quelle dépendance. Le modèle de programmes est forme des programmes sans procédure, comportant des accès quelconques aux éléments de tableaux. Une méthode itérative originale trouve des propriétés entre les contraintes non-affines du problème afin d'améliorer la précision du résultat. Notre méthode est capable de tirer parti de n'importe quelle caractérisation affine de ces contraintes et possède un critère d'optimalité de l'approximation. Enfin, plusieurs applications traditionnelles de l'analyse de flot de données sont adaptées à notre méthode approchée et nous détaillons plus particulièrement l'expansion mémoire, en donnant une méthode offrant un compromis entre surcoût a l'exécution, taille mémoire et degré de parallélisme.

Powered by Koha