March 23, 2015
Victor Allombert (LACL - UPEC)Le modèle Multi-BSP, extension du modèle de parallélisme quasi-synchrone BSP, propose une représentation des machines hiérarchique sous la forme d’un arbre de mémoires et de processeurs. En s’appuyant sur ce modèle, nous proposons le langage Multi-BSML conçu pour programmer des algorithmes adaptés à ces machines hiérarchiques. Le langage Multi-BSML est basé sur BSML (Bulk Synchronous Parallel ML), un langage fonctionnel pour la programmation d’algorithmes BSP. Nous proposons deux approches, la première est un langage très général étendant la syntaxe OCaml et permettant d’écrire de manière efficace et expressive des algorithmes Multi-BSP ; la seconde est un squelette purement fonctionnel autorisant le développement de programmes certifiés grâce à l’assistant de preuve Coq. Nous présenterons les principaux concepts du langage Multi-BSML et comparerons, avec quelques exemples, les différences des deux approches proposées.