https://gitorious.org/ocamlp3l/ocamlp3l_cvs.git
Raw File
Tip revision: ad58ae426e7e9200530d18bf439d02657503426c authored by fclement on 23 November 2010, 11:33:06 UTC
Ignore all generated files.
Tip revision: ad58ae4
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.
back to top