Cette page est la page officielle du cours du 2ème semestre 2018/2019 intitulé « Programmation concurrente, réactive et répartie » qui s'adresse aux étudiants de master de l'UPMC. La description de la brochure du module se trouve ici.

• Nouvelles fraîches
• Notes de cours, TD et TME
• Equipe pédagogique
• Groupes
• Examens
• Bibliographie
• Autres liens

Nouvelles fraîches

• texte du projet (section Examens : version du 04/03/2019)

Notes de cours, TD et TME

Ne pas les imprimer : un polycopié sera distribué. Les Tds sont dans le catalogue /Vrac des machines étudiantes.

• cours 9 : appels distants, RMI (en PDF)

  tutorial Oracle avec stubs dynamiques (sans rmic) : lien)

• cours 8 : persistance et communication (en PDF )
• cours 7 : Lustre (en PDF),
  cours Esterel et Lustre de Jean-Ferdinand Susini (Cnam),
  • Scade 1 (présentation de l'environnement Scade)
  • OCaLustre
• cours 6 : Esterel (en PDF, transparents de Nadine Richard)

  ---

• cours 5 : canaux synchrones en OCaml, futures et streams en Java (en PDF)
• cours 4 : Interneteries, client/serveur (en PDF), lire chapitre 20 de DAOC (cf lien)
• cours 3 : Threads en OCaml et en Java (en PDF)
• cours 2 : Fair threads (PDF)
  • Fair threads à l'Inria
  • fair threads en OCaml
  • Lwt
• cours 1 : généralités sur la concurrence (transparents)

Équipe pédagogique

L'équipe pédagogique est ainsi constituée: Emmanuel Chailloux, Romain Demangeon, Tong Lieu

Pour envoyer un courrier à l'équipe pédagogique, cliquez ici.

Groupes

Voici les horaires des groupes

• cours (Emmanuel Chailloux) : amphi 45A
• groupe 1 :
  • TD : lundi 13h45-15h45 (55-56 102)
  • TME : lundi 16h-18h (14-15 406)
• groupe 2 :
  • TD : lundi 13h45-15h45 (24-34 205)
  • TME : lundi 16h-18h (14-15 408)

Examens et notation

La note de module est formée à 60% par l'examen final et à 40% par la note de contrôle continu. La note du CC comprend la note du partiel et la note du devoir de programmation.

• des sujets de partiels et examens des années passées.
• le devoir de programmation 2018-2019 en PDF (versin du 01/04/2019), ancienne version en PDF (version du 04/03/2019).
  • devoir à réaliser dans deux langages à choisir dans la liste suivante : Java, OCaml ou C. Pour les autres couples de langage il est nécéssaire d'avoir l'accord d'un enseignant de l'équipe pédagogique et de ne pas prendre des couples de langages trop proches comme C/C++ ou C#/Java/C++ ou Js/Python/Ruby.
  • à rendre avant le lundi 15.04.19 à midi par courrier électronique ( en cliquant sur ce lien ) un rapport contenant
    1. un manuel utilisateur expliquant comment installer votre projet et toutes ses dépendances, et comment y jouer,
    2. une description détaillée du projet et de ses composants, ainsi que des différentes extensions,
    3. une description illustrée (par des extraits de code) des points pertinents de l'implantation de votre projet: concurrence, gestion des connexions, difficultés d'implémentatios ou de modélisation.
  • si votre archive ne passe pas par courrier électronique, envoyez alors à l'alias précédent une URL pour la télécharger.

Bibliographie

• sur la programmation système
  • Jean-Marie Rifflet et Jean-Baptiste Yunes UNIX : Programmation et communication, Dunod
  • Xavier Leroy et Didier rémy. Programmation du système Unix en Objective Camli (cf lien)

• sur les Fair Threads
  • Frédéric Boussinot : articles et rapports de recherche (cf lien)

• sur Objective Caml

  • Xavier Leroy et al. The Objective Caml system : documentation and user's manual (cf lien)

  • Emmanuel Chailloux, Pascal Manoury et Bruno Pagano. Développement d'Applications avec Objective Caml. O'Reilly, 2000 (cf lien)

  • Le courps Modèles de programmation et interopérabilité des langages (MPIL) de L3.

• sur java et concurrence

  • Gilles Roussel et Etienne Duris. Java et Internet. Vuibert

  • Jeff Magee et Jeff Kramer. Concurrency: State Models & Java Progams Wiley slides des premiers chapitres.

  • Doug Lea. Concurrent Programming in java: Design principles and patterns. Addison-Wesley, 1999.

    avec le supplément en ligne.

• sur Esterel

  • The Esterel Language Primer (suivre le lien)

  • Le site de l'université de Genène sur les systèmes réactifs

Autres liens

• la page des Fair threads
• la page d'OCaml
• la page d'Esterel technologies, et celle des ressources du projet Meije.

---

Remarques?    dernière modification : 11/04/2019