OcamlP3l release 2.03
OcamlP3l release 2.03
Résumé
OCamlP3l is 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.