Séance de cours

Mémoire virtuelle : Traduction d'adresses

Graph Chat

Chattez avec Graph Search

Posez n’importe quelle question sur les cours, conférences, exercices, recherches, actualités, etc. de l’EPFL ou essayez les exemples de questions ci-dessous.

AVERTISSEMENT : Le chatbot Graph n'est pas programmé pour fournir des réponses explicites ou catégoriques à vos questions. Il transforme plutôt vos questions en demandes API qui sont distribuées aux différents services informatiques officiellement administrés par l'EPFL. Son but est uniquement de collecter et de recommander des références pertinentes à des contenus que vous pouvez explorer pour vous aider à répondre à vos questions.

Dans cours

CS-522: Principles of computer systems

This advanced graduate course teaches the key design principles underlying successful computer and communication systems, and shows how to solve real problems with ideas, techniques, and algorithms from operating systems, networks, databases, programming l ...

Description

Cette séance de cours couvre les principes de la mémoire virtuelle et de la traduction d'adresses, en discutant de la structure des tableaux de pages, des répertoires de pages et des cadres de pages. Il explore également les compromis entre l'utilisation de pages plus grandes et plus petites pour la gestion de la mémoire.

Enseignant·e

George Candea

Enseignement et PhD Doctorant·es actuel·les Lucas Lopes Cendes, Can Cebeci, Jiacheng Ma, Fan Chung A dirigé les thèses EPFL de Horatiu Jula, Cristian Zamfir, Vitaly Chipounov, Silviu Andrica, Stefan Bucur, Baris Can Cengiz Kasikci, Volodymyr Kuznetsov, Jonas Wagner, Rishabh Iyer, Solal Pirelli, Yan Lei A co-dirigé les thèses EPFL de Radu Banabic, Arseniy Zaostrovnykh Cours Principles of computer systems CS-522 LA VERSION ANGLAISE FAIT FOICe cours avancé se concentre sur les principes fonda

Source officielle

Proximité ontologique

Génie informatique

Calcul intensif: Système temps réel

Concepts associés (27)

Table des pages

droite|vignette|Relations entre les pages adressée par les adresses virtuelles et les pages en mémoire physique. La mémoire physique peut contenir des pages appartenant à de nombreux processus. Les pages peuvent être conservées sur disque si elles sont rarement utilisées ou si la mémoire est pleine. Dans le diagramme ci-dessus, certaines pages ne sont pas dans la mémoire physique. La table des pages est la structure de données utilisée par un système de mémoire virtuelle dans un système d'exploitation pour stocker les correspondances entre adresses virtuelles et adresses physiques.

Memory paging

In computer operating systems, memory paging (or swapping on some Unix-like systems) is a memory management scheme by which a computer stores and retrieves data from secondary storage for use in main memory. In this scheme, the operating system retrieves data from secondary storage in same-size blocks called pages. Paging is an important part of virtual memory implementations in modern operating systems, using secondary storage to let programs exceed the size of available physical memory.

Page (computer memory)

A page, memory page, or virtual page is a fixed-length contiguous block of virtual memory, described by a single entry in the page table. It is the smallest unit of data for memory management in a virtual memory operating system. Similarly, a page frame is the smallest fixed-length contiguous block of physical memory into which memory pages are mapped by the operating system. A transfer of pages between main memory and an auxiliary store, such as a hard disk drive, is referred to as paging or swapping.

Gestion de la mémoire

La gestion de la mémoire est une forme de gestion des ressources appliquée à la mémoire de l'ordinateur. L'exigence essentielle de la gestion de la mémoire est de fournir des moyens d'allouer dynamiquement des portions de mémoire aux programmes à leur demande, et de les libérer pour réutilisation lorsqu'elles ne sont plus nécessaires. Ceci est essentiel pour tout système informatique avancé où plus d'un processus peuvent être en cours à tout moment. Catégorie:Architecture informatique Catégorie:Pages avec

Unité de gestion de mémoire

Une unité de gestion mémoire (MMU pour memory management unit), parfois appelée unité de gestion de mémoire paginée (PMMU pour paged memory management unit), est un composant permettant de contrôler les accès qu'un processeur fait à la mémoire de l'ordinateur dans lequel il est placé. À l'époque des premiers microprocesseurs, il s'agissait d'un circuit intégré dédié. Puis le MMU a été intégré aux microprocesseurs, à partir du 80286 pour la gamme Intel x86, à partir du 68030 pour la gamme Motorola 680x0.

Afficher plus

Séances de cours associées (64)

Mémoire virtuelle

Couvre les interactions de mémoire virtuelle, de relocalisation de programme, de protection de mémoire, de TLB et de hiérarchie de mémoire.

Pâques

Introduit la recherche dans les systèmes d'exploitation, expliquant les unités de gestion de la mémoire, l'abstraction de l'espace d'adresse, les tableaux de pages, et TLB.

La mémoire virtuelle : principes et mécanismes

Couvre les principes et les mécanismes de la mémoire virtuelle dans les systèmes informatiques, en se concentrant sur l'isolement, l'efficacité et le rôle de l'unité de gestion de la mémoire.

Hiérarchie de la mémoire et performance de cache

Explore la mémoire virtuelle, les tables de pages, le TLB et la mémoire cache dans les systèmes informatiques.

Synthèse automatique du code OS

Couvre la synthèse automatique du code OS pour alléger le fardeau des développeurs dans la configuration du matériel de traduction.

Afficher plus

Concepts associés (27)

Table des pages

Memory paging

Page (computer memory)

Gestion de la mémoire

Unité de gestion de mémoire

Afficher plus