Virtualisation de la mémoire : Techniques de gestion basées sur les pages

Cette séance de cours couvre le concept de mémoire virtuelle basée sur des pages dans les systèmes informatiques. Il commence par un examen de la segmentation et de ses limites, en particulier la fragmentation externe et la complexité dans le partage de la mémoire. L'instructeur présente la pagination comme une solution, expliquant comment il divise l'espace d'adressage en pages de taille fixe et gère la mémoire physique en trames. Les principaux avantages de la pagination sur la segmentation sont discutés, y compris l'amélioration de l'efficacité et l'élimination du besoin d'allocation de mémoire physique contiguë. La séance de cours détaille la structure des adresses virtuelles, qui consistent en un numéro de page virtuelle et un décalage de page, et explique comment l'unité de gestion de la mémoire (MMU) traduit les adresses virtuelles en adresses physiques. Des exemples illustrent comment les pages virtuelles mappent sur des cadres physiques et comment accéder à des emplacements de mémoire en utilisant la pagination. La séance de cours se termine par une discussion sur la gestion des tables de pages et les implications de l'utilisation de la mémoire virtuelle basée sur les pages pour un accès et une protection efficaces de la mémoire.