Contribution à l'évaluation d'attributs et l'optimisation mémoire sur machines multiprocesseurs - TEL - Thèses en ligne Accéder directement au contenu
Thèse Année : 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

Résumé

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 sous embargo
Fichier sous embargo
1 0 9
Année Mois Jours
Avant la publication
dimanche 6 avril 2025
Loading...
Fichier sous embargo
dimanche 6 avril 2025
Connectez-vous pour demander l'accès au fichier

Dates et versions

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

Identifiants

  • HAL Id : tel-00005806 , version 1

Citer

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⟩
173 Consultations
151 Téléchargements

Partager

Gmail Facebook X LinkedIn More