https://gitorious.org/ocamlp3l/ocamlp3l_cvs.git
Raw File
Tip revision: ad58ae426e7e9200530d18bf439d02657503426c authored by fclement on 23 November 2010, 11:33:06 UTC
Ignore all generated files.
Tip revision: ad58ae4
fra.html
<!--#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"-->
back to top