L'unité d'enseignement « Principes des systèmes d'exploitation » est une UE de niveau (300) spécialisation relevant de la licence d'informatique. Elle possède un volume de 6 ECTS et s'étend sur 12 semaines. Elle est placée sous la responsabilité de Sens, pierre.

Description

L'objectif de ce module est d'étudier les principes, algorithmes et organisations des systèmes informatiques. Le but est de dégager les concepts communs à la base des systèmes modernes tels que le temps partagé, l'ordonnancement, la gestion de la mémoire et des disques. Des exemples d'implantation notamment dans UNIX seront évoqués.

Nous voulons insister sur l'interaction des mécanismes de base de façon à fournir aux étudiants une vision globale du fonctionnement du système.

Pour faciliter l'assimilation des principes de base des systèmes, il paraît important d'illustrer les concepts par l'étude d'un système réel (en l'occurrence UNIX).

---

Concepts généraux abordés :

• fonctions et concepts des systèmes
• interfaces système / matériel
• gestion du temps
• gestion de serveurs (ordonnancement)
• processus et parallélisme
• synchronisation par attente active
• sémaphores
• prévention de l'interblocage
• hiérarchies de mémoire, caches
• mémoire virtuelle, segmentation, pagination
• entrées / sorties

Concepts Unix :

• gestion de processus (fork, exec)
• signaux
• communication inter-processus (IPC)

Préalables et buts pédagogiques

Bibliographie

• Principes des systèmes d'exploitation. A. Silberschatz, P. B. Galvin. Addison-Wesley, 1994

• Systèmes d'exploitation. Andrew Tanenbaum. Pearson Education, 2003

Contenu indicatif par semaine

1. Introduction : Fonctions et concepts des systèmes, historique des systèmes

2. Gestion du processus (1) : Etats, mode d'exécution, accès aux services système

3. Gestion des processus (2) : Ordonnancement (batch et temps partagé)

4. Les processus dans Unix : fork, exec, wait

5. Synchronisation par attente active

6. Sémaphore et gestion de l'interblocage

7. Sémaphore et mémoire partagée dans Unix : Primitives IPC d'Unix System V

8. Gestion de la mémoire (1) : Hiérarchie mémoire, mémoire linéaire

9. Gestion de la mémoire (2) : Mémoire virtuelle, segmentation et pagination

10. Les signaux dans Unix

11. Systèmes de gestion de fichiers (1) : Accès aux données

12. Systèmes de gestion de fichiers (2) : Gestion de l'espace libre. Entrées / Sorties