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 le concept de verrouillage pour l'exclusion mutuelle dans le système d'exploitation, couvrant les conditions de race, le parallélisme, les instructions atomiques, la prévention de l'impasse et les meilleures pratiques.
Couvre l'exécution directe limitée, une technique qui permet une exécution efficace du programme tout en assurant le contrôle et la sécurité du système d'exploitation.
Explique la construction et la fonctionnalité d'un moniteur de machine virtuelle, en se concentrant sur les techniques de virtualisation et la gestion de la mémoire.
Couvre l'importance et les défis des systèmes d'exploitation, leur omniprésence, leur impact sur les programmes et leur rôle d'illusionnistes et d'arbitres.
Explique l'abstraction de l'espace d'adressage, en se concentrant sur la gestion de la mémoire, les structures de pile et de tas, et leurs rôles dans l'allocation dynamique de la mémoire.
Couvre les bases des processus dans les systèmes d'exploitation, y compris la création, la mise en page de la mémoire, les transitions d'état, la virtualisation, les API et l'exécution de programmes.
Se concentre sur la conception de systèmes intermittents officiellement corrects dans les systèmes sans batterie alimentés par intermittence, en abordant les défis et les stratégies pour assurer l'exactitude.