Syntaxe et sémantique de Revised Bulk Synchronous Parallel ML

Résumé : Bulk Synchronous Parallel ML (BSML) est une extension du langage fonctionnel Objective Caml, fondé sur un modèle structuré de parallélisme, le modèle BSP. Ce modèle assure au programmeur BSML la sûreté d'exécution tout en lui laissant le strict contrôle des processeurs. Le modèle de prévision de performances de BSML est simple et réaliste. Le parallélisme est exprimé en utilisant un ensemble de primitives fonctionnelles pures sur une structure de données parallèle appelée vecteur parallèle. Cependant, les programmes sont souvent difficiles à écrire et leur mise au point peut être fastidieuse. Nous proposons dans cet article une nouvelle syntaxe et une sémantique associée dans le but d'écrire des programmes plus courts et plus lisibles. Nous formalisons la syntaxe et sémantique classiques ainsi que les nouvelles, puis les modélisons en Coq. Leur confluence est établie.
Complete list of metadatas

https://hal.inria.fr/inria-00465842
Contributor : Frédéric Loulergue <>
Submitted on : Monday, March 22, 2010 - 10:20:19 AM
Last modification on : Wednesday, September 4, 2019 - 1:52:06 PM

Identifiers

  • HAL Id : inria-00465842, version 1

Collections

Citation

Wadoud Bousdira, Frédéric Loulergue, L. Gesbert. Syntaxe et sémantique de Revised Bulk Synchronous Parallel ML. [Rapport de recherche] 2010. ⟨inria-00465842⟩

Share

Metrics

Record views

145