update soutien timing for GLA and ProgSyst
[homepage.git] / teaching / 1112 / progsyst.mdwn
1 [[!template id=course_header course="Programmation système" year="2011/2012"
2    institute="""
3    [Université Paris Diderot](http://www.univ-paris-diderot.fr/) -
4    [Master 1 en Informatique](http://www.informatique.univ-paris-diderot.fr/)
5 """]]
6
7 ## Informations générales
8
9 Équipe pédagogique:
10
11 * chargé de cours: [[Stefano Zacchiroli|/index]]
12 * chargé de TD-TP: [Gabriel Kerneis](http://www.pps.jussieu.fr/~kerneis/)
13
14 Horaires:
15
16 * jeudi 16h30-18h30, cours magistral, amphi 6C (sauf 29 septembre)
17 * lundi 10h30-12h30, TD-TP, salles 473F et 554C
18 * lundi 13h30-15h30, TD-TP, amphi 6C et salle 554C
19
20 Calendrier:
21
22 * 22 septembre 2011 - début de cours
23 * 26 septembre 2011 - début de TD-TP
24 * 15 décembre 2011 - dernier cours
25 * 2 janvier 2011 - date de rendu des projets (à 12h00, heure de Paris)
26 * 4 janvier 2012 - examen: 8h30-11h30, amphi 5C
27 * 13 janvier 2012 - soutenances: 8h30-18h30, salle S (554C)
28 * 7 juin 2012 - soutien: 10h-12h, salle 473F
29
30 Le cours sera *évalué* pour 50% par un projet (qui n'est pas du contrôle
31 continu donc obligatoire) et pour 50% par un examen.
32
33 ## Listes de diffusion
34
35 Tous les étudiants doivent s'abonner a la *newsletter*
36 [m1progsyst](https://listes.sc.univ-paris-diderot.fr/sympa/info/m1progsyst). Toutes
37 annonces du cours seront envoyées à cette liste.
38
39 ## Livres
40
41 * *Advanced Programming in the UNIX Environment*, Second Edition, W. Richard
42    Stevens and Stephen A. Rago. Addison-Wesley Professional, 2005.
43 * *The Linux Programming Interface*, Michael Kerrisk. No Starch Press, 2010.
44 * *Linux System Programming*, O’Reilly Media, 2007.
45
46 ## Transparents
47
48 * [[Cours 1 - Introduction|cours-01.pdf]]
49 * [[Cours 2 - Process management basics|cours-02.pdf]]
50 * [[Cours 3 - Process management|cours-03.pdf]]
51 * [[Cours 4 - Runtime user management|cours-04.pdf]]
52 * [[Cours 5 - Signals|cours-05.pdf]]
53 * [[Cours 6 - IPC & pipes|cours-06.pdf]]
54 * [[Cours 7 - FIFOs|cours-07.pdf]]
55 * [[Cours 8 - File locking|cours-08.pdf]]
56 * [[Cours 9 - Memory mapping|cours-09.pdf]]
57 * [[Cours 10 - System V IPC|cours-10.pdf]]
58
59 Voir la page de Gabriel Kerneis pour les
60 [sujets de TPs](http://www.pps.jussieu.fr/~kerneis/enseignement/systeme/).