cpterendu ACI CARAML

Coordinateur du projet:
Gaètan HAINS (LIFO)
Partenaires : PPS, Univ Paris-7 LIFO,
Univ d'Orléans-INRIA,
Rocquencourt-LACL,
UnivParis-12

PRESENTATION DU PROJET CARAML :
Catégorie projet logiciel

Gaètan Hains a présenté les partenaires du projet permettant une fusion de domaines de compétences dont les membres sont LIFO (Orléans)-INRIA (Rocquencourt)-PPS (Paris VII)-LACL (Paris XII); Le projet est orienté vers la réalisation de bibliothèques pour le calcul haute performance et globalisé autour du langage Objective Caml (Ocaml) de l'INRIA. Les retombées seront directes pour la Recherche et l'enseignement. les objectifs spécifiques sont la Conception, la réalisation, Les tests, la documentation des primitives parallèles et globalisées, les bibliothèques applicatives, les exemples d'application et de gestion des performances. Les maîtres mots du projet sont Expressivité, Simplicité, Utilité. Développement d'une bibliothèque Parallel Data Base (PDB) avec parallélisation des requêtes SGBD : équilibrage optimal et extensible permettant des requêtes complexes et multiples, simultanées sur un même système et une répartition géographique de la base de données de calcul. Le développement d'une Bibliothèque PML se fera en trois phases :
1. Parallélisation transparente et extensible de bibliothèques CAML 2. Plusieurs applications sur un même système parallèle
3. Répartition géographique des données et du calcul

Avec les exemples d'applications :
1. Apprentissage symbolique par algorithmes génétiques parallèlisés 2. Calcul d'interactions électrostatiques en simulation moléculaire Les fonctionnalités GRID sont :
o Modélisation des performances o Equilibrage de charges extensible o Partage efficace du réseau local o Répartition géographique optimisée
o Tolérance aux pannes o Mobilité des processus o Sécurisation des interactions.
o Recherches théoriques en cours

Discussion entre Guy-René Perrin et le projet : va t'il exister des outils de transformation automatique en Ocaml ? Réponse de Gaètan Hains: La bibliothèque de programmation parallèle implicite PML va proposer une interface très simplifiée au calcul parallèle et GRID, il suffira d'inclure les structures de données séquentielles dans ses structures parallèles pour obtenir une parallélisation équilibrée et extensible. Il n'est pas prévu d'automatiser complètement cette phase ni de convertir automatiquement des programmes d'autres langages vers Ocaml. Pour la bibliothèque PDB le problème ne se pose même pas car son interface sera celle de requêtes SQL.