Contribution to Attribute grammar evaluation and to memory optimization on multiprocessor architectures - Archive ouverte HAL Access content directly
Theses Year : 1995

Contribution to Attribute grammar evaluation and to memory optimization on multiprocessor architectures

Contribution à l'évaluation d'attributs et l'optimisation mémoire sur machines multiprocesseurs

(1)
1

Abstract

Attribute grammars offers an adapted formalism to parallelism detection and to parallelisation. Depenency graph associated to each production corresponds to flow control graphs.
Les grammaires attribuées offrent un formalisme très adapté à la détection du parallélisme et à la parallélisation. Les graphes de dépendances associés à chaque production correspondent en effet à des graphes de flot de contrôle. Grâce aux grammaires attribuées (\it l)-ordonnées, il est possible de calculer statiquement un ordre total sur les attributs des non-terminaux qui soit compatible avec l'ordre partiel induit par les graphes de dépendances, ce qui évite grand nombre de synchronisations dynamiques. Toutefois, il apparaît que le parallélisme inhérent à ces graphes est beaucoup trop important en pratique pour supporter une parallélisation complète. Notre but a été de montrer qu'il est possible de sélectionner le parallélisme pour obtenir une parallélisation efficace en pratique. Pour cela, l'évaluateur parallèle a été implanté dans un système réel de traitement des grammaires attribuées qu'est le système (\sc FNC-2) et porté sur plusieurs plateformes (KSR1, Multimax et Sequent). Plusieurs types d'implantations ont été effectués afin d'étudier l'influence de la méthode d'évaluation sur la parallélisation. Les méthodes que nous avons utilisées s'appliquent à des architectures à mémoire partagée. Sur les machines testées, les résultats obtenus sont très encourageants malgré l'absence d'utilisation de caractéristiques propres à chaque machine. Un deuxième problème soulevé par le parallélisme est l'explosion mémoire qui a lieu pendant l'évaluation. En séquentiel, cette consommation a été largement limitée par l'utilisation d'un optimiseur mémoire qui permet le partage des instances d'attributs en dehors de l'arbre. Deux structures sont utilisées\,: la variable globale et la pile. Nous avons proposé une méthode pour étendre cette optimisation mémoire au cas parallèle ce qui permet d'une part de sortir les attributs de l'arbre même en parallèle et d'autre part d'éliminer de nombreuses règles de copie.
Fichier principal
Vignette du fichier
tel-00005806.pdf (823.89 Ko) Télécharger le fichier
Loading...

Dates and versions

tel-00005806 , version 1 (06-04-2004)

Identifiers

  • HAL Id : tel-00005806 , version 1

Cite

Bruno P Marmol. Contribution à l'évaluation d'attributs et l'optimisation mémoire sur machines multiprocesseurs : Ceci est un test du CCSD. Réseaux et télécommunications [cs.NI]. Université d'Orléans, 1995. Français. ⟨NNT : ⟩. ⟨tel-00005806⟩

Collections

INRIA INRIA2
160 View
143 Download

Share

Gmail Facebook Twitter LinkedIn More