https://gitorious.org/ocamlp3l/ocamlp3l_cvs.git
Raw File
Tip revision: ad58ae426e7e9200530d18bf439d02657503426c authored by fclement on 23 November 2010, 11:33 UTC
Ignore all generated files.
Tip revision: ad58ae4
eng.html
<!--#include virtual="beforetitle-eng.html"-->
OCamlP3l
<!--#include virtual="aftertitle-eng.html"-->

<!-- \$Id: eng.html,v 1.8 2010-04-07 15:25:05 fclement Exp $ -->

<H1 ALIGN=CENTER>OCamlP3l</H1>

<H1 ALIGN=CENTER>
  <FONT COLOR="#FF0000">This version is obsolete.</FONT><BR>
  <A HREF="http://camlp3l.inria.fr/eng.htm">Please use the new version
    CamlP3l 1.0.2</A>
</H1>

<TABLE WIDTH="100%">
<TR>
<!-- <TD ALIGN=CENTER><IMG SRC="camlp3llogo.gif"></TD>-->
 <TD ALIGN=RIGHT>
   <TABLE>
     <TR><TD><A HREF="fra.htm">Version française</A></TD></TR>
     <TR><TD><A HREF="#features">Description</A></TD></TR>
     <TR><TD><A HREF="#manual">Manual</A></TD></TR>
     <TR><TD><A HREF="#papers">Articles</A></TD></TR>
     <TR><TD><A HREF="#requirements">Requirements for installation</A></TD></TR>
     <TR><TD><A HREF="#download">Download</A></TD></TR>
     <TR><TD><A HREF="#authors">Authors and Copyright</A></TD></TR>
     <TR><TD>
<!--#include virtual="version.html"-->
     </TD></TR>
   </TABLE>
 </TD>
</TR>
</TABLE>

<H2 ALIGN=LEFT><A name="features">Description of OCamlP3l</A></H2>

<P>OCamlP3l is a <STRONG>compiler for Caml parallel programs</STRONG>.

<P>The OCamlP3l programming paradigm is <EM>skeleton programming</EM>.  The
skeletons encapsulate basic parallel programming patterns in a well understood
and structured approach.  Based on <EM>P3L</EM>, the Pisa Parallel Programming
Language, OCamlP3l skeleton algebra is embedded in a full-fledged functional
programming language, namely Objective Caml.

<P>The skeleton programming approach used in OCamlP3l allows three different
operational interpretations of the same source program:
<UL>
 <LI>the <EM>sequential</EM> interpretation which is deterministic, hence easy
  to understand and debug,
 <LI>the <EM>parallel</EM> interpretation using a network of computing nodes
  run in parallel to speed up the computation,
 <LI>the <EM>graphical</EM> interpretation, which is run to obtain a drawing of
  the parallel computing network deployed at run-time by the parallel
  interpretation.
</UL>
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 extremely fruitful approach is the adequacy property
between the sequential and parallel operational interpretations: they always
lead to the same result.

<P>Writing parallel programs is not easy, and debugging them is usually a
nightmare. To cope with these difficulties, a structured approach to parallel
programming using skeletons and templates based compilation techniques has been
developed over the past years by several researchers, including the P3L group
in Pisa. The OCamlP3l system combines the OCaml functional programming language
together with the P3l skeletons, yielding a powerful parallel programming
methodology: OCamlP3l allows the programmer to write and debug a sequential
version of the program (which, if not easy, could be considered as routine),
and then the parallel version is automatically inferred by recompilation of the
source program. The invaluable advantage of this approach is staging: the
programmer has just to concentrate on the easy part, the sequential
programming, relying upon the OCamlP3l system to obtain the hard part, the
parallel version. As an additional benefit, the semantics adequacy between the
sequential and parallel versions of the program is no more the programmer's
concern: it is now the entire responsibility of the OCamlP3l compiler.

<H2 ALIGN=LEFT><A name="manual">User's manual</A></H2>

<P>The OCamlP3l user's manual is available
<A HREF="UserManual.htm">on line</A>.

<P>You can also download the manual as
<A HREF="UserManual.dvi">DVI</A>, <A HREF="UserManual.ps">PS</A>, and
<A HREF="UserManual.pdf">PDF</A> files.

<P>The manual only exists in the English version,
volunteers to translate it are warmly welcomed...

<H2 ALIGN=LEFT><A name="papers">Articles</A></H2>

<P><A HREF="papers/eng.htm">Research articles</A> on OCamlP3l.

<H2 ALIGN=LEFT>Installation of OCamlP3l</H2>

<H3 ALIGN=LEFT><A name="requirements">Requirements</A></H3>

<P>You need the Objective Caml version $caml_version to compile the sources.

<H2 ALIGN=LEFT><A name="download">Download</A></H2>

<UL>

<LI>Simple installation.

 <DL>
  <DT><STRONG>The complete and functional set of OCamlP3l's source
    files:</STRONG></DT>
  <DD>
    <A HREF="ftp://ftp.inria.fr/INRIA/caml-light/bazar-ocaml/ocamlp3l/ocamlp3l-$(full_version).tgz">using the INRIA ftp server</A></DD>
  <DD>
    <A HREF="ocamlp3l-$(full_version).tgz">using this web server</A></DD>
 </DL>

<LI>Advanced installation

    <DL>
      <DT><STRONG>For the impatient programmers only</STRONG></DT>
      <DD>
        <A HREF="http://camlcvs.inria.fr/cgi-bin/cvsweb.cgi/bazar-ocaml/ocamlp3l/">
        The current CVS version of OCamlP3l</A> is also available on the
        <A HREF="http://camlcvs.inria.fr/">Caml anonymous CVS repository</A>.
      </DD>
    </DL>

</UL>

<H2 ALIGN=LEFT><A NAME="lists">Bug reports and mailing list</A></H2>

<P>If you find a bug drop a message to <CODE>ocamlp3l-bugs at inria.fr</CODE>.

<P>If you want to get in touch with the implementors (to contribute
some new ideas or lines of code) write to <CODE>ocamlp3l at inria.fr</CODE>.

<H2 ALIGN=LEFT><A NAME="authors">Authors</A></H2>

<P>The version $(package_version) of OCamlP3l was developed from 2003 to 2007
by

<P>Roberto Di Cosmo (roberto at dicosmo.org),<BR>
Zheng Li (zli at pps.jussieu.fr),<BR>
Pierre Weis (Pierre.Weis at inria.fr),<BR>
Francois Clement (Francois.Clement at inria.fr).

<H2 ALIGN=LEFT>Acknowledgments</H2>

<P>This version of OCamlP3l is based on the first experimental implementation
of the P3L language developed in 1997 by

<P>Roberto Di Cosmo (dicosmo at ens.fr),<BR>
Marco Danelutto (marcod at di.unipi.it),<BR>
Xavier Leroy  (Xavier.Leroy at inria.fr),<BR>
Susanna Pelagatti (susanna at di.unipi.it).

<P>This development was partly funded by the
<A HREF="http://www-rocq.inria.fr/estime/MOPROSCO/">Action de Recherche
Coopérative Moprosco</A>.

<P>OCamlP3l is entirely written in
<A HREF="http://caml.inria.fr/ocaml/index.en.html">Objective Caml</A>.

<H2 ALIGN=LEFT><A NAME="copyright">Copyright</A></H2>

<P>This program is free software distributed under the GNU LGPL.
See the file COPYING enclosed in the distribution.

<H2 ALIGN=LEFT><A NAME="contact">Contacts</A></H2>

<P>
<A HREF="http://bat8.inria.fr/~weis/">Pierre Weis</A>,
<A HREF="http://www-rocq.inria.fr/qui/Francois.Clement/">François Clément</A>.

<!--#include virtual="endofpage-eng.html"-->
back to top