Professeur
- Coordination et matériel de cours: Jean Privat
Ressources
- Plan de cours été 2022
- Description officielle (et horaires)
- Mattermost
- Support académique pour les travaux et autre.
Description officielle
Maîtriser et appliquer les concepts fondamentaux des systèmes d’exploitation. Comprendre les mécanismes et les politiques mises-en-oeuvre par les systèmes d’exploitations. Maîtriser la programmation système UNIX/Linux en C.
Rôles, types et structure générale des systèmes d’exploitation. Mécanismes noyaux : appels systèmes, interruptions, modes d’exécution processeur. Gestion des processus : états des processus, création et terminaison (fork et exec). Multitâche : changement de contexte, fils (threads), ordonnancement des tâches. Gestion des fichiers : systèmes de fichiers, inodes, descripteurs de fichiers, fichiers spéciaux. Communication inter-processus : échanges de messages, signaux, tubes, mémoire partagée. Concurrence : synchronisation, sections critiques, interblocages. Gestion de la mémoire : adressage, allocation, protection, pagination, mémoire virtuelle. Entrées-sorties : pilotes, pseudo-périphériques. Les considérations de sécurité seront intégrées au développement de la matière.
Évaluations et échéancier des rendus
Les dates de remise sont des dates “au plus tard”, et s’entendent sur le fuseau horaire de Montréal, à 23:55 le jour de la date de remise. Tout rendu hors délai recevra la note de zéro (0), mais rien ne vous empêche de livrer avant l’échéance. Les règles concernant le plagiat seront appliquées sans aucune tolérance.
La note finale (en lettre, A+, A, etc.) pour le trimestre sera attribuée en fonction de l’atteinte des objectifs spécifiques à travers les évaluations. La distribution des résultats dans le groupe pourrait aussi être utilisée. Aucune autre opportunité (travail supplémentaire, etc.) d’augmenter le nombre de points ne sera accordée.
Semainier (type) des séances
- Les diapositives téléchargeables (pdf) datent de la session d’été 2021.
- Des capsules vidéos de Jean Privat (automne 2020) sont aussi disponbles.
# | Semaine | Diapositives | Laboratoires |
---|---|---|---|
1 | 100 Introduction - pdf 🖼
110 Définition et rôles - pdf 🖼 120 Appels système - pdf 🖼 - progs 💾 130 Mécanismes matériels - pdf 🖼 - progs 💾 | Pas de laboratoire | |
2 | 200 Processus - pdf 🖼
210 Threads - pdf 🖼 220 Mémoire des processus - pdf 🖼 - progs 💾 230 Vie et état - pdf 🖼 | ||
3 | 240 Création et terminaison - pdf 🖼 - progs 💾
241 fork et création de processus - pdf 🖼 - progs 💾 242 exec et recouvrement de processus - pdf 🖼 - progs 💾 243 exit et terminaison de processus - pdf 🖼 - progs 💾 | ||
4 | 250 Ordonnancement des processus - pdf 🖼 - progs 💾 | ||
5 | 300 Système de gestion de fichiers - pdf 🖼
310 Manipulation de fichiers - pdf 🖼 Quiz 1 | ||
6 | 320 Droits et utilisateurs - pdf 🖼
330 Répertoires - pdf 🖼 - progs 💾 | ||
7 | 340 Traitement des fichiers ouverts - pdf 🖼 - progs 💾
350 Implémentation des systèmes de fichiers - pdf 🖼 | ||
8 🌼 | Examen intra
À la place du cours | ||
9 | 400 Communication interprocessus - pdf 🖼
410 Signaux - pdf 🖼 - progs 💾 420 Tubes - pdf 🖼 - progs 💾 | ||
10 | 430 Sockets - pdf 🖼 - progs 💾
500 Synchronisation - pdf 🖼 - progs 💾 9 novembre: date limite d'abandon sans mention d'échec. | ||
11 | 510 Section critique - pdf 🖼 - progs 💾
520 Outils de synchronisation - pdf 🖼 - progs 💾 530 Interblocage - pdf 🖼 - progs 💾 | ||
12 | 600 Gestion de la mémoire - pdf 🖼 - progs 💾
610 Pagination - pdf 🖼 620 Mémoire virtuelle - pdf 🖼 Quiz 2 | ||
13 | 621 Mémoire virtuelle avancée - pdf 🖼
622 mmap et cie. - pdf 🖼 - progs 💾 623 Consommation mémoire - pdf 🖼 - progs 💾 630 Allocation - pdf 🖼 | ||
14 | Sujets avancés | ||
15 ☀ | Examen final
À la place du cours | Pas de laboratoire |
Anciens examens
Liens
- The Linux Kernel documentation. Documentation officielle du noyau Linux
- LWN. Site d’information spécialisé sur le noyau linux et son ecosystème (Linux Weekly News)
- POSIX.1-2017. Norme POSIX (Open Group et IEEE).
- The Unix Tree. Code source original de nombreuses versions historiques de Unix.
Ressources de rappel pour les préalables
INF1070
INF2172
- Les slides du cours de Jean Privat (C’est une vielle version mais la matière n’a pas vraiment changée)
INF3135
- Le cours d’Alexandre Blondin Massé (en vidéo)
Médiagraphie
Les ressources suivantes sont recommandées.
- SILBERSCHATZ, A., GAVIN, P.B., GAGNE, G. – Operating Systems Concepts, 10TH EDITION, WILEY, 2018.
- TANENBAUM, Andrew S. – Modern Operating Systems – PRENTICE HALL, 4RD ED., 2014.
- TANENBAUM, Andrew S. – Système d’exploitation – PERSON EDUCATION, 3RD ED. (en français)
Des ressources complémentaires sont disponibles
- NUTT, G. – Operating system concepts – ADDISON WESLEY.
- STALLING, W. – Operating systems Internals and Design Principles – PRENTICE HALL.
- BIC, L.F. et SHAW, A.C. – Operating systems principles – PRENTICE HALL.
- KERNIGHAN, B.W., RITCHIE, D.M. – The C programming language – PRENTICE HALL.
- BLAESS, C. – Développement système sous Linux – EYROLLES
- RIFFLET, J.M. – La programmation sous Unix – SCIENCE INTERNATIONAL, PARIS.
- KERRISK M. – The Linux Programming Interface – NO STARCH PRESS.
- GRAY, J.S. – Inteprocess communications in Linux – THE NOOKS AND GRANMIS.
- ROBBINGS, K.A. et ROBBINGS, S. – Unix Systems Programming – PRENTICE HALL.