Thèse de doctorat en Informatique industrielle et automatique
Sous la direction de Michel Lemaître.
Soutenue en 1992
à Toulouse, INSA .
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
Parallel functional programming: application to mars-lip
Pas de résumé disponible.