Bulk Synchronous Parallel ML

Bulk Synchronous Parallel ML

Informations

Développé par	Laboratoire d'Informatique Fondamentale d'Orléans (LIFO) de l'Université d'Orléans, Laboratory of Algorithms, Complexity and Logic (LACL) de l'Université Paris XII
Écrit en	OCaml
Environnement	GNU/Linux, Unix
Type	Bibliothèque logicielle
Licences	GNU LGPL 2.1
Site web	http://frederic.loulergue.eu/research/bsmllib/

Architecture

Type vecteur parallèle

Le type 'a Bsml.par est un type vecteur parallèle de taille p (où p est le nombre de processeurs).

Il est noté $<v_{0},...,v_{p-1}>$ où $v_{i}$ est la valeur de type 'a sur le processeur i.

Modules

• Bsml : contient les primitives de la bibliothèque et les fonctions de calcul du temps d'exécution (à importer en premier)
• Stdlib : contient les fonctions de la bibliothèque standard (à importer en second)
• Base : contient des fonctions parallèles usuelles
• Comm : contient les fonctions parallèles de communication
• Sort : contient des fonctions parallèles de tri
• Tools : contient des fonctions séquentielles usuelles
• Back : assure la compatibilité avec les versions antérieures de la bibliothèque

Primitives

Primitive de parallélisation : mkpar

val mkpar : (int -> 'a) -> 'a par

Primitive d'application parallèle : apply

val apply : ('a -> 'b) par -> 'a par -> 'b par

Primitive de communication globale : put

val put : (int -> 'a) par -> (int -> 'a) par

Primitive de projection : proj (duale de mkpar)

val proj : 'a par -> int -> 'a

Compilation

• bsmlc produit un fichier bytecode interprété par bsmlrun (de la même manière que les fichiers compilés avec ocamlc sont interprétés avec ocamlrun).
• bsmlopt produit un exécutable en code natif.

Voir aussi

• Objective Caml, le langage d'implémentation de BSML
• (en) Modèle BSP

Liens externes

• (en) Site officiel
• (en) Manuel de BSML 0.4
• (fr) Site d'Objective Caml
• (en) Manuel d'Objective Caml 3.11