Couvre la persistance en informatique, en se concentrant sur les disques magnétiques et leurs caractéristiques de performance, y compris le temps de recherche, la latence rotationnelle et les algorithmes de planification des disques.
Couvre la création de processus, la commutation entre eux, la manipulation des interruptions, et le mécanisme de commutation de contexte dans le monde multiprocesseur.
Couvre le rôle des systèmes d'exploitation en tant que services de colle qui simplifient la conception des applications et améliorent la gestion des ressources.
Explore l'impact de la localité sur la conception du système, en discutant des stratégies pour optimiser l'efficacité et la performance grâce à la mise en page des données, la conception des serrures et la minimisation des mouvements de données.
Explore les mécanismes d'isolement dans les systèmes d'exploitation, en mettant l'accent sur la séparation des processus et l'isolation matérielle dans l'architecture x86.
Explique comment les systèmes d'exploitation créent l'illusion de ressources dédiées et infinies grâce à la virtualisation et à l'abstraction des processus.
Couvre l'appel du système de fourche dans les systèmes d'exploitation à travers trois exemples pratiques, illustrant la gestion des processus et le flux d'exécution.
Couvre les principes et les mécanismes de la mémoire virtuelle dans les systèmes informatiques, en se concentrant sur l'isolement, l'efficacité et le rôle de l'unité de gestion de la mémoire.
Explore les défis de sécurité informatique, les systèmes de stockage d'objets, la transition de gestion du site, le déploiement de la sécurité du réseau et la gestion de portefeuilles de projets à l'EPFL.
Couvre les principes et les mécanismes de la virtualisation, y compris le multiplexage, l'agrégation et l'émulation, en mettant l'accent sur la mise en œuvre de la mémoire virtuelle.
Explore l'API du système de fichiers, les inodes, les descripteurs de fichiers, les tendances de stockage, les opérations de fichiers souhaitées, et les couches de logiciels de FS.
Explore la coordination et la programmation dans les systèmes d'exploitation, couvrant les problèmes de réveil perdus, les algorithmes de planification et les primitives de coordination comme le sommeil et le réveil.
Explore les techniques avancées de cohérence du cache, en mettant l'accent sur les serveurs sensibles à la puissance et l'optimisation des protocoles de cohérence.