Couvre les bases de la programmation parallèle, y compris la concurrence, les formes de parallélisme, la synchronisation et les modèles de programmation tels que PThreads et OpenMP.
Explore la mémoire transactionnelle et la simplification matérielle pour le contrôle de la concurrence dans les logiciels, mettant l'accent sur les avantages de la spéculation matérielle et de la concurrence déclarative.
Couvre les concepts d'isolement et de protection dans les systèmes informatiques, en mettant l'accent sur la sécurité des processus et les techniques de gestion des ressources.
Discute de la gestion des périphériques dans les systèmes d'exploitation, en se concentrant sur les pilotes de périphériques, la persistance et les techniques d'optimisation des performances.
Explore la synchronisation sans verrouillage pour des performances et une évolutivité dans les systèmes distribués, couvrant la génération d'identifiants uniques, les files d'attente de messagerie et les lectures RDMA atomiques.
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.
Explore l'exécution des processus, la protection et les mécanismes d'exploitation efficaces pour des environnements multi-programmes sécurisés et fiables.
Couvre la virtualisation de la mémoire, en se concentrant sur l'abstraction de l'espace d'adressage et la gestion des ressources mémoire par le système d'exploitation.
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.
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 la mémoire transactionnelle pour le contrôle de la concurrence matérielle, en discutant des mécanismes de verrouillage, des compromis de performance et des modifications matérielles.
Couvre l'interaction entre les systèmes d'exploitation et les périphériques d'E/S, en se concentrant sur les fondamentaux matériels et les implications de performance.
