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 .

mots clés

• Informatique, automatique theorique, systemes
• Programmation fonctionnelle
• Parallelisme
• Algorithmes paralleles
• Parallélisme (informatique)
• Programmation parallèle (informatique)
• Langages de programmation fonctionnelle
• LISP (langage de programmation)
• Ordinateurs -- Programmation

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.