Logiciels

Bibliothèques CARAML

• Bibliothèques pour les bases de données parallèles :
  • La bibliothèque PDBML (version 2.1):
    • pdbml_2.1.tgz
    • Notre prototype peut désormais analyser et exécuter des requêtes relationnelles complexes. Il prend en compte la configuration de l'architecture distribuée des bases de données (sur grappe de PCs). Ce prototype supporte une répartition initiale des tables quelconque. Une interface CAML a été développée. Elle permet l'exécution des requêtes (à partir d'un fichier contenant les requêtes sous forme SQL), ainsi que l'analyse des résultats (accès aux données produites, réalisé en ODBC afin de garantir une bonne portabilité).
    • Concernant le traitement des requêtes complexes, une version pipelinée des jointures a été intégrée au prototype ci-dessus. Cette version permet de traiter de manière efficace le problème du déséquilibre de données tout en offrant une grande flexibilité dans l'allocation des ressources dans le parallélisme à grande échelle.
    • Il est à noter qu'ue implantation grid reposant sur Globus a été réalisée. Toutefois, cette dernière n'est pas diffusée pour l'instant.
• Bibliothèques de programmation parallèle :
  • La bibliothèque Minimally Synchronous Parallel ML (version 0.2)
    • mspml-0.2.tar.gz
    • Plus d'informations
  • La bibliothèque (New) Objective Caml Flight (version 0.11)
    • nocf-0.11.tgz
    • Plus d'informations
  • La bibliothèque OCamlP3L
    • Code source sous WebCVS
    • Plus d'informations
  • La bibliothèque BSMLlib (version 0.25)
    • bsmllib-0.25.tar.gz
    • Le manuel de référence: bsmllib-0.25_manual.pdf, bsmllib-0.25_manual_html.tar.gz.
    • Plus d'informations
  • La bibliothèque BSFC++ (version 0.11)
    • bsfcpp-0.11.tar.gz
    • Plus d'informations
• Preuves de programmes parallèles :
  • BSMLCOQ (version 0.1)
    • bsmlcoq-0.1.v
    • Plus d'informations
• Extensions d'Objective Caml (non spécifiques à la programmation parallèle)
  • Compilateur Just-in-Time: OCamlJIT
  • Meta-programmation: MetaOcaml

Autres logiciels

• Le langage de programmation CAML de l'INRIA est largement utilisé dans l'enseignement de l'informatique au premier cycle universitaire (dont classes préparatoires) et dans la recherche en informatique en France et à l'étranger. Son dialecte le plus récent est le système Objective Caml (OCaml), dont le principal développeur est X. Leroy. OCaml est diffusé gratuitement par l'INRIA à des dizaines de milliers d'exemplaires. G. Cousineau a contribué à diverses étapes de l'évolution de CAML depuis le début des années 1980.  Plusieurs ouvrages d'enseignement universitaire contribuent à la diffusion du langage (dont un par G. Cousineau et M. Mauny et un par E. Chailloux et al.).
• Le langage de programmation concurrente et répartie Jo-CAML est une extension de CAML développée par l'équipe de G. Gonthier à l'INRIA. Son portage Windows est financé par Microsoft Research.  Il  est distribué gratuitement par l'INRIA.
• La bibliothèque de programmation parallèle BSMLlib (version 0.1) combine Ocaml avec les primitives de programmation haute-performance de la bibliothèque BSPLib de l'université d'Oxford. Elle a été conçue par G. Hains et F. Loulergue et développée principalement par F. Loulergue. Elle est distribuée gratuitement par les universités d'Orléans et Paris 12 en particulier pour l'enseignement de deuxième cycle à l'université d'Orléans et à l'université de Paris 12.