https://hal.archives-ouvertes.fr/hal-02487579
Tip revision: b34a952aad1b143e60e302df55a4f986ab904c42 authored by Software Heritage on 23 January 2007, 00:00:00 UTC
hal: Deposit 433 in collection hal
hal: Deposit 433 in collection hal
Tip revision: b34a952
fra.htm
<!DOCTYPE HTML PUBLIC "-//W3C//DTD HTML 4.0 Transitional//EN"
"http://www.w3.org/TR/REC-html40/loose.dtd">
<HTML>
<HEAD>
<META name="GENERATOR" content="Htmlc 1.70">
<META http-equiv="Content-Type" content="text/html; charset=ISO-8859-1">
<TITLE>
OCamlP3l
</TITLE>
</HEAD>
<BODY BGCOLOR="#FFFFFF">
<!-- $Id: fra.html,v 1.6 2007/01/23 11:31:46 weis Exp $ -->
<H1 ALIGN=CENTER>OCamlP3l</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>
<H2 ALIGN=CENTER>Version 2.03</H2>
</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 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 3.09 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-2.03.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 2.03 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 implémentation en
Objective Caml 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>.
<P>
<HR>
<EM>Dernière modification le </EM>
mardi 23 janvier 2007 <I>sur la machine margaux, par weis</I>.
<BR>
<A HREF="/copyright-fra.htm">Copyright</A>
© 2006 - 2007 INRIA, tous droits réservés.
