(rédigé par PA)

Présents : PA, GA, AL, CA, PS, MM

solutions de génération

• writeln : rapide mais les inconvénients
• templates (solution préconisée) ⇒ Velocity, Freemarker (*)
• transfo de modèles (ATL)

solutions de parcours

• algorithmes
• visiteurs : adaptés au templates

capitalisation, généralisation

• algorithmes par type de génération
  • pour B
  • pour d'autres langages
• ne pas refaire plusieurs fois la même chose ⇒ rendre persistant les structures intermédiaires

différents main

• en fonction du type de génération
• paramétrage

PS

• biblio : com. synchrone, processus parallèles, partage de contexte
  • composants distribués
  • threads
  • moniteurs de Hoare
  • pi-calcul : CCS/CSP avec noms en param
• rappel des conditions de concurrence
  • 1 service d'un composant à la fois : non : trop fort = borne sup
  • 1 action élémentaire à la fois : non : trop faible = borne inf
  • solutions intermédiaires :
    • sous-service non interruptible
    • sections critiques
  • cas des appels «ss» vs inclusion <|ss|>
    • gestion des critiques ou pas

* FACS => messages
   * M
   * mu
   * mu par canal