Notes de cours, TD et TME

• cours 9 : servets, JSP (en PDF)
• cours 8 : appels distants, RMI (en PDF)
• cours 7 : persistance et communication (en PDF )
• cours 6 : Interneteries, client/serveur (en PDF), lire chapitre 20 de DAOC (cf lien)

  ---

• cours 5 : Esterel (en PDF, transparents de Nadine Richard)
  • vidéo du cours de Gérard Berry au Collège de France
• cours 4 : applets Java et event O'Caml (en PDF)
• cours 3 : Threads en O'Caml et en Java (en PDF)
• cours 2 : Fair threads (PDF)
  • Fair threads à l'Inria
  • fair threads en OCaml
• 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: Benjamin Canou, Emmanuel Chailloux, Philippe Trebuchet, Tong Lieu

Groupes

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 2011-2012 en PDF
  • la dernière version du sujet : ici
  • 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 l'UFR,les binaires et les sources du projet.
  • rendez une première version au plus tard le vendredi 9/12/11, vous aurez ensuite jusqu'au lundi 19/12/11 pour soumettre de nouvelles versions.
  • vous avez jusqu'au lundi soir 19/12/2011 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.