Revision ac16f1254c44816ee5631e2c9c7ed5546e6e127c authored by weis on 24 January 2007, 14:34:18 UTC, committed by weis on 24 January 2007, 14:34:18 UTC
1 parent d629e69
Announce-2.03
[Version fran�aise ci-dessous]
OCamlP3l, a Caml parallel program compiler
We are pleased to announce the 2.03 version of OCamlP3l, a parallel programming
system based on skeleton programming. Skeletons encapsulate the basic parallel
programming patterns in a well understood and structured approach.
The skeleton programming approach used in OCamlP3l allows three different
operational interpretations of the same source program:
- the sequential interpretation which is deterministic, hence easy
to understand and debug,
- the parallel interpretation using a network of computing nodes
run in parallel to speed up the computation,
- the graphical interpretation, which is run to obtain a drawing of
the parallel computing network deployed at run-time by the parallel
interpretation.
These three operational semantics are obtained by recompilation of the source
program using three different compile-time options of the compiler. The corner
stone of this fruitful approach is the adequacy property between the sequential
and parallel operational interpretations: they always lead to the same result.
OCamlP3l home page is http://ocamlp3l.inria.fr/
OCamlP3l source files can be found at
ftp://ftp.inria.fr/INRIA/caml-light/bazar-ocaml/ocamlp3l/ocamlp3l-2.03.tgz
Enjoy.
Pierre Weis and Francois Clement.
[Version fran�aise]
OCamlP3l, un compilateur de programmes Caml parall�les
Nous avons le plaisir d'annoncer la sortie de la version 2.03 d'OCamlP3l, un
syst�me de programmation parall�le fond� sur la programmation par
squelettes. Les squelettes offre au programmeur un ensemble de briques de base
du parall�lisme dont le comportement de passage du s�quentiel au parall�lisme
est parfaitement ma�tris�. Un programme �crit � l'aide des squelettes de
parall�lisme est automatiquement ex�cutable � la fois en version s�quentielle
et en version parall�le, selon l'interpr�tation des squelettes demand�e par le
programmeur. De plus, les deux versions du programme ont la m�me signification
math�matique ; donc les m�mes r�sultats ; et la correction de l'un vaut donc
pour l'autre.
La page Web de OCamlP3l est http://ocamlp3l.inria.fr/
Les fichiers sources d'OCamlP3l sont en
ftp://ftp.inria.fr/INRIA/caml-light/bazar-ocaml/ocamlp3l/ocamlp3l-2.03.tgz
Amusez-vous bien.
Pierre Weis et Francois Clement.
Computing file changes ...