COMPTE RENDU DE LA REUNION DU 4 Mai 2009

-----------------------------------------------------------------
A) Informations diverses

  Nom du projet
    10 personnes ont voté:
       1) COACH (5 voix)
       2) FLEXSOC, SYNPHONIE, OASYS (4 voix)
       3) OPENSOC (1 voix)
    Il faut donc maintenant utiliser COACH et bannir "projet HLS".

  Date des prochaines réunions
    - Mardi 16 Juin
    - Jeudi 16 Juillet

-----------------------------------------------------------------
B) Résumé de la réunion

Présentation de CAIRN:

     Steven Derrien a présenté CAIRN la contribution que l'IRISA propose
  à COACH.  Cette présentation est disponible sur le site
  http://yaka.ensiie.fr/coach.
  L'IRISA propose d'intégrer à COACH un outil qui adapte le (ou les)
  processeur du SoC à l'application. Le principe de cet outil est le suivant:
    1) Détection dans le source de l'application d'instructions qui
       permettent d'accélérer l'application.
    2) Reécriture de l'application en remplaçant dans le code C les
       sections de code qui correspondent aux instructions accélératrices
       par de l'assembleur embarqué faisant référence aux instructions.
    3) Ajout au coeur du processeur des instructions accélératrices.
  Cette technique a été expérimentée sur NIOS, les gains en rapidité
  allant de 10 à 300 pour cent suivant l'application. 

    Cette approche bien que un peu éloignée de la HLS classique a été
  bien accueillie par le groupe car elle entre tout à fait dans le cadre
  primaire de COACH (la conception de SoC sur FPGA).

    Il a été soulevé le problème suivant: cet outil utilise en interne
  un autre outil Jacob qui n'est pas open source, ce qui est contraire
  à la directive principale du projet.

Présentation des formats d'entrée des outils

  Les entrées des outils BEE, GAUT, SYNTOL et UGH ont été présentées.
  Ces présentations sont disponibles sur le site http://yaka.ensiie.fr/coach.
  
  L'entrée de GAUT est actuellement un DFG. Toutefois le futur modèle 
  supportera la modélisation explicite du contrôle et sera basé sur un 
  CDFG ou un HTG (voir: http://yaka.ensiie.fr/coach/2009-04-07/hls-model.pdf). 
  L'entrée de UGH est un CFG et celles de BEE et SYNTOL sont des AST.
  Une longue discussion a eu lieu sur lequel des 3 formats doit servir
  d'entrée commune aux 4 outils.

  HTG:
    - GAUT est évidemment pour une forme de CDFG / HTG.
    - UGH doit pouvoir s'en sortir car il ne fait pas de
      modifications, il se contente d'annoter. De plus une
      telle structure lui permettrai dans un futur faire
      quelques optimisations.
    - BEE et SYNTOL ne sont pas trop chauds. En effet passer
      du HTG à un AST est possible. Ils travaillent sur l'AST
      initial pour fournir un AST différent en sortie. De ce fait,
      reconstruire un HTG cohérent ne semble pas trivial.
    - un avantage majeur des formats type CDFG/HTG est que l'on 
      peut bénéficier des optimisations de gcc.

  AST:
   - BEE et SYNTOL sont pour.
   - UGH doit encore pouvoir s'en sortir car l'AST n'est pas très éloigné
     du CFG.
   - GAUT n'est pas très partant pour les mêmes raisons HTG 3ième item.
   - Craintes que l'on perde les optimisations de GCC.

  Néanmoins il est apparu un consensus sur le fait que le compilateur
  commun est gcc. Gcc pourrait générer un premier modèle (exprimé en XML) 
  sur lequel travailleraient les outils amont (Syntol, Bee) et qui serait 
  ensuite traduit en un second modèle utilisable par GAUT et UGH. Toutefois,
  une reflexion plus profonde doit etre menée : peut on utiliser un modèle
  commun (proche de l'AST ou d'un CDFG) ou alors les modèles intermédiaires
  et internes de gcc tels GENERIC (entre un AST et un CDFG) ou GIMPLE
  (dans lequel les boucles ont été transformées en if-goto, utilisation
  des 3 address forms, procédure non mises en ligne...).
  A voir donc à la prochaine réunion après la présentation de Dominique Heller
  sur Gcc.

-----------------------------------------------------------------
C) Actions pour la réunion du Mardi 16 Juin

  Pour tous, réfléchir au format d'entrée HTG ou AST ou CFG ou CDFG?

  Dominique s'est proposé pour nous faire un compte rendu de la sortie
  AST en XML, les modèles internes, les passes d'optimisation, les plug-in
  et la compilation sous contraintes de GCC-4.4.
 
  GRAPHITE http://gcc.gnu.org/wiki/Graphite

  Pour les participants qui n'ont pas encore présentés leur
  contribution à COACH (CITI, Alain Darte) une présentation
  de 30 minutes est encore et toujours la bienvenue afin de nous
  permettre d'appréhender le projet dans son ensemble.
  
-----------------------------------------------------------------