OcamlP3l release 2.03 - Inria - Institut national de recherche en sciences et technologies du numérique Accéder directement au contenu
Logiciel Année : 2007

OcamlP3l release 2.03

OcamlP3l release 2.03

Pierre Weis
  • Fonction : Auteur
  • PersonId : 833428
Francois Clement
Zheng Li

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.
69 Consultations
17 Téléchargements

Partager

Gmail Facebook X LinkedIn More