Portail informatique 2019-2020

Systèmes d'exploitation

Organisation
- Présentation
- Annales
  - CF1 2019
- Annales (ancienne formule)
  - CF1 2017
  - CF2 2017
  - CF1 2016
  - CF2 2016
  - CF1 2015
  - CF2 2015
  - CF1 2014
  - CF2 2014
  - CF1 2013
  - CF2 2013
  - CF1 2012
  - CF2 2012
  - CF1 2011
  - CF2 2011
  - CF1 2010
  - CF2 2010
  - CF1 2009
  - CF2 2009
  - CF1 2008
  - CF2 2008
  - CF1 2007
  - CF2 2007
  - CF1 2006
  - CF2 2006
  - CF1 2005
  - CF2 2005
  - CF1 2004
  - CF2 2004
  - CF1 2003
  - CF2 2003
- Tous les sujets de TP
- Planning
- Équipe pédagogique
- Annexe GDB
Supports
- Partie 1 - Processus
- Séance 1 Threads
  - Introduction
  - Diapos
  - Cours en ligne
  - Exemples
  - TP
  - Présentation du module
  - Pile logicielle
  - Communication avec l'OS: syscall
  - Fonctionnement de la pile et des registres
  - Threads
  - Thread-safety, réentrance
  - Synchronisation entre threads
- Séance 2 Programmation concurrente
  - Diapos
  - Cours en ligne
  - Exemples
  - TP
  - Communication à base de tubes
  - IPC : message queue, shared memory, semaphores, mutex, condition
  - Patterns de synchronisation classiques
- Séance 3 Mécanismes de synchronisation
  - Diapos
  - Cours en ligne
  - Exemples
  - TP
  - Opérations atomiques
  - Modèle mémoire C11
  - Implémentation de primitives de synchronisation
  - Futex
- Séance 4 Appels systèmes
  - Diapos 30mn
  - Cours en ligne 30mn
  - TP 2h30
  - Notion d'appel système
  - Introduction au noyau xv6
  - Implémentation d'un appel système
- Séance 5 Interruptions et ordonnancement
  - Diapos 30mn
  - Cours en ligne 30mn
  - TP 2h30
  - Bus mémoire, bus d'I/O
  - Traitement d'une interruption
  - Gestion du temps
  - Implémentation d'un traitant d'interruption
  - Implémentation d'un ordonnanceur
- Séance 6 Sprint TP 3h
  - Revue du code et discussion
- Partie 2 - Gestion de la mémoire
- Séance 7 Mémoire virtuelle
  - Diapos 30mn
  - Cours en ligne 30mn
  - Exemples
  - TP 3h
  - Mémoire virtuelle
  - Pagination
  - Table des pages, TLB
  - Espace mémoire d'un processus
  - Politiques d'allocation mémoire
  - Implémentation d'un cache mémoire
- Séance 8 Memory Management Unit
  - TP 3h
  - Gestion mémoire dans un système d'exploitation
  - Mémoire partagée
- Séance 9 Architecture
  - Diapos 30mn
  - Cours en ligne 30mn
  - Exemples
  - TP 3h
  - Processeur séquentiel
  - Pipeline
  - Processeur superscalaire
  - Prédiction de branchement
  - Instructions vectorielles
  - Hyperthreading
  - Processeur multi-coeur
  - Architecture NUMA
  - Fonctionnement d'une mémoire cache
- Séance 10 Sprint
  - Sprint 3h
- Partie 3 - I/O
- Séance 11 Entrées/sorties
  - Diapos 30mn
  - Cours en ligne 30mn
  - Exemples
  - TP 3h
  - IO bufferisées / non bufferisée
  - mmap
  - IO asynchrones
  - Gestion de la concurrence
- Séance 12 Systèmes de fichier
  - Diapos 30mn
  - Cours en ligne 30mn
  - TP 3h
  TODO
- Séance 13 Synthèse: mini-projet
  - TP 3h
  TODO
- Séance 14 Sprint
  - Sprint 3h
- Séance 15 TP noté
  - CF1 3h
  - CF2 3h

Responsables : François Trahay

Groupe	Responsable	Assistant
A	François Trahay
B	Gaël Thomas

Synthèse des heures enseignées ...

Cours	Date	CI				TP
Cours	Date	Horaire	Groupe	Salle	Intervenant	Horaire	Groupe	Salle	Intervenant
CI1	vendredi 24/04	14h30 à 17h45		A		B02		François Trahay
CI1	vendredi 24/04	14h30 à 17h45		B		B03		Élisabeth Brunet
CI2	mercredi 29/04	10h00 à 13h15		A		B02		François Trahay
CI2	mercredi 29/04	10h00 à 13h15		B		B03		Élisabeth Brunet
CI3	lundi 4/05	10h00 à 13h15		A		C106		François Trahay
CI3	lundi 4/05	10h00 à 13h15		B		F207		Gaël Thomas
CI4	mercredi 6/05	10h00 à 13h15		A		B03		François Trahay
CI4	mercredi 6/05	10h00 à 13h15		B		B04		Gaël Thomas
CI5	lundi 11/05	10h00 à 13h15		A		B02		François Trahay
CI5	lundi 11/05	10h00 à 13h15		B		B03		Gaël Thomas
CI6	mercredi 13/05	10h00 à 13h15		A		B02		François Trahay et Gaël Thomas
CI6	mercredi 13/05	14h30 à 17h45		B		B02		François Trahay et Gaël Thomas
CI7	vendredi 15/05	10h00 à 13h15		A		B02		François Trahay
CI7	vendredi 15/05	14h30 à 17h45		B		B03		Gaël Thomas
CI8	lundi 18/05	10h00 à 13h15		A		B03		François Trahay
CI8	lundi 18/05	10h00 à 13h15		B		B04		Gaël Thomas
CI9	mercredi 20/05	10h00 à 13h15		A		B03		François Trahay
CI9	mercredi 20/05	10h00 à 13h15		B		B04		Gaël Thomas
CI10	lundi 25/05	10h00 à 13h15		A		B04		François Trahay et Gaël Thomas
CI10	mercredi 27/05	10h00 à 13h15		B		B02		François Trahay et Gaël Thomas
CI11	mercredi 27/05	14h30 à 17h45		A		B02		François Trahay
CI11	mercredi 27/05	14h30 à 17h45		B		B03		Gaël Thomas
CI12	mercredi 3/06	10h00 à 13h15		A		B02		François Trahay
CI12	mercredi 3/06	10h00 à 13h15		B		B03		Gaël Thomas
CI13	vendredi 5/06	10h00 à 13h15		A		B02		François Trahay
CI13	vendredi 5/06	10h00 à 13h15		B		B03		Gaël Thomas
CI14	mardi 9/06	10h00 à 13h15		A		B06		François Trahay et Gaël Thomas
CI14	mardi 9/06	14h30 à 17h45		B		B04		François Trahay et Gaël Thomas
CF1	mercredi 10/06	14h30 à 17h45				B03, B07, B08, B111		François Trahay, Gaël Thomas, Michel Simatic et Alexis Lescouet