Syntaxe et sémantique de Revised Bulk Synchronous Parallel ML - Archive ouverte HAL Access content directly
Reports (Research Report) Year : 2010

Syntaxe et sémantique de Revised Bulk Synchronous Parallel ML

(1) , (1) , (2)
1
2

Abstract

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.
Not file

Dates and versions

inria-00465842 , version 1 (22-03-2010)

Identifiers

  • HAL Id : inria-00465842 , version 1

Cite

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

Share

Gmail Facebook Twitter LinkedIn More