La programmation fonctionnelle parallèle : application à MaRS̱Lisp

par Daniel Marre

Thèse de doctorat en Informatique industrielle et automatique

Sous la direction de Michel Lemaître.

Soutenue en 1992

à Toulouse, INSA .


  • Résumé

    Cette these traite de la programmation fonctionnelle parallele explicite et de son application a l'aide de mars-lips, le langage applicatif paresseux et non type de mars, la machine a reduction parallele de graphe a memoiree partagee, concue et realisee au cert-onera. L'objectif de ce travail est la presentation et l'experimentation de methodes d'ecriture ou de parallelisation de programmes fonctionnels paralleles en mars-lips. Une premiere partie definit le cadre du travail et les outils utilises. Le premier chapitre presente les caracteristiques d'un langage fonctionnel pour son implementation sur une machine parallele et decrit les projets les plus significatifs du domaine. Le deuxieme chapitre detaille les caracteristiques de mars-lisp et de l'interprete parallele utilise. La deuxieme partie (chap. Iii) traite de la conception d'algorithmes paralleles et de la mise en uvre de trois paradigmes tres utilises: l'effet pipeline, diviser-pour-regner et l'usage des fonctions d'ordre superieur. Pour chaque paradigme, des exemples simples permettent d'analyser finement le comportement du programme. La troisieme partie (chap. Iv) developpe une methode manuelle de parallelisation de programme. Une modelisation des contextes par les projections permet une analyse de stricticite plus fine et une meilleure mise en uvre des heuristiques de parallelisation. Des outils simples d'optimisation et de transformation de programmes sont ensuite presentes. La derniere partie (chap. V) applique ces methodes sur des programmes consequents

  • Titre traduit

    Parallel functional programming: application to mars-lip


  • Pas de résumé disponible.

Consulter en bibliothèque

La version de soutenance existe sous forme papier

Informations

  • Détails : [9]-199-32 p

Où se trouve cette thèse\u00a0?

  • Bibliothèque : Institut national des sciences appliquées. Bibliothèque centrale.
  • Disponible pour le PEB
  • Cote : 1992/188/LEM
  • Bibliothèque :
  • Accessible pour le PEB
Voir dans le Sudoc, catalogue collectif des bibliothèques de l'enseignement supérieur et de la recherche.