Abstract FR:

Les grammaires attribuees offrent un formalisme tres adapte a la detection du parallelisme et a la parallelisation. Les graphes de dependances associes a chaque production correspondent en effet a des graphes de flot de donnees. Grace aux grammaires attribuees 1-ordonnees, il est meme 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 dependances, ce qui evite un grand nombre de synchronisations dynamiques. Toutefois, il apparait que le parallelisme inherent a ces graphes est beaucoup trop important en pratique pour supporter une parallelisation complete. Notre but a ete de montrer qu'il est possible de selectionner le parallelisme pour obtenir une parallelisation efficace en pratique. Pour cela, l'evaluateur parallele a ete implante dans un systeme reel de traitement des grammaires attribuees qu'est le systeme fnc-2 et porte sur plusieurs plateformes (ksr1, multimax et sequent). Plusieurs types d'implantations ont ete effectues afin d'etudier l'influence de la methode d'evaluation sur la parallelisation. Les methodes que nous avons utilisees s'appliquent a des architectures a memoire partagee. Sur les machines testees, les resultats obtenus sont tres encourageants malgre l'absence d'utilisation de caracteristiques propres a chaque machine. Un deuxieme probleme souleve par le parallelisme est l'explosion memoire qui a lieu pendant l'evaluation. En sequentiel, cette consommation a ete largement limitee par l'utilisation d'un optimiseur memoire qui permet le partage des instances d'attributs en dehors de l'arbre. Deux structures sont utilisees: la variable globale et la pile. Nous avons propose une methode pour etendre cette optimisation memoire au cas parallele ce qui permet d'une part de sortir des attributs de l'arbre meme en parallele et d'eliminer de nombreuses regles de copie