Mécanismes de pagination: copie sur écriture et échange

Cette séance de cours explique comment le système d'exploitation utilise la pagination via deux mécanismes principaux: la copie sur écriture et l'échange. Il commence par expliquer le concept de copy-on-write, qui optimise l'appel système fork en permettant aux processus de partager la mémoire jusqu'à ce qu'une opération d'écriture se produise. L'instructeur détaille l'implémentation naïve de fork, qui est inefficace en raison de la duplication de la mémoire, et le compare à l'approche plus efficace de la copie sur écriture qui utilise le comptage de référence et les mappages en lecture seule. La séance de cours passe ensuite à l'échange, abordant le défi de la mémoire principale limitée lorsque plusieurs processus sont en cours d'exécution. Il décrit comment le système d'exploitation peut stocker les pages inutilisées sur le disque, ce qui permet la récupération de mémoire et le sur-approvisionnement. Le processus de traitement des erreurs de page est expliqué, y compris la façon dont l'unité de gestion de la mémoire (MMU) interagit avec les tables de pages et le bit présent pour gérer efficacement la mémoire. La séance de cours se termine par un résumé de la fragmentation, de la pagination et de l'importance des TLB dans les systèmes d'exploitation modernes, soulignant leur rôle dans la gestion efficace de la mémoire.