skip to main content

Analyse du flot de données pour tableaux en présence de contraintes non-affines

Barthou, Denis (1970-....) ; Feautrier, Paul ; Université de Versailles-Saint-Quentin-en-Yvelines

S.l. : s.n., 1998

Voir les exemplaires

  • Titre:
    Analyse du flot de données pour tableaux en présence de contraintes non-affines
  • Auteur: Barthou, Denis (1970-....)
  • Autre(s) auteur(s): Feautrier, Paul;
    Université de Versailles-Saint-Quentin-en-Yvelines
  • Sujets: Parallélisme (informatique) -- Thèses et écrits académiques;
    Analyse des données -- Thèses et écrits académiques;
    PARALLELISATION AUTOMATIQUE;
    DATAFLOW ANALYSIS;
    ANALYSE SEMANTIQUE;
    H-LOGICIEL
  • Description: Thèse de doctorat
    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.
  • Éditeur: S.l. : s.n.
  • Date de publication: 1998
  • Format: 208 f. ; 30 cm
  • Langue: Français
  • Source: Mines ParisTech (catalogue)

Recherche dans les bases de données distantes en cours. Merci de patienter.

  • Recherche
  • dansscope:(33PSL-CNSAD),scope:(33PSL-EHESS),scope:(33PSL-PSL_OMEKA),scope:(33PSL-MINES),scope:(33PSL-EFEO),scope:(33PSL-CNSMDP),scope:(33PSL-CHIMIE),scope:(33PSL),scope:("DAU"),scope:(33PSL-CDF),scope:(33PSL-ENS),scope:("33PSL-OBSERV"),scope:("33PSL-ESPCI"),scope:(33PSL-CURIE),scope:(33PSL-ENSBA),scope:("33PSL-ENC"),scope:(33PSL-PSL_STAR),scope:(33PSL-PSL_SFX),scope:("33PSL-EPHE"),scope:(33PSL-ENSAD),primo_central_multiple_fe
  • Afficher ce qui a déjà été récupéré