New release of ocamlp3l

[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.

_______________________________________________
Caml-announce mailing list
[email protected]
http://yquem.inria.fr/cgi-bin/mailman/listinfo/caml-announce