• Langue : Français
• Discipline : Sciences appliquées
• Identifiant : Inconnu
• Type de thèse : Doctorat
• Date de soutenance : 01/01/1994

Résumé en langue originale

-des arborescences fonctionnelles dont le but est la generalation en parallele d'ordres de reduction ou redex ; le mecanisme de reduction qui consiste a prendre en compte en parallele les redex generes par l'exploration. L'exploration parallele des arborescences fonctionnelles genere parfois des ordres de reduction s'appliquant a une meme donnee. Dans ce cas, une duplication de la donnee est realisee afin de traiter ces ordres de reduction en parallele. Le travail effectue dans le cadre de cette these comporte deux parties: la premiere partie consiste en une extension du modele pcube aux fonctions polyadiques et aux fonctions d'ordre superieur. La representation proposee des fonctions et l'asynchronisme de l'exploration et de la reduction du modele pcube evitent l'accumulation de redex non traites entrainant ainsi un cout de gestion optimise, compare a celui des autres modeles de reduction. La deuxieme partie de la these, plus pratique, se base sur une simulation du modele pcube pour v alider ses mecanismes et observer son parallelisme potentiel. Cette simulation a mis en evidence le phenomene d'emiettement provoque par les applications successives de fonctions. Afin de contribuer a l'amelioration du placement dynamique des donnees, nous proposons une methode de placement des copies de donnees dont l'idee est d'effectuer un controle de la granularite lors de la copie de donnees en se servant d'un seuil de placement. Les resultats obtenus par simulation de la methode dans ce cas revelent un accroissement du taux de parallelisme et donc une meilleure repartition de la charge. Les langages fonctionnels se caracterisent par un parallelisme inherent qui peut etre exploite soit de maniere explicite en rajoutant des annotations dans le programme precisant ainsi les fonctions a appliquer en parallele, soit de maniere implicite de facon transparente a l'utilisateur, en adoptant une strategie d'evaluation decrite par un schema d'execution. Le modele pcube, defini par n. Devesa au sein du projet narch au lifl decrit une nouvelle strategie d'evaluation adaptee aux programmes fonctionnels sans variables. Compare aux modeles d'evaluation existants, le modele pcube s'apparente aux modeles de reduction tout en proposant une representation des expressions et des mecanismes d'evaluation differents ; les expressions fonctionnelles sont representees a l'aide de deux structures: les arborescences fonctionnelles et les arbres de donnees. L'evaluation des expressions fonctionnelles est geree par deux mecanismes asynchrones: l'exploration qui consiste en un parcours parallele