Programmation système

Informations

Professeur : Dany Gagnon
Pondération 2-4-2
Deux séances de 3 heures par semaine, le lundi et le mercredi.
Plan de cours : A2026_420_3A6-ST_OF_DG
GitLab : dépôts du cours et remises

Calendrier des séances

Le calendrier est à titre indicatif.

Semaine	Séance A	Séance B	Évaluation
1	Aucune séance prise en charge	Mercredi 26 août Unix, appels système et VM Arch
2	Lundi 31 août Transitions, fautes, interruptions et strace	Mercredi 2 septembre Environnement Unix Remise Exercice 01
3	Lundi 7 septembre Congé, aucune séance	Mercredi 9 septembre Fondements du C Remise Exercice 02
4	Lundi 14 septembre Compilation, modules, Make et GDB	Mercredi 16 septembre Fichiers, répertoires et liens Remise Exercice 03
5	Lundi 21 septembre Utilisateurs et permissions	Mercredi 23 septembre Scripts Bash Remise Exercice 04
6	Lundi 28 septembre Flux et outils de texte	Mercredi 30 septembre Pointeurs et mémoire Remise Exercice 05
7	Mercredi 7 octobre Utilitaire Unix en C	Vendredi 9 octobre Révision des mécanismes	Quiz 01
Étude	12 au 16 octobre Semaine d'étude	Aucune séance
8	Lundi 19 octobre Examen intra	Mercredi 21 octobre Descripteurs de fichiers	Examen intra
9	Lundi 26 octobre Système de fichiers	Mercredi 28 octobre Processus Remise Exercice 06
10	Lundi 2 novembre Signaux	Mercredi 4 novembre Tubes et FIFO Remise Exercice 07
11	Lundi 9 novembre Mémoire partagée et sémaphores	Mercredi 11 novembre Mémoire dynamique en C Remise Exercice 08
12	Lundi 16 novembre Threads avec pthread	Mercredi 18 novembre Mutex et conditions de course Remise Exercice 09
13	Lundi 23 novembre Variables de condition et interblocages	Mercredi 25 novembre Services systemd Remise Exercice 10
14	Lundi 30 novembre Validation, commandes et privilèges	Mercredi 2 décembre Cours facultatif ou reprise : mémoire virtuelle, ELF et AArch64, diagnostic Remise Exercice 11
15	Lundi 7 décembre Synthèse du cours	Mercredi 9 décembre Aucune séance de cours, ESC	Quiz 02
Finale	Période d'évaluation	Épreuve synthèse	40 %

Médiagraphie

Ouvrages recommandés

Abraham Silberschatz, Peter B. Galvin et Greg Gagne, Operating System Concepts, 10e édition, Wiley, 2018.
Andrew S. Tanenbaum et Herbert Bos, Modern Operating Systems, 4e édition, Pearson, 2014.
Andrew S. Tanenbaum, Systèmes d'exploitation, 3e édition, Pearson Education, édition française.

Ouvrages complémentaires

Gary J. Nutt, Operating Systems: A Modern Perspective, Addison-Wesley.
William Stallings, Operating Systems: Internals and Design Principles, Pearson.
Lubomur F. Bic et Alan C. Shaw, Operating Systems Principles, Prentice Hall.
Brian W. Kernighan et Dennis M. Ritchie, The C Programming Language, 2e édition, Prentice Hall, 1988.
Christophe Blaess, Développement système sous Linux, 5e édition, Eyrolles.
Jean-Marie Rifflet, La programmation sous Unix, Science International.
Michael Kerrisk, The Linux Programming Interface, No Starch Press, 2010.
John Shapley Gray, Interprocess Communications in Linux: The Nooks and Crannies, Prentice Hall PTR, 2003.
Kay A. Robbins et Steven Robbins, UNIX Systems Programming: Communication, Concurrency, and Threads, 2e édition, Pearson.

Ressources en ligne

Téléchargement officiel d'Arch Linux, image ISO et signatures.
Guide d'installation d'Arch Linux et documentation d'archinstall.
ExplainShell, par Idan Kamara. Explication visuelle des commandes à partir des pages de manuel. Ressource en anglais.
The Linux Command Line, par William Shotts. Septième édition Internet offerte gratuitement en PDF. Ressource en anglais.
The Linux Kernel documentation, documentation officielle du noyau Linux.
LWN, actualité du noyau Linux et de son écosystème.
POSIX.1-2024, norme publiée par The Open Group et l'IEEE.
The Unix Tree, code source de versions historiques d'Unix.
Linux man-pages, référence des appels système et des fonctions de bibliothèque.