Cette page est la page officielle du cours du 2ème semestre 2016/2017 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

• version du projet en ligne (section Examens : versions du 4.4.16) et consignes de remise
• texte du projet (section Examens : version du 04/04/2018)

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 de Jean-Ferdinand Susini (Cnam),
  • Scade 1 (présentation de l'environnement Scade)
  • OCaLustre
• cours 6 : Esterel (en PDF, transparents de Nadine Richard)
  • vidéo du cours de Gérard Berry au Collège de France
  • fichier emacs dans /Vrac sur les machines de la ppti

  ---

• 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
• TD1 et TME1
• 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, Philippe Esling,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 (24-25 103)
  • TME : lundi 16h-18h (14-15 406)
• groupe 2 :
  • TD : lundi 13h45-15h45 (14-24 105)
  • 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 2017-2018 en PDF (version du 04/04/2018).
  • 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 vendredi 11.5.18 à midi par courrier électronique ( en cliquant sur ce lien ) un rapport contenant une brève description générale du problème, une description de la hiérarchie de classes ou des modules utilisés, des principaux algorithmes, un listing commenté, un petit manuel d'utilisateur et des jeux d'essai. Pour pouvoir tester votre programme il est demandé d'installer, dans un catalogue de votre compte sur les machines Linux de la PPTI, les binaires et les sources du projet.
  • 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 : 03/05/2018