La mémoire virtuelle - Traduction dadresses et pagination à la
Address Translation & Demand Paging une mémoire pour moi tout seul : «mémoire virtuelle» ... pagination (en VO paging) = une unique taille de bloc.
Pagination (1/3) : la mémoire
Exemple : les adresses virtuelles et physique sont sur 32 bits les pages font 1K octets. La page virtuelle 4 est implantée sur la page physique 9. Voici les 3
Mémoire virtuelle
Elle est nécessaire pour la conversion des adresses virtuelles en adresses phy- siques. Page 5. 10.2. PAGINATION PURE. 5. Disque. Mémoire.
Gestion de la mémoire
Principe de la mémoire virtuelle: la taille de l'ensemble formé par le seulement du comportement de la pagination pour ce processus mais.
Module 8 – La mémoire virtuelle
Mémoire Virtuelle. ? Pagination sur demande. ? Problèmes de performance. ? Remplacement de pages: algorithmes. ? Allocation de cadres de mémoire.
Séance 7 Mémoire virtuelle et pagination
Objectifs. Comprendre la mémoire virtuelle. Mécanisme de pagination à la demande. Principe du défaut de page. Algorithmes de remplacement de page.
Cours 4: Gestion de la mémoire
20 oct. 2015 1 Mémoire virtuelle (premiers pas). 2 Mémoire virtuelle (moderne). Pagination. Algorithmes d'échange. 3 Appels syst`emes.
Travaux Dirigés
15 déc. 2016 considéré utilise une pagination à deux niveaux où les entrées du de la table ... contenant son code est disposée dans sa mémoire virtuelle.
620 Mémoire virtuelle - INF3173 Principes des systèmes dexploitation
Mémoire virtuelle sans pagination (historique). • Alias: swapping de processus Les pages virtuelles de l'espace mémoire utilisable d'un processus.
1. Introduction
Pagination. La pagination est l'une des deux techniques (qui peuvent être combinée) de la mémoire virtuelle. Le principe est de diviser l'espace d'adressage
Module 8 – La mémoire virtuelle
mémoire le bit M (modified ou dirty bit) qui indique si la page a été modifiée - pour trouver l'information cherchée on concatène la partie déplacement dans la page au numéro de page physique trouvé
8 – PAGINATION MÉMOIRE
aucune page n'est chargée décrire les actions de gestion de mémoire sous la forme d'une suite composée des opérations précédentes Donner la table des pages finale 2 SEGMENTATION PAGINÉE On considère une mémoire segmentée paginée La taille des pages est de 512 mots
Gestion de la mémoire par pages
par pagination • Mémoire virtuelle divisée en zones de taille fixe appelées pages – Taille typique d ’une page: 4 Koctets – Taille mémoire virtuelle : 32 ou 64 bits d ’adresse • Mémoire physique divisée en blocs de même taille que les pages appelés les cases • Une page peut être chargée dans n’importe quelle case
Searches related to pagination mémoire virtuelle PDF
La pagination consiste à diviser l'adressage de la mémoire en deux couches : • La couche logicielle utilise un espace d'adressage plus grand que la mémoire physique effectivement disponible (l'espace des adresses linéaires autrement appelé mémoire virtuelle ou mémoire linéaire) Par exemple l'allocateur de mémoire
Quelle est la différence entre la pagination et la segmentation à la mémoire virtuelle ?
De la pagination et segmentation à la mémoire virtuelle Un processus est constitué de morceaux (pages ou segments) ne nécessitant pas d’occuper une région contiguë de la mémoire principale Références à la mémoire sont converties en adresses physiques au moment de l’exécution
Qu'est-ce que la pagination de mémoire ?
Pouvant être définie comme l’action qui consiste à numéroter chaque page du rapport de stage, les unes après les autres, la pagination de mémoire facilite le repérage d’une partie, d’un chapitre, d’un titre ou d’un paragraphe contenus dans le rapport de stage proprement dit, qui est un document hiérarchisé.
Comment fonctionne la mémoire virtuelle?
L’implantation de la mémoire virtuelle gère automatiquement deux niveaux de hiérarchie de mémoire, la mémoire physique (RAM) et la mémoire secondaire (le disque).
Où se trouve la pagination ?
La pagination est indiquée en haut de la page à droite. Le chiffre se place seul, sans point, ni tiret, ni parenthèses. La première page de l'introduction constitue la page 1, mais sa pagination est invisible. Le développement, la conclusion, la bibliographie et les annexes sont paginés et visibles.
Cours 4: Gestion de la memoire
Christophe Morvan
Universite Paris-est, Marne-la-Vallee
20 octobre 2015
1/40Gestion memoire?
Observation
Nous souhaitons atteindre plusieurs objectifs :
Faire fonctionner plusieurs processus simultanement Ne pas ^etre limite par la memoire physique de la machineAvoir d'excellentes performancesProblemes
Comment faire :
lorsque un processus souhaite plus de memoire? en cas d'erreur d'adresse dans un programme? lorsqu'un processus n'utilise qu'une petite partie de la memoire allouee? lorsqu'un processus necessite plus de memoire que ce qui est installe? 2/40Gestion memoire?
Observation
Nous souhaitons atteindre plusieurs objectifs :
Faire fonctionner plusieurs processus simultanement Ne pas ^etre limite par la memoire physique de la machineAvoir d'excellentes performancesProblemes
Comment faire :
lorsque un processus souhaite plus de memoire? en cas d'erreur d'adresse dans un programme? lorsqu'un processus n'utilise qu'une petite partie de la memoire allouee? lorsqu'un processus necessite plus de memoire que ce qui est installe? 2/40Problemes du partage de la memoire physique
Protection
Un bug de A perturbe B
A peut observer B
Equite
Espace contigus
Choix d'adresses
Epuisement
Assez de memoire?
Somme des processus>memoire physiqueUne solution :Memoire virtuelle
pile tas donnees codemax 0 3/40Problemes du partage de la memoire physique
Protection
Un bug de A perturbe B
A peut observer B
Equite
Espace contigus
Choix d'adresses
Epuisement
Assez de memoire?
Somme des processus>memoire physiqueUne solution :Memoire virtuelle
pile tas donnees codemax 0 3/40Problemes du partage de la memoire physique
Protection
Un bug de A perturbe B
A peut observer B
Equite
Espace contigus
Choix d'adresses
Epuisement
Assez de memoire?
Somme des processus>memoire physiqueUne solution :Memoire virtuelle
pile tas donnees codemax 0 3/40Problemes du partage de la memoire physique
Protection
Un bug de A perturbe B
A peut observer B
Equite
Espace contigus
Choix d'adresses
Epuisement
Assez de memoire?
Somme des processus>memoire physiqueUne solution :Memoire virtuelle
pile tas donnees codemax 0 3/40 Plan1Memoire virtuelle (premiers pas)
2Memoire virtuelle (moderne)
Pagination
Algorithmes d'echange3Appels systemes
4/40Memoire virtuelle (premiers pas)
Progression
1Memoire virtuelle (premiers pas)
2Memoire virtuelle (moderne)
Pagination
Algorithmes d'echange3Appels systemes
5/40Memoire virtuelle (premiers pas)
Historique
OS & 1 programme
Modele simple
Systemes de protection pour l'OS
Possibilite d'OS en ROMIBM 360 : Bits de protection (1966)4 bits servent de cle sur les adresses
(stockes dans des registres dedies du processeur) Probleme: les adresses contenues dans le programme ne contiennent pas ces bits de protection Solution: le chargeur eectue une traduction de toutes les adresses au chargementAttention aux constantes qui ne sont pas des adressesExiste encore (2015) sur des materiels "simples"
6/40Memoire virtuelle (premiers pas)
Historique
OS & 1 programme
Modele simple
Systemes de protection pour l'OS
Possibilite d'OS en ROMIBM 360 : Bits de protection (1966)4 bits servent de cle sur les adresses
(stockes dans des registres dedies du processeur) Probleme: les adresses contenues dans le programme ne contiennent pas ces bits de protection Solution: le chargeur eectue une traduction de toutes les adresses au chargementAttention aux constantes qui ne sont pas des adressesExiste encore (2015) sur des materiels "simples"
6/40Memoire virtuelle (premiers pas)
Historique
OS & 1 programme
Modele simple
Systemes de protection pour l'OS
Possibilite d'OS en ROMIBM 360 : Bits de protection (1966)4 bits servent de cle sur les adresses
(stockes dans des registres dedies du processeur) Probleme: les adresses contenues dans le programme ne contiennent pas ces bits de protection Solution: le chargeur eectue une traduction de toutes les adresses au chargementAttention aux constantes qui ne sont pas des adressesExiste encore (2015) sur des materiels "simples"
6/40Memoire virtuelle (premiers pas)
Historique
OS & 1 programme
Modele simple
Systemes de protection pour l'OS
Possibilite d'OS en ROMIBM 360 : Bits de protection (1966)4 bits servent de cle sur les adresses
(stockes dans des registres dedies du processeur) Probleme: les adresses contenues dans le programme ne contiennent pas ces bits de protection Solution: le chargeur eectue une traduction de toutes les adresses au chargementAttention aux constantes qui ne sont pas des adressesExiste encore (2015) sur des materiels "simples"
6/40Memoire virtuelle (premiers pas)
Espaces d'adressage
Une solution simple pour generaliser l'approche IBM 360 : les espaces d'adressagesRegistre base et limite Chaque processus possede une adresse de base et une adresse limiteChacune est stockee dans un registre dedie
La traduction est simple : toute reference!addition du registre de baseAttention : addition + comparaison a chaque referenceNote: Le 8088 (anc^etre du x86) possedait plusieurs registres de base
(pourquoi?), mais aucun registre limite (probleme?) 7/40Memoire virtuelle (premiers pas)
Espaces d'adressage
Une solution simple pour generaliser l'approche IBM 360 : les espaces d'adressagesRegistre base et limite Chaque processus possede une adresse de base et une adresse limiteChacune est stockee dans un registre dedie
La traduction est simple : toute reference!addition du registre de baseAttention : addition + comparaison a chaque referenceNote: Le 8088 (anc^etre du x86) possedait plusieurs registres de base
(pourquoi?), mais aucun registre limite (probleme?) 7/40Memoire virtuelle (premiers pas)
Espaces d'adressage
Une solution simple pour generaliser l'approche IBM 360 : les espaces d'adressagesRegistre base et limite Chaque processus possede une adresse de base et une adresse limiteChacune est stockee dans un registre dedie
La traduction est simple : toute reference!addition du registre de baseAttention : addition + comparaison a chaque referenceNote: Le 8088 (anc^etre du x86) possedait plusieurs registres de base
(pourquoi?), mais aucun registre limite (probleme?) 7/40Memoire virtuelle (premiers pas)
Echange (va-et-vient)Il est souvent souhaitable de disposer de plus de memoire que ce qui est installe sur la machinePrincipe (va-et-vient) L'integralite de la memoire utilisee par un processus est place sur disque lorsque celui-ci n'est plus actif et que la memoire est requise Chaque processus possede un bloc contigu de memoire De la memoire est prevue pour l'eventuel accroissement Lors du stockage sur le disque la memoire non-utilisee n'est pas enregistreeSysteme de compactage de la memoire : chaque processus est dans une zone contigue 8/40Memoire virtuelle (premiers pas)
Echange (va-et-vient)Il est souvent souhaitable de disposer de plus de memoire que ce qui est installe sur la machinePrincipe (va-et-vient) L'integralite de la memoire utilisee par un processus est place sur disque lorsque celui-ci n'est plus actif et que la memoire est requise Chaque processus possede un bloc contigu de memoire De la memoire est prevue pour l'eventuel accroissement Lors du stockage sur le disque la memoire non-utilisee n'est pas enregistreeSysteme de compactage de la memoire : chaque processus est dans une zone contigue 8/40Memoire virtuelle (premiers pas)
Echange (va-et-vient)Il est souvent souhaitable de disposer de plus de memoire que ce qui est installe sur la machinePrincipe (va-et-vient) L'integralite de la memoire utilisee par un processus est place sur disque lorsque celui-ci n'est plus actif et que la memoire est requise Chaque processus possede un bloc contigu de memoire De la memoire est prevue pour l'eventuel accroissement Lors du stockage sur le disque la memoire non-utilisee n'est pas enregistreeSysteme de compactage de la memoire : chaque processus est dans une zone contigue 8/40Memoire virtuelle (premiers pas)
Memoire libre
Table de bits
Unites d'allocation (mots!Ko)
Un tableau bit!unite
d'allocation (0/1)Pb : rechercher un espace libre
denKoListe cha^neeListe des occupations :
processus (P)/libre (L)Chaque maillon : adresse
debut et taillePlusieurs choix d'algo pour
l'allocationABCD1 1 1 1 1 1 1 1
0 0 0 0 1 1 1 1
P08L84
P126L182
9/40Memoire virtuelle (premiers pas)
Memoire libre
Table de bits
Unites d'allocation (mots!Ko)
Un tableau bit!unite
d'allocation (0/1)Pb : rechercher un espace libre
denKoListe cha^neeListe des occupations :
processus (P)/libre (L)Chaque maillon : adresse
debut et taillePlusieurs choix d'algo pour
l'allocationABCD1 1 1 1 1 1 1 1
0 0 0 0 1 1 1 1
P08L84
P126L182
9/40Memoire virtuelle (premiers pas)
Allocation memoire
Lorsque la memoire libre est stockee dans une liste il y a plusieurs choix d'algorithme pour allouer la memoireQuelques algorithmes rst t: premier espace de taille susante next t: idem maispoursuitsa recherche pour la recherche suivante best t: recherche le meilleur ajustementBeaucoup plus lent { Optimise moins la memoire
worst t: cherche l'espace libre le plus grand possible (pour eviter la fragmentation)Il est possible d'ameliorer ces algorithmes : Listes separees (dans ce cas la listelibrepeut ^etre dans l'espace libre) + espaces trilles par taille quick tplusieurs listes chacune a taille d'espace xe10/40Memoire virtuelle (premiers pas)
Allocation memoire
Lorsque la memoire libre est stockee dans une liste il y a plusieurs choix d'algorithme pour allouer la memoireQuelques algorithmes rst t: premier espace de taille susante next t: idem maispoursuitsa recherche pour la recherche suivante best t: recherche le meilleur ajustementBeaucoup plus lent { Optimise moins la memoire
worst t: cherche l'espace libre le plus grand possible (pour eviter la fragmentation)Il est possible d'ameliorer ces algorithmes : Listes separees (dans ce cas la listelibrepeut ^etre dans l'espace libre) + espaces trilles par taille quick tplusieurs listes chacune a taille d'espace xe10/40Memoire virtuelle (premiers pas)
Allocation memoire
Lorsque la memoire libre est stockee dans une liste il y a plusieurs choix d'algorithme pour allouer la memoireQuelques algorithmes rst t: premier espace de taille susante next t: idem maispoursuitsa recherche pour la recherche suivante best t: recherche le meilleur ajustementBeaucoup plus lent { Optimise moins la memoire
worst t: cherche l'espace libre le plus grand possible (pour eviter la fragmentation)Il est possible d'ameliorer ces algorithmes : Listes separees (dans ce cas la listelibrepeut ^etre dans l'espace libre) + espaces trilles par taille quick tplusieurs listes chacune a taille d'espace xe10/40Memoire virtuelle (moderne)
Progression
1Memoire virtuelle (premiers pas)
2Memoire virtuelle (moderne)
Pagination
Algorithmes d'echange3Appels systemes
11/40Memoire virtuelle (moderne)Pagination
La pagination
Principe
Chaque processus possede son
espace d'adressageCet espace d'adressage est decoupe
en pages (suite d'adresses contigu es qui seront places de facon contigue en memoire)Le processus peut s'executer alors
que certaines pages ne sont pas en memoireL'emplacement d'une page en
memoire s'appelle cadre de page (page frame)pile tas donnees codemax 0 12/40Memoire virtuelle (moderne)Pagination
Translation : MMU
La MMU (Memory Management Unit)
Il s'agit de l'unite hardware qui eectue la correspondance entre les adresses virtuelles et les adresses physiquesExemple Programme de 64Ko (adresses sur 16 bits) sur une memoire de 32Ko, avec des pages de 4Ko20-4 34-868-12
012-16
X60-64
Cadre de page
13/40Memoire virtuelle (moderne)Pagination
Translation : MMU
La MMU (Memory Management Unit)
Il s'agit de l'unite hardware qui eectue la correspondance entre les adresses virtuelles et les adresses physiquesExemple Programme de 64Ko (adresses sur 16 bits) sur une memoire de 32Ko, avec des pages de 4Ko20-4 34-868-12
012-16
X60-64
Cadre de page
13/40Memoire virtuelle (moderne)Pagination
Table des pages
Pourquoi utiliser des tailles de pages de la forme 2 nk?Codage de la table 2 n= 2k2nkquotesdbs_dbs44.pdfusesText_44[PDF] conversion adresse logique adresse physique
[PDF] pagination et segmentation pdf
[PDF] pagination systeme d'exploitation
[PDF] telecharger un livre de grammaire pdf
[PDF] larousse conjugaison pdf
[PDF] telecharger larousse difficultés grammaticales pdf
[PDF] larousse grammaire francais
[PDF] larousse orthographe pdf
[PDF] larousse livre de bord orthographe pdf
[PDF] introduction grammaire generative
[PDF] chomsky théorie
[PDF] chomsky linguistique pdf
[PDF] aspects de la théorie syntaxique pdf
[PDF] grammaire grecque ancien