Programmation de méta-ordinateurs: de MSPML à DMML
Frédéric Loulergue (LACL - Paris 12)

De nombreux problèmes comme la simulation de phénomènes physiques ou la
manipulation de bases de données de grandes tailles nécessitent des performances
que seuls les ordinateurs massivement parallèles, voire les méta-ordinateurs,
peuvent fournir.A partir d'un modèle de parallélisme structuré possèdant un
modèle de prévision de performances (Bulk Synchronous Parallel ou BSP) nous
avons conçu un ensemble d'opérations universelles qui permet la programmation de
n'importe quel algorithme de ce modèle. Une approche opérationnelle nous a amené
à définir des extensions du lambda-calcul par des primitives BSP. Une
bibliothèque basée sur ces calculs, la bibliothèque BSML a été développée pour
le langage fonctionnel Objective Caml. La programmation BSML s'appuie sur une
structure de données parallèle polymorphe. Les programmes sont des fonctions
Objective Caml usuelles mais manipulent cette structure de données parallèle à 
l'aide d'un petit ensemble d'opérations dédiées. BSML suit le modèle BSP et est
donc garanti sans inter-blocage. La confluence des calculs garantit quant à  elle
le déterminisme de BSML.  

Un nouvel axe de recherche, présenté dans cet exposé, est d'avoir un langage
pour le metacomputing, c'est-à-dire pour la programmation de grappes de machines
parallèles (qui sont elles-mêmes souvent des grappes de PC) que nous appelons
méta-ordinateurs. Pour obtenir ce langage, appelée Departmental Metacomputing
ML, nous avons combiné le langage BSML, pour la programmation de chaque noeud
parallèle, et notre nouveau langage MSPML (Minimally Synchronous Parallel ML)
pour la coordination de l'ensemble. MSPML diffère de BSML par l'absence de
barrières de synchronisation globale.