Cours de système 2008/2009

Voir ici la page de cours de l'annee derniere.

Programme previsionnel

Intro systeme + shell+ révisions C
Processus, Signaux
Gestion Mémoire
Système de fichiers, tubes, sockets
Ordonnancement
Modèle des threads, multiprocesseurs, mécanismes de synchronisation, sections critiques
Algorithmique concurrente, modèle de transactions, structures de données concurrentes.

Transparents de cours

Les transparents de cours et le programme des prochaines séances seront mis à jour au fur et à mesure.

Les transparents traitant de concurrence (qui sont ceux en anglais) sont les transparents originaux de Maurice Herlihy présentés lors de l'école d'été LASER 2008.

10/11: Cours d'introduction, notions de shell, un peu de C
17/11: Processus et signaux, début sur la gestion mémoire.
24/11: Gestion mémoire
1/12 : systeme de fichiers, communication interprocessus par fichier, entrées-sorties en C.
8/12 : Ordonnancement, threads, introduction à la concurrence (Herlihy).
15/12 : Introduction aux multiprocesseurs, exclusion mutuellle (Herlihy)
9/01 : Concurrence bloquante, objets concurrents linéarisables (Herlihy )

Les TDs/TPs

Les TPs sont assurés par Pierre Chambart.

Examens des années passées

2006/2007 : sujet corrige
2007/2008 : sujet corrige
2008/2009 : sujet corrige

Bibliographie

Les livres sur lesquels s'appuie le cours:

UNIX : Programmation et communication.
de Jean-Marie Rifflet et Jean-Baptiste Yunès, Dunod.

Systèmes d'expoitation (2eme edition)
de Andrew Tanenbaum, Pearson Education.
The art of multiprocessor programming de Maurice Herlihy et Nir Shavit.

On peut aussi citer la première version du Tanenbaum qui présente complètement un système d'exploitation (MINIX) écrit dans la perspective de l'enseignement. Une autre référence standard est Operating System Concepts de Silberschatz, Galvin et Gagne. (John Wiley editor).

Documentation sur C

Le langage C, norme ANSI, 2e édition
de Brian W. Kernighan, Denis M. Ritchie, 280 pages , Dunod; ISBN : 2100051164
Méthodologie de la programmation en C : Bibliothèque standard, API POSIX, 3e édition
de Jean-Pierre Braquelaire, 556 pages, Dunod; ISBN : 2100047825
sur le web: le cours de C en ligne et en francais de Bernard Cassagne.