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.
Discute des défis dans la gestion de la consommation d'énergie des centres de données et souligne l'importance de la virtualisation et de la désinstallation matérielle.
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 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.
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.
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 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 Junction, une nouvelle approche combinant le contournement du noyau et le multiplexage des ressources pour améliorer les performances du datacenter OS.
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.
Explore les principes d'interprétation abstraite et le domaine Octagon, en mettant l'accent sur les compromis entre précision et efficacité et l'analyse statique des programmes.
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 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.
