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.
Liste complète des métadonnées

https://hal.inria.fr/inria-00465842
Contributeur : Frédéric Loulergue <>
Soumis le : lundi 22 mars 2010 - 10:20:19
Dernière modification le : jeudi 11 janvier 2018 - 06:19:28

Identifiants

  • 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〉

Partager

Métriques

Consultations de la notice

112