Introduit les concepts fondamentaux de programmation dans les systèmes d'exploitation, couvrant l'exécution directe limitée, les anneaux de protection, le changement de contexte et diverses politiques de programmation.
Explique les mécanismes et les politiques de planification du système d'exploitation, en se concentrant sur la commutation de contexte et la préemption.
Explore les systèmes de contrôle en temps réel, le déterminisme et l'automatisation dans les systèmes critiques, en soulignant l'importance de respecter les contraintes de temps pour la sécurité et l'efficacité.
Explore Junction, une nouvelle approche combinant le contournement du noyau et le multiplexage des ressources pour améliorer les performances du datacenter OS.
Couvre l'abstraction des processus dans les systèmes d'exploitation, en se concentrant sur la gestion de l'exécution et l'allocation des ressources pour l'exécution de programmes simultanés.
Couvre les primitives de verrouillage nécessaires pour empêcher les conditions de course dans la programmation multithread, en se concentrant sur l'exclusion mutuelle et les opérations atomiques.
Couvre les principes de la conception de systèmes d'acteurs pour la programmation réactive et explore des exemples pratiques comme le système Link Checker.
