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: Emmanuel Chailloux, Philippe Trebuchet, Tong Lieu, Philippe Wang

Groupes

• groupe 3 (Tong Lieu) :
  • TD : vendredi 13h30-15h30h, couloir 13-14 salle 106
  • TME : vendredi 16h-18h, batiment 31 salle 312

• groupes 1 & 2 (Philippe Trebuchet, Philippe Wang) :
  • à préciser

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 2012-2013 en PDF
  • 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 12/12/12, vous aurez ensuite jusqu'au lundi 17/12/12 midi pour soumettre de nouvelles versions.
  • vous avez jusqu'au lundi midi 17/12/2012 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.