Participants: Ilaria Castellani, Eric Gressier-Soudan, Jean-Ferdy Susini, Nicolas Bertaux, Manuel Serrano, Marc Pouzet, Isabelle Astic, Louis Mandel, Frédéric Dabrowski, Mathieu Parbain, Gérard Boudol, Frédéric Boussinot

Points abordés:

1. 1. Présentation de chacun (Nicolas Bertaux est doctorant avec Louis; Isabelle Astic est responsable du musée du CNAM, chargée des aspects liés à la conservation des logiciels; Mathieu Parbain est étudiant de Marc).
   

2. 2. Présentation générale du projet, par FB (slides utilisées lors de la réunion PARSEC de la veille).
   

3. 3. Exposés, suivis de discussions:
   

4. • Rmltop par Louis.
   

5. • HOP par Manuel.
   

6. • SugarCubes Lite par Jean-Ferdy.
   

7. • FunLoft par Frédéric B.
   

4. 4. Discussion sur l’organisation (site Web, Gforge, prochaine réunion)

3. Réunion de travail -- 25 janvier 2010, CNAM, Paris

Participants: Louis Mandel, Nicolas Bertaux, Florian Loitsch, Bernard Serpette, Manuel Serrano, Ilaria Castellani, Cyprien Nicolas, Gérard Boudol, Frédéric Boussinot

Points abordés:

1. 1. GC réactif (fb)
   

2. 2. Création dynamique et analyse de réactivité en Rml (lm)
   

3. 3. Points d'administration (rapport 6 mois, accord consortium, prochaine réunion, ... )
   

4. 4. Implémentation de HOP (ms)
   

5. 5. Distribution à base d'événements (fb).
   

Participants: Frédéric Dabrowski, Louis Mandel, Florence Plateau, Manuel Serrano, Ilaria Castellani, Cyprien Nicolas, Jean-Ferdy Susini, Patrice Krzanik, Frédéric Boussinot

Points abordés:

1. Questions administratives (rapport d’activité à un an, accord de consortium). La prochaine réunion devrait se tenir fin juin à Sophia. Nous essaierons d’en partager une partie avec le projet PWD.

2. Présentation du langage de scripts DSL (Fb).

3. Point sur les travaux autour de la sécurité, en liaison avec MATYSS (Ilaria).

4. L’approche n-synchrone (Louis).

5. Etat des travaux autour de HOP (Manuel) et FunLoft (Fb)

6. Mélange FairThreads/Pthreads en Bigloo (Cyprien)

7. Point sur la démo pingpong (Cyprien)

4. Réunion de travail -- 29-30 juin 2010, INRIA, Sophia

Participants: Pejman Attar, Frédéric Dabrowski, Cyprien Nicolas, Frédéric Boussinot, Zhengqin Luo, Gustavo Petri, Marcos Dione, Thomas Gazagnaire

Points abordés:

1. Présentation du modèle DSL-M sur lequel travaille Pejman et qui introduit une notion d’agent migrant.

2. Discussion sur la formalisation en Coq de DSL-M..

5. Réunion de travail -- 24 août 2010, INRIA, Sophia

Présents : Jean-Ferdy Susini, Patrice Krzanik, Frédéric Boussinot

1. 1. Patrice a été embauché par le CNAM en décembre, sur le projet PARTOUT. La première étape de sa thèse est de faire un état de l'art autour de OpenCL et de la programmation des GPU avec comme perspective le calcul scientifique. Une application envisagée dans ce cadre est la simulation à N corps (un problème de précision numérique de OpenCL se pose toutefois dans ce cadre). La suite du travail consistera à étudier et implémenter un modèle réactif pour distribuer les calculs sur multicoeur. L'idée est de partir de SugarCubes et de le considérer comme un ordonnanceur. Les calculs élémentaires (appels de fonctions) sont collectés durant l'instant, et à la fin de l'instant, ils sont exécutés sur une architecture massivement parallèle. Une expérimentation sur TESLA est envisagée (environ 1000 coeurs). Une première expérimentation consistant à simuler le modèle en Java est en cours de réalisation par Jean-Ferdy (ce devrait être la version 5 des SugarCubes). Par contre la réalisation utilisant TESLA sera en C (elle devrait s'appeler FROGS, pour Flexible Reactive OperatinG System). Elle devrait beaucoup s'inspirer de la Machine Virtuelle Réactive (RVM) de Jean-Ferdy, développée partiellement il y a quelques années.
   

2. 2. Un étudiant de Master 2 du CNAM est en train de porter SC sur Android, avec la perspective d'ensuite pouvoir utiliser DSL sur cette plateforme. Une idée serait d'intégrer ce travail dans la démo ping-pong. Un joueur pourrait  alors renvoyer la balle avec son téléphone Android…
   

3. 3. En collaboration avec une équipe du CNAM qui développe un prouveur COQ de terminaison de règles de réécriture, Jean-Ferdy travaille sur la preuve de terminaison des instants en SC. Ce travail devrait donc logiquement être rapproché de celui de Pejman sur la terminaison des instants DSL, en COQ. A noter que Jean-Ferdy envisage également de prouver le déterminisme et des équivalences entre construction syntaxiques de SC.
   

4. 4. Le papier sur DSL doit être finalisé.
   

5. 5. Plutôt qu'une réunion PARTOUT en janvier, nous préférons des réunions ciblées de travail telles celle d'aujourd'hui. Mais nous envisageons une réunion plénière en juin pour présenter plus en détail les divers travaux (SC-Android, TESLA, FROGS, DSLM, etc.).
   

6. 6. Frédéric a présenté une simulation de mécanique quantique en FunLoft, ce qui a provoqué plein de discussions…
   

6. Réunion de travail -- 7 décembre 2010, CNAM, Paris

Participants: Pejman Attar, Frédéric Boussinot, Louis Mandel

Points abordés:

1. Discussion autour du modèle DSLM

2. 2.Présentation par Louis de son implémentation de DSL en ReactiveML
   

3. 3.Gforge pour le papier sur DSL.
   

7. Réunion de travail -- 9-10 juin 2011, CNAM, Paris

- Présents le 9 juin : Jean-Ferdy Susini, Patrice Krzanik, Frédéric Boussinot, Pejman Attar, Louis Mandel, Cédric Pasteur, Olivier Pons.

1.Le premier point a porté sur l’organisation du projet. Problème de la durée de thèse de Pejman, qui se termine en octobre 2013. Passage de F. Boussinot de l’Inria aux Mines. Postdoc prévu de Medhi Dogui en octobre, pour 1 an.

1. 1. Pejman a présenté son travail de conception de DSLM. Dans la discussion est apparue la possibilité d’utiliser des processus pour implémenter les schedulers, ce qui fournirait un mécanisme d’isolation mémoire automatique. L’implémentation des schedulers synchronisés (schedulers parallèles) nécessitera de descendre au niveau système.
   

2. 2. Cédric a présenté son travail sur l’implémentation en F# d’une run-time ReactiveML. L’objectif est de pouvoir utiliser le vrai parallélisme que F# permet grâce à son GC concurrent. D’autre part, F# fournit un environnement de programmation (debugger, profiler, librairies standards) complet. La proposition est faite d’utiliser des groupes de processus à l’aide d’une primitive syntaxique runpar. Dans les benchmarks présentés apparaissent des interrogations liées aux performances. Jean-Ferdy suggère que ces questions sont reliées au modèle mémoire et aux problèmes de réconciliation de pages.
   

3. 3. Jean-Ferdy a présenté les travaux autour des SugarCubes. La v4 introduit des horloges multiples, associées aux machines d’exécution. Il y a préservation de la simultanéité et de l’ordre des signaux, dans la communication distante entre machines réactives distinctes. En SCv4, la sémantique de l’instruction loop a été changée, pour éviter d’accumuler les messages envoyés entre machines distantes. SCv5 propose un nouveau mécanisme d’exécution : les actions atomiques ne sont pas immédiatement exécutées, mais sont collectées au cours de l’instant. Elle sont ensuite exécutées en complet parallélisme, sur une architecture hautement parallèle. Le problème de la simulation des N corps est présenté. Une première expérimentation a eu lieu, sur une machine 12 coeurs. Là aussi apparaissent des problèmes de réconciliation mémoire. Il semble que, pour être efficace, lorsqu’un coeur accède à un niveau mémoire, il faut qu’il soit le seul à pouvoir accéder à ce niveau.
   

- Présents le 10 juin : Jean-Ferdy Susini, Patrice Krzanik, Frédéric Boussinot, Pejman Attar, Louis Mandel, Cédric Pasteur, Olivier Pons, Pierre Courtieu, Xavier Urbain.

1. 1.Patrice a présenté OpenCL. Il s’agit d’une couche logicielle pour programmer les multi-processeurs, en particulier les GPU. OpenCL est très proche de Cuda. Il repose sur la notion de WorkItem et de WorkGroup, avec une structuration spécifique de la mémoire. La programmation en OpenCL est loin d’être triviale. Un des objectifs de SCv5 est de rendre plus intuitive ce genre de programmation.
   

2. 2.Jean-Ferdy et Pierre Courtieu ont présenté un premier travail  autour d’un noyau des SugarCubes. Trois propriétés, dont la terminaison des instants, ont été formellement prouvées en utilisant des techniques de réécritures conditionnelles (système CIME) et le système Coq. Une utilisation de ce travail par Pejman, dans le cas de DSLM, a été envisagée.
   

3. 3. Discussion sur l’utilisation de la programmation réactive pour la simulation en physique.
   

8. Réunion de travail -- 30 mars 2012, Paris

- Présents le 30 mars : Jean-Ferdy Susini, Frédéric Boussinot, Pejman Attar.

1. 1.La discussion a surtout porté sur l’implémentation en SugarCubes de la dynamique moléculaire (DM). La question initiale a été de savoir comment utiliser un cluster de machines pour exécuter la DM. La version actuelle de la DM utilise la v3. Le passage à SCv4 est envisagé (implémentation des événements plus efficace). L’utilisation du multi-horloges de la v4 (primitive clock) a également été considérée. Une première expérimentation à base de machines réactives distribuées et de RMI ou de MPI est possible.
   

2. 2.Discussion sur SCv5. Il s’agit d’une cible à terme pour la DM. Elle ouvre la porte aux multicoeurs et aux implémentations à base de cartes graphiques (mais pas aux clusters, qui ne sont pas à mémoire partagée). Un des problèmes essentiels est le non contrôle du GC de Java.
   

3. 3.Démo de DSLM. Le besoin d’une instrumentation pour des mesures de temps précises a été souligné.