<!--#include virtual="avanttitre-fra.html"-->
OCamlP3l
<!--#include virtual="aprestitre-fra.html"-->

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

<H1 ALIGN=CENTER>OCamlP3l</H1>

<H1 ALIGN=CENTER>
  <FONT COLOR="#FF0000">Cette version est obsolŤte.</FONT><BR>
  <A HREF="http://camlp3l.inria.fr/fra.htm">Utilisez, s'il vous plaÓt, la
    nouvelle version CamlP3l 1.0.2</A>
</H1>

<TABLE WIDTH="100%">
<TR>
<!-- <TD ALIGN=CENTER><IMG SRC="camlp3llogo.png"></TD> -->
 <TD ALIGN=RIGHT>
   <TABLE>
     <TR><TD><A HREF="eng.htm">English version</A></TD></TR>
     <TR><TD><A HREF="#features">Description</A></TD></TR>
     <TR><TD><A HREF="#manual">Manuel</A></TD></TR>
     <TR><TD><A HREF="#papers">Articles</A></TD></TR>
     <TR><TD><A HREF="#requirements">Prťrequis pour l'installation</A></TD></TR>
     <TR><TD><A HREF="#download">Obtention du logiciel</A></TD></TR>
     <TR><TD><A HREF="#authors">Auteurs et Copyright</A></TD></TR>
     <TR><TD>
<!--#include virtual="version.html"-->
     </TD></TR>
   </TABLE>
 </TD>
</TR>
</TABLE>

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

<P>OCamlP3l est un <STRONG>compilateur de programmes Caml parallŤles</STRONG>.
Il fonctionne sous tout type d'Unix ; sous Windows, il faut utiliser
l'ťmulation Cygwin.

<P>Le parallťlisme ajoute une dimension supplťmentaire ŗ la difficultť
habituelle de la programmation des algorithmes. En effet, lorsqu'on ťcrit la
version parallŤle d'un programme correct dans sa version normale, on voit la
plupart du temps apparaÓtre de nouvelles erreurs. Ces erreurs spťcifiques au
parallťlisme sont subtiles et particuliŤrement difficiles ŗ ťradiquer. Dans les
approches classiques du parallťlisme, ce point d'achoppement majeur tient au
<EM>non dťterminisme</EM>: les rťsultats des programmes sont alťatoires, d'une
exťcution ŗ l'autre les rťsultats changent. La mise au point est un vrai
cauchemar.

<P>Face ŗ cette difficultť, le systŤme OcamlP3l apporte une solution ťlťgante
et thťoriquement fondťe. Il s'agit d'offrir au programmeur un ensemble de
briques de base du parallťlisme, les <EM>squelettes de parallťlisme</EM>, dont
le comportement de <STRONG>passage du sťquentiel au parallťlisme</STRONG> 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
<EM>signification mathťmatique</EM>; donc les mÍmes rťsultats; et la correction
de l'un vaut donc pour l'autre.

<P>Avec les squelettes de parallťlisme, OcamlP3l offre une approche
originale ŗ la parallťlisation de code dont les propriťtťs thťoriques sont
ťtonnamment efficaces en pratique.

<P>Avec OcamlP3l, le langage support des squelettes de parallťlisme est Objective
Caml. Tous les outils de ce langage fonctionnel de haut niveau sont donc ŗ la
disposition du programmeur et la rťalisation des applications en est facilitťe.

<P>L'ťtude thťorique et l'implťmentation des squelettes de parallťlisme est le
fruit d'une collaboration entre l'Universitť de Pise, l'INRIA et Paris&nbsp;7.

<P>Cette approche nouvelle du parallťlisme est utilisťe avec succŤs dans le
domaine du calcul scientifique pour parallťliser une base de code numťrique
Fortran et C++.

<H2 ALIGN=LEFT><A name="manual">Manuel de l'utilisateur</A></H2>

<P>Le manuel de l'utilisateur d'OCamlP3l est disponible
<A HREF="UserManual.htm">en ligne</A>.

<P>Vous pouvez ťgalement tťlťcharger le manuel en
<A HREF="UserManual.dvi">DVI</A>,
<A HREF="UserManual.ps">PS</A> ou
<A HREF="UserManual.pdf">PDF</A>.

<P>Le manuel est actuellement en anglais uniquement, on attend des volontaires
pour se charger de la traduction.

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

<P>Les <A HREF="papers/fra.htm">articles de recherche</A> sur OCamlP3l.

<H2 ALIGN=LEFT>Installation d'OCamlP3l</H2>

<H3 ALIGN=LEFT><A name="requirements">Prťrequis pour l'installation</A></H3>

<P>Vous devez disposer de la version $caml_version du compilateur Objective
Caml.

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

<H4 ALIGN=LEFT>Distribution source d'OCamlP3l</H4>

<UL>
  <LI>
    Installation simple.
    <DL>
      <DT>
        <STRONG>
        <A HREF="ftp://ftp.inria.fr/INRIA/caml-light/bazar-ocaml/ocamlp3l/ocamlp3l-$(full_version).tgz">OCamlP3l</A>
        </STRONG>
      </DT>
    </DL>
  </LI>

  <LI>
    Installation avancťe
    <DL>
      <DT><STRONG>Pour les programmeurs impatients seulement</STRONG></DT>
      <DD>
        <A HREF="http://camlcvs.inria.fr/cgi-bin/cvsweb.cgi/bazar-ocaml/ocamlp3l/">
        La version CVS d'OCamlP3l en temps rťel</A> est disponible sur le
        <A HREF="http://camlcvs.inria.fr/">Reposoir CVS anonyme de Caml</A>.
      </DD>
    </DL>
  </LI>
</UL>

<H2 ALIGN=LEFT><A NAME="lists">Rapport d'anomalies</A></H2>

<P>Si vous trouvez une erreur dans le logiciel, envoyez s'il vous plaÓt un
message ŗ <CODE>ocamlp3l-bugs at inria.fr</CODE>.

<P>Si vous voulez contacter les implťmenteurs (pour donner de nouvelles idťes
ou des lignes de code), ťcrivez ŗ <CODE>ocamlp3l at inria.fr</CODE>.

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

<P>La version $(package_version) d'OCamlP3l a ťtť dťveloppťe durant les annťes
2003 ŗ 2007 par

<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>Remerciements</H2>

<P>Cette version d'OCamlP3l se fonde sur la premiŤre maquette du langage P3L
dťveloppť en 1997 par

<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>Ce dťveloppement a ťtť rťalisť en particulier gr‚ce ŗ
l'<A HREF="http://www-rocq.inria.fr/estime/MOPROSCO/">Action de Recherche
Coopťrative Moprosco</A>.

<P>OCamlP3l est ťcrit entiŤrement en
<A HREF="http://caml.inria.fr/ocaml/index.fr.html">Objective Caml</A>.

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

<P>Ce programme est un logiciel libre distribuť sous licence GNU LGPL.
Voir le fichier COPYING de la 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="basdepage-fra.html"-->