Notes de cours, TD et TME

• cours 10 : migration de threads et programmation parallèle (lien)
• cours 9 : applets, servets, JSP (en PDF)
• cours 8 : appels distants, RMI (en PDF)
• cours 7 : persistance et communication (en PDF )
• cours 6 : Canaux synchrones en OCaml et futures en Java (en PDF )

• cours 5 : 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 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
• TD1 et TME1
• cours 1 : généralités sur la concurrence (transparents, comparaison des modèles mémoire, utilisation de fork)

Équipe pédagogique

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

Groupes

> groupes 1 & 2 (Romain Demangeon, Philippe Esling) :
• TD : mercredi 13h30-15h30
• TME : mercredi 16h-18h
• groupe 3 (Tong Lieu) :
  • TD : vendredi 13h30-15h30,
  • TME : vendredi 16h-18h,

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 2013-2014 en PDF (version du 01/12/13)
• projet à réaliser dans deux langages à choisir dans la liste suivante : Java, OCaml ou C. Pour les autres couples de langagei 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.
• rendu par courrier électronique ( en cliquant sur ce lien ) un rapport contenant une brève description géiné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.
• rendez une première version au plus tard le mercredi 11/12/13, vous aurez ensuite jusqu'au lundi 16/12/13 midi pour soumettre de nouvelles versions.
• vous avez jusqu'au lundi midi 16/12/2013 pour rendre la dernière version

  Attention seuls ceux ayant rendu une première version pourront soumettre des versions suivantes.

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 luniversité de Genène sur les systèmes réactifs

Autres liens

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