Université Lille1 - Sciences et Technologies Proposition d'un schéma d'évaluation parallèle du langage fonctionnel FP sur un réseau de processus Proposition of a new parallel evaluation scheme for the functional language fp, on a processus network 005.131 Langages de programmation fonctionnelle Parallélisme (informatique) Text Electronic Thesis or Dissertation fr Dans le cadre du projet N-ARCH ayant pour objectif, la conception d'une machine parallèle, adaptée à l'exécution de programmes déclaratifs, nous nous sommes interéssés à l'évaluation parallèle du langage FP, le langage fonctionnel sans variable défini par Backus. Un programme FP peut être assimilé à une expression combinatoire qui, dans la plupart des implantations, est exécutée selon le modèle de réduction de graphe présentant, à notre avis, un certain nombre d'inconvénients. C'est pourquoi nous avons défini un nouveau modèle d'évaluation parallèle du langage FP. Dans ce modèle, on a d'une part la représentation du programme source en un ensemble d'arborescences et d'autre part, la représentation de l'argument (la séquence argument). Une exploration parallèle des arborescences est définie formellement par un graphe de transition d'état des noeuds de l'arborescence, qui peut être décrit par un système de réécriture. On peut alors en déduire un algorithme d'exploration, parallèle par envois et réceptions de messages. Cette exploration permet d'envoyer en parallèle des messages à la séquence argument, générant des réductions en parallèle sur la séquence argument, dont la sémantique est également donnée par des règles de réécriture. L'ensemble du modèle peut alors être décrit par un ensemble de processus communiquant par messages. Le modèle défini ne peut être considéré ni comme un modèle data-flow, ni comme un modèle de réduction au sens classique du terme: l'exploration parallèle des arborescences joue le rôle de "moteur d'exécution" ou de "distributeur de tâches" générant des réductions en parallèles sur la séquence argument application/pdf 1 : 1 Mo https://pepite-depot.univ-lille.fr/LIBRE/Th_Num/1990/50376-1990-15.pdf Devesa Nathalie 1900-01-01 133782409 1990LIL10010 1990-01-01 Informatique Université Lille1 - Sciences et Technologies 026404184 Doctorat non oui Toursel Bernard 070958769 ddc:000 ASCII PDF 9999