Notes de cours, TD et TME

• cours 9 : applets, servets, JSP (en PDF)
• cours 8 : appels distants, RMI (en PDF)
• cours 7 : compléments Lustre/Scade (en PDF), persistance et communication (en PDF )
• 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 : Interneteries, client/serveur (en PDF), lire chapitre 20 de DAOC (cf lien)
• cours 4 : canaux synchrones en OCaml, futures et streams en Java (en PDF)
• cours 3 : Threads en OCaml 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, Romain Demangeon, Philippe Esling,Tong Lieu

Groupes

• cours (Emmanuel Chailloux) : amphi 56A
• groupe 1 (Philippe Esling) :
  • TD : lundi 13h45-15h45 (salle 23.24 205)
  • TME : lundi 16h-18h (salle 14.15 406)
• groupe 2 (Romain Demangeon) :
  • TD : mardi 8h30-10h30 (salle Atrium 317)
  • TME : mardi 10h45-12h45 (salle 14.15 406)
• groupe 3 (Tong Lieu) :
  • TD : vendredi 8h30-10h30 (salle Atrium 515)
  • TME : vendredi 10h45-12h45 (salle 14-15 303)

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 2014-2015 en PDF (nouvelle version du 20/04/2015), ancienne version en PDF (version du 24/03/2015)
  • 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 vendredi 17/04/2015, vous aurez ensuite jusqu'au lundi 27/04/15 pour rendre la dernière version

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

  • liste des rendus au 20.4.15 (si vous n'y etes pas, envoyez très rapidement un courrier en suivant la procédure de soumission).

  • liste des rendus au 28.4.2015 (si vous n'y etes pas, envoyez très rapidement un courrier en suivant la procé dure de soumission).
    

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.