Lecture 9

La gestion de la m emoire
Luigi Santocanale
Laboratoire dInformatique Fondamentale, Centre de Math ematiques et Informatique, 39, rue Joliot-Curie - F-13453 Marseille
7 d ecembre 2005
Luigi Santocanale
Plan
Pr eambule Le partage de la m emoire Protection de lespace dadressage Allocation de la m emoire contigu e Allocation non-contigu e : la pagination Segmentation La m emoire virtuelle Les limites du swap La pagination ` a la demande Algorithmes de remplacement de pages
Luigi Santocanale
Pr eambule Le partage de la m emoire La m emoire virtuelle
Les m emoires
Luigi Santocanale
Les m emoires
Luigi Santocanale
Protection de lespace dadressage Allocation de la m emoire contigu e Allocation non-contigu e : la pagination Segmentation
Plan
1 2
Luigi Santocanale
Protection du noyau : le registre barri` ere
Luigi Santocanale
Luigi Santocanale
Luigi Santocanale
si ( adresse <= Barriere ) lever exception sinon utiliser adresse

Luigi Santocanale La gestion de la m emoire 5
Protection du noyau : le registre base
Luigi Santocanale
Luigi Santocanale
adressephysique = adresselogique + Base

Adresses logiques vs. adresses physiques
Adresses logiques : priv e au le programme, utilis e par lunit e centrale.
Adresses physiques : acc` es ` a la m emoire, instructions de lecture/ ecriture de/` a un registre, la MMU ((( memory management unit ) )) transforme les adresses logiques en adresses physiques.
Luigi Santocanale
Adresses logiques vs. adresses physiques
Adresses logiques : priv e au le programme, utilis e par lunit e centrale.
Adresses physiques : acc` es ` a la m emoire, instructions de lecture/ ecriture de/` a un registre, la MMU ((( memory management unit ) )) transforme les adresses logiques en adresses physiques.
Luigi Santocanale
Plan
1 2
Luigi Santocanale
Le swap
Co ut Taille des processus Contraintes sur le E/S :

- ne pas swapper les processus en attante de E/S - r ealiser des buers de E/S dans le noyau (voir UNIX).
Luigi Santocanale
Le swap

Luigi Santocanale
Le swap

Luigi Santocanale
Le swap

Luigi Santocanale
Le swap

Luigi Santocanale
Le swap

Luigi Santocanale
Le partage de la m emoire entre processus
Moniteur Probl` emes : Proc1 Proc2 Protection entre processus Allocation de la m emoire aux processus (ordonnancement)
Procn
Luigi Santocanale
10
La protection entre processus : deux registres

Barri` ere et Haut:
Luigi Santocanale
11
Ordonnancement en m emoire
Comment choisir lendroit o` u charger un nouveaux processus : First-t : premier bloc susamment grand. Best-t : plus petit bloc susamment grand. Worst-t : le bloc qui nous laisse le plus grand bloc libre (le plus grand bloc).
Probl` eme : la fragmentation.
Luigi Santocanale
12
Luigi Santocanale
12
Luigi Santocanale
12
Luigi Santocanale
12
Luigi Santocanale
12
Luigi Santocanale
12
First t
Noyeau Proc1 Noyeau Proc1
Proc3 + Proc3
Proc2
Proc2
Luigi Santocanale
13
First t
Proc3 + Proc3
Proc2
Proc2
Luigi Santocanale
13
Best & worst t

Proc3
Proc2
Proc2 Proc3
Luigi Santocanale
14
Best & worst t

Proc3
Proc2
Proc2 Proc3
Luigi Santocanale
14
Le compactage
Solution ` a la fragmentation.
Luigi Santocanale
15
Le compactage
Solution ` a la fragmentation. Exemples :
Luigi Santocanale
15
Plan
1 2
Luigi Santocanale
16
La pagination
But : solution ` a la fragmentation, Voir : la gestion de lespace sur disque, les bloques. La m emoire logique est d ecoup ee en pages. Une adresse logique est d ecoup ee en une couple : (page, d eplacement) Si A = adresse logique, alors page = A/T , d eplacement = A%T T = taille de page
Luigi Santocanale
17
La pagination
Luigi Santocanale
17
La pagination
Luigi Santocanale
17
La pagination
Luigi Santocanale
17
La pagination
Luigi Santocanale
17
La pagination (II)
La m emoire physique est d ecoup ee en cadres de page (m eme taille dune page). Adresses physique est un couple (f , d ), cadre de pages et d eplacement. A chaque page logique p peut correspondre un cadre de page f = f (p ). Cette correspondance est maintenue dans la table des pages. La MMU (memory management unit) calcule un adresse physique ` a partir dun adresse logique selon la formule phys (p , d ) = (f (p ), d ) . Gestion de la multiprogrammation : Le PTBR, registre de base de la table de pages, ( ( page-table base register ) ).
La pagination (II)
La pagination (II)
La pagination (II)
La pagination (II)
La pagination (II)
La pagination (II)
Traduction des adresses logiques en adresses physiques
Exemple
Les tables de pages : temps dacc` es
Probl` eme : Le temps dacces en m emoire est doubl e.
Solution : Les TLBs, registres associatifs, ( ( translation look-aside buers ) ):

on y cache la correspondance p f (p ), recherche de la valeur f (p ) assez ecace, haut co ut de ce mat eriel.
Luigi Santocanale
21
Les tables de pages : temps dacc` es
Probl` eme : Le temps dacces en m emoire est doubl e.
Solution : Les TLBs, registres associatifs, ( ( translation look-aside buers ) ):

on y cache la correspondance p f (p ), recherche de la valeur f (p ) assez ecace, haut co ut de ce mat eriel.
Luigi Santocanale
21
Taux de pr esence et co ut dacc` es en m emoire

Taux de pr esence : probabilit e que la valeur f (p ) se trouve dans un TLB.
taux de pr esence = 0, 80 temps dun acc` es en m emoire = 100 nanosecondes temps dacc` es aux TLBs = 20 nanosecondes temps eectif dacc` es en m emoire = 0, 8 120 + 0, 2 220 nanosecondes
Taux de pr esence et co ut dacc` es en m emoire

Taux de pr esence : probabilit e que la valeur f (p ) se trouve dans un TLB.
taux de pr esence = 0, 80 temps dun acc` es en m emoire = 100 nanosecondes temps dacc` es aux TLBs = 20 nanosecondes temps eectif dacc` es en m emoire = 0, 8 120 + 0, 2 220 nanosecondes
Les tables de pages : utilisation de la m emoire

Remarque : une table par processus. Probl` eme : si adresse logique {0, . . . , 232 1} taille dune page = 4K = 212 , alors taille de la table de pages = 220 . Solutions : plusieurs niveaux dindirection, tables de pages invers ees.


Plan
1 2
Luigi Santocanale
24
La m emoire segment ee
But : Partage des ressources (le code) entre plusieurs programmes. Organisation de la m emoire en unit es logiques :
code (TEXT), donn ees statiques initialis es (DATA), donn ees statiques non initialis es (BSS), donn ees dynamiques (TAS), pile dex ecution.
Solution ` a la fragmentation : on couple segmentation et pagination.



Exemple : segmentation et pagination sur un x86

magasine)
(Linux
. . . sur un x86
GDT : Global descriptor table. Description des adresses et attributs des segments partag es. Appartient aux noyau. LDT : Local descriptor table. Description des adresses et attributs des segments appartenant ` a un processus donn e. Appartient au processus.
gdtr,
ldtr : registres pour rep erer la GDT et la LDT courante.
Luigi Santocanale
27
. . . sur un x86
gdtr,
Luigi Santocanale
27
. . . sur un x86
gdtr,
Luigi Santocanale
27
. . . sur un x86
gdtr,
Luigi Santocanale
27
. . . sur un x86
(Silberschatz-Galvin)
Les limites du swap La pagination ` a la demande Algorithmes de remplacement de pages
Plan
1 2
Luigi Santocanale
29
Les limites du swap

Probl` emes avec le swap : co ut, pas possible avoir des processus plus grand que la m emoire vive.
Remarques : portions du code tr` es souvent utilis es, portions du code peu souvent utilis es, de m eme, pour les donn ees.
Luigi Santocanale
30
Les limites du swap

Probl` emes avec le swap : co ut, pas possible avoir des processus plus grand que la m emoire vive.
Remarques : portions du code tr` es souvent utilis es, portions du code peu souvent utilis es, de m eme, pour les donn ees.
Luigi Santocanale
30
Solutions
Les ( ( overlays )) : morceaux dun programme charg e en m emoire de fa con s equentielle. Chargement dynamique : une fonction est charg ee en m emoire seulement ` a son appel. Probl` emes: le travail est laiss e au programmeur.
Luigi Santocanale
31
Solutions
Luigi Santocanale
31
Solutions
Luigi Santocanale
31
Plan
1 2
Luigi Santocanale
32
La pagination ` a la demande ou swappeur paresseux

La m emoire logique (virtuelle) est d ecoup ee en pages. La m emoire virtuelle est potentiellement innie. La m emoire physique est d ecoup ee en cadres de page. La m emoire physique est compos ee de : m emoire vive, m emoire sur support swap, m emoire sur partition disque. Un nombre restreint de pages est charg e en m emoire vive. Une entr ee dans la table des pages peut etre dans l etat:
valide : le cadre de pages est en m emoire vive, invalide : le cadre de page se trouve sur disque. Pour y acc eder il faut pr ealablement la charger en m emoire.
Luigi Santocanale
33

Luigi Santocanale
33

Luigi Santocanale
33

Luigi Santocanale
33

Luigi Santocanale
33

Luigi Santocanale
33

Luigi Santocanale
33

Luigi Santocanale
33
Acc` es ` a un adresses logique

On demande lacc` es ` a un adresses logique : si la page se trouve en m emoire vive continuer, sinon, lever une interruption Page Fault, et traiter linterruption : charger la page en m emoire vive, une fois que la page demand e est en place, executer ` a nouveaux lop eration qui a declanch e le Page Fault. Remarque : une instruction doit etre interruptible, par exemple : add A B in C avec un Page Fault sur lacc` es ` a C.
Acc` es ` a un adresses logique

On demande lacc` es ` a un adresses logique : si la page se trouve en m emoire vive continuer, sinon, lever une interruption Page Fault, et traiter linterruption : charger la page en m emoire vive, une fois que la page demand e est en place, executer ` a nouveaux lop eration qui a declanch e le Page Fault. Remarque : une instruction doit etre interruptible, par exemple : add A B in C avec un Page Fault sur lacc` es ` a C.
Traitement du Page Fault

Erreur de page provoque : interruption, sauvegarde du contexte, reconnaissance erreur de page, d eterminer o` u la page se trouve sur la m emoire secondaire, charger la page dans en endroit libre, ou remplacer une page, attente du transfert de la p eriph erique, et allocation la CPU ` a quelques autre processus, interruption p eriph erique, sauvegarde du contexte du processus, reconnaissance interruption p eriph erique, mise ` a jour table des pages, etat : en attente de se d erouler, quand choisi par lordonnanceur, restauration du contexte du processus.











Traitement dun Page Fault
(Revuz 1998)
Co ut du Demand Paging
Calcul du co ut : temps eectif = (1 p ) ma + p (temps traitement) o` u p = probabilit e du Page Fault ma = temps acces ` a la m emoire Exemple : si ma = 1 microseconde temps traitement = 5000 microsecondes p = 1/1000 (un Page Fault chaque 1000 acc` es) alors temps eectif = (1 p ) + p 5000 = 5, 999
Plan
1 2
Luigi Santocanale
38
Contexte
Un acc` es en m emoire d eclenche un page fault. Il faut allouer un cadre de page libre en m emoire vive. Tous les cadres de page sont occup es. Choisir une victime : un cadre ` a d eplacer en m emoire secondaire. On lib` ere ce cadre, on y transf` ere le cadre demand e. Remarques : Le nombre de remplacements augmente avec le niveaux de multiprogrammation. Un remplacement n ecessite deux transferts vers/du disque : si le cadre nest pas sale et sil existe une copie sur disque, alors il nest pas n ecessaire le recopier sur disque.
Contexte
Un acc` es en m emoire d eclenche un page fault. Il faut allouer un cadre de page libre en m emoire vive. Tous les cadres de page sont occup es. Choisir une victime : un cadre ` a d eplacer en m emoire secondaire. On lib` ere ce cadre, on y transf` ere le cadre demand e. Remarques : Le nombre de remplacements augmente avec le niveaux de multiprogrammation. Un remplacement n ecessite deux transferts vers/du disque : si le cadre nest pas sale et sil existe une copie sur disque, alors il nest pas n ecessaire le recopier sur disque.
Objectifs
Minimiser le taux de remplacement.
Luigi Santocanale
40
Remplacement FIFO
La page la plus ancienne est remplac ee. Etat des pages en m emoire au d ebut : xxx Page d emand ee Pages en m emoire (apr` es) No Page Faults
Luigi Santocanale
41
Remplacement FIFO
La page la plus ancienne est remplac ee. Etat des pages en m emoire au d ebut : xxx Page d emand ee Pages en m emoire (apr` es) No Page Faults
Luigi Santocanale
41
Remplacement FIFO
La page la plus ancienne est remplac ee. Etat des pages en m emoire au d ebut : xxx Page d emand ee 7 Pages en m emoire (apr` es) 7xx No Page Faults 1
Luigi Santocanale
41
Remplacement FIFO
La page la plus ancienne est remplac ee. Etat des pages en m emoire au d ebut : xxx Page d emand ee 7 0 Pages en m emoire (apr` es) 7xx 70x No Page Faults 1 2
Luigi Santocanale
41
Remplacement FIFO
La page la plus ancienne est remplac ee. Etat des pages en m emoire au d ebut : xxx Page d emand ee 7 0 1 Pages en m emoire (apr` es) 7xx 70x 701 No Page Faults 1 2 3
Luigi Santocanale
41
Remplacement FIFO
La page la plus ancienne est remplac ee. Etat des pages en m emoire au d ebut : xxx Page d emand ee 7 0 1 2 Pages en m emoire (apr` es) 7xx 70x 701 201 No Page Faults 1 2 3 4
Luigi Santocanale
41
Remplacement FIFO
La page la plus ancienne est remplac ee. Etat des pages en m emoire au d ebut : xxx Page d emand ee 7 0 1 2 0 Pages en m emoire (apr` es) 7xx 70x 701 201 201 No Page Faults 1 2 3 4 4
Luigi Santocanale
41
Remplacement FIFO
La page la plus ancienne est remplac ee. Etat des pages en m emoire au d ebut : xxx Page d emand ee 7 0 1 2 0 3 Pages en m emoire (apr` es) 7xx 70x 701 201 201 231 No Page Faults 1 2 3 4 4 5
Luigi Santocanale
41
Remplacement FIFO
La page la plus ancienne est remplac ee. Etat des pages en m emoire au d ebut : xxx Page d emand ee 7 0 1 2 0 3 0 Pages en m emoire (apr` es) 7xx 70x 701 201 201 231 230 No Page Faults 1 2 3 4 4 5 6
Luigi Santocanale
41
Remplacement FIFO
La page la plus ancienne est remplac ee. Etat des pages en m emoire au d ebut : xxx Page d emand ee 7 0 1 2 0 3 0 3 Pages en m emoire (apr` es) 7xx 70x 701 201 201 231 230 230 No Page Faults 1 2 3 4 4 5 6 6
Luigi Santocanale
41
Remplacement FIFO
La page la plus ancienne est remplac ee. Etat des pages en m emoire au d ebut : xxx Page d emand ee 7 0 1 2 0 3 0 3 0 Pages en m emoire (apr` es) 7xx 70x 701 201 201 231 230 230 230 No Page Faults 1 2 3 4 4 5 6 6 6
Luigi Santocanale
41
Remplacement FIFO
La page la plus ancienne est remplac ee. Etat des pages en m emoire au d ebut : xxx Page d emand ee 7 0 1 2 0 3 0 3 0 4 Pages en m emoire (apr` es) 7xx 70x 701 201 201 231 230 230 230 430 No Page Faults 1 2 3 4 4 5 6 6 6 7
Luigi Santocanale
41
Remplacement FIFO
La page la plus ancienne est remplac ee. Etat des pages en m emoire au d ebut : xxx Page d emand ee 7 0 1 2 0 3 0 3 0 4 2 Pages en m emoire (apr` es) 7xx 70x 701 201 201 231 230 230 230 430 420
Luigi Santocanale
No Page Faults 1 2 3 4 4 5 6 6 6 7 8
41
Remplacement FIFO
La page la plus ancienne est remplac ee. Etat des pages en m emoire au d ebut : xxx Page d emand ee 7 0 1 2 0 3 0 3 0 4 2 1 Pages en m emoire (apr` es) 7xx 70x 701 201 201 231 230 230 230 430 420 421
Luigi Santocanale
No Page Faults 1 2 3 4 4 5 6 6 6 7 8 9
41
Remplacement OPTIMAL
La page referenc ee plus tard est remplac ee. Etat des pages en m emoire au d ebut : xxx Page d emand ee Pages en m emoire (apr` es) No Page Faults
Luigi Santocanale
42
La page referenc ee plus tard est remplac ee. Etat des pages en m emoire au d ebut : xxx Page d emand ee Pages en m emoire (apr` es) No Page Faults
Luigi Santocanale
42
La page referenc ee plus tard est remplac ee. Etat des pages en m emoire au d ebut : xxx Page d emand ee 7 Pages en m emoire (apr` es) 7xx No Page Faults 1
Luigi Santocanale
42
La page referenc ee plus tard est remplac ee. Etat des pages en m emoire au d ebut : xxx Page d emand ee 7 0 Pages en m emoire (apr` es) 7xx 70x No Page Faults 1 2
Luigi Santocanale
42
La page referenc ee plus tard est remplac ee. Etat des pages en m emoire au d ebut : xxx Page d emand ee 7 0 1 Pages en m emoire (apr` es) 7xx 70x 701 No Page Faults 1 2 3
Luigi Santocanale
42
La page referenc ee plus tard est remplac ee. Etat des pages en m emoire au d ebut : xxx Page d emand ee 7 0 1 2 Pages en m emoire (apr` es) 7xx 70x 701 201 No Page Faults 1 2 3 4
Luigi Santocanale
42
La page referenc ee plus tard est remplac ee. Etat des pages en m emoire au d ebut : xxx Page d emand ee 7 0 1 2 0 Pages en m emoire (apr` es) 7xx 70x 701 201 201 No Page Faults 1 2 3 4 4
Luigi Santocanale
42
La page referenc ee plus tard est remplac ee. Etat des pages en m emoire au d ebut : xxx Page d emand ee 7 0 1 2 0 3 Pages en m emoire (apr` es) 7xx 70x 701 201 201 203 No Page Faults 1 2 3 4 4 5
Luigi Santocanale
42
La page referenc ee plus tard est remplac ee. Etat des pages en m emoire au d ebut : xxx Page d emand ee 7 0 1 2 0 3 0 Pages en m emoire (apr` es) 7xx 70x 701 201 201 203 203 No Page Faults 1 2 3 4 4 5 5
Luigi Santocanale
42
La page referenc ee plus tard est remplac ee. Etat des pages en m emoire au d ebut : xxx Page d emand ee 7 0 1 2 0 3 0 3 Pages en m emoire (apr` es) 7xx 70x 701 201 201 203 203 203 No Page Faults 1 2 3 4 4 5 5 5
Luigi Santocanale
42
La page referenc ee plus tard est remplac ee. Etat des pages en m emoire au d ebut : xxx Page d emand ee 7 0 1 2 0 3 0 3 0 Pages en m emoire (apr` es) 7xx 70x 701 201 201 203 203 203 203 No Page Faults 1 2 3 4 4 5 5 5 5
Luigi Santocanale
42
La page referenc ee plus tard est remplac ee. Etat des pages en m emoire au d ebut : xxx Page d emand ee 7 0 1 2 0 3 0 3 0 4 Pages en m emoire (apr` es) 7xx 70x 701 201 201 203 203 203 203 243 No Page Faults 1 2 3 4 4 5 5 5 5 6
Luigi Santocanale
42
La page referenc ee plus tard est remplac ee. Etat des pages en m emoire au d ebut : xxx Page d emand ee 7 0 1 2 0 3 0 3 0 4 2 Pages en m emoire (apr` es) 7xx 70x 701 201 201 203 203 203 203 243 243
Luigi Santocanale
No Page Faults 1 2 3 4 4 5 5 5 5 6 6
42
La page referenc ee plus tard est remplac ee. Etat des pages en m emoire au d ebut : xxx Page d emand ee 7 0 1 2 0 3 0 3 0 4 2 1 Pages en m emoire (apr` es) 7xx 70x 701 201 201 203 203 203 203 243 243 241
Luigi Santocanale
No Page Faults 1 2 3 4 4 5 5 5 5 6 6 7
42
Remplacement LRU
La page moins recemment utilis ee est remplac ee. Etat des pages en m emoire au d ebut : xxx Page d emand ee Pages en m emoire (apr` es) No Page Faults
Luigi Santocanale
43
Remplacement LRU
La page moins recemment utilis ee est remplac ee. Etat des pages en m emoire au d ebut : xxx Page d emand ee Pages en m emoire (apr` es) No Page Faults
Luigi Santocanale
43
Remplacement LRU
La page moins recemment utilis ee est remplac ee. Etat des pages en m emoire au d ebut : xxx Page d emand ee 7 Pages en m emoire (apr` es) 7xx No Page Faults 1
Luigi Santocanale
43
Remplacement LRU
La page moins recemment utilis ee est remplac ee. Etat des pages en m emoire au d ebut : xxx Page d emand ee 7 0 Pages en m emoire (apr` es) 7xx 70x No Page Faults 1 2
Luigi Santocanale
43
Remplacement LRU
La page moins recemment utilis ee est remplac ee. Etat des pages en m emoire au d ebut : xxx Page d emand ee 7 0 1 Pages en m emoire (apr` es) 7xx 70x 701 No Page Faults 1 2 3
Luigi Santocanale
43
Remplacement LRU
La page moins recemment utilis ee est remplac ee. Etat des pages en m emoire au d ebut : xxx Page d emand ee 7 0 1 2 Pages en m emoire (apr` es) 7xx 70x 701 201 No Page Faults 1 2 3 4
Luigi Santocanale
43
Remplacement LRU
La page moins recemment utilis ee est remplac ee. Etat des pages en m emoire au d ebut : xxx Page d emand ee 7 0 1 2 0 Pages en m emoire (apr` es) 7xx 70x 701 201 201 No Page Faults 1 2 3 4 4
Luigi Santocanale
43
Remplacement LRU
La page moins recemment utilis ee est remplac ee. Etat des pages en m emoire au d ebut : xxx Page d emand ee 7 0 1 2 0 3 Pages en m emoire (apr` es) 7xx 70x 701 201 201 203 No Page Faults 1 2 3 4 4 5
Luigi Santocanale
43
Remplacement LRU
La page moins recemment utilis ee est remplac ee. Etat des pages en m emoire au d ebut : xxx Page d emand ee 7 0 1 2 0 3 0 Pages en m emoire (apr` es) 7xx 70x 701 201 201 203 203 No Page Faults 1 2 3 4 4 5 5
Luigi Santocanale
43
Remplacement LRU
La page moins recemment utilis ee est remplac ee. Etat des pages en m emoire au d ebut : xxx Page d emand ee 7 0 1 2 0 3 0 3 Pages en m emoire (apr` es) 7xx 70x 701 201 201 203 203 203 No Page Faults 1 2 3 4 4 5 5 5
Luigi Santocanale
43
Remplacement LRU
La page moins recemment utilis ee est remplac ee. Etat des pages en m emoire au d ebut : xxx Page d emand ee 7 0 1 2 0 3 0 3 0 Pages en m emoire (apr` es) 7xx 70x 701 201 201 203 203 203 203 No Page Faults 1 2 3 4 4 5 5 5 5
Luigi Santocanale
43
Remplacement LRU
La page moins recemment utilis ee est remplac ee. Etat des pages en m emoire au d ebut : xxx Page d emand ee 7 0 1 2 0 3 0 3 0 4 Pages en m emoire (apr` es) 7xx 70x 701 201 201 203 203 203 203 403 No Page Faults 1 2 3 4 4 5 5 5 5 6
Luigi Santocanale
43
Remplacement LRU
La page moins recemment utilis ee est remplac ee. Etat des pages en m emoire au d ebut : xxx Page d emand ee 7 0 1 2 0 3 0 3 0 4 2 Pages en m emoire (apr` es) 7xx 70x 701 201 201 203 203 203 203 403 402
Luigi Santocanale
No Page Faults 1 2 3 4 4 5 5 5 5 6 7
43
Remplacement LRU
La page moins recemment utilis ee est remplac ee. Etat des pages en m emoire au d ebut : xxx Page d emand ee 7 0 1 2 0 3 0 3 0 4 2 1 Pages en m emoire (apr` es) 7xx 70x 701 201 201 203 203 203 203 403 402 412
Luigi Santocanale
No Page Faults 1 2 3 4 4 5 5 5 5 6 7 8
43
Remplacement Deuxi` eme Chance
Chaque cadre de page poss` ede un bit de r ef erence (niveaux mat eriel). Si un cadre est referenc e, son bit est plac e` a 1. Un algorithme de type FIFO est utilis e. La t` ete de la le est remplac ee, si son bit est ` a 0. Si le bit de la t` ete est 1, en met ce bit ` a 0, et on place ce cadre en queue.
Luigi Santocanale
44
Exemple deuxi` eme chance

Etat des pages en m emoire au d ebut : xxx Page d emand ee Pages en m emoire (apr` es) No Page Faults
Luigi Santocanale
45

Etat des pages en m emoire au d ebut : xxx Page d emand ee 7 Pages en m emoire (apr` es) 7xx No Page Faults 1
Luigi Santocanale
45

Etat des pages en m emoire au d ebut : xxx Page d emand ee 7 0 Pages en m emoire (apr` es) 7xx 70x No Page Faults 1 2
Luigi Santocanale
45

Etat des pages en m emoire au d ebut : xxx Page d emand ee 7 0 1 Pages en m emoire (apr` es) 7xx 70x 701 No Page Faults 1 2 3
Luigi Santocanale
45

Etat des pages en m emoire au d ebut : xxx Page d emand ee 7 0 1 2 Pages en m emoire (apr` es) 7xx 70x 701 201 No Page Faults 1 2 3 4
Luigi Santocanale
45

Etat des pages en m emoire au d ebut : xxx Page d emand ee 7 0 1 2 0 Pages en m emoire (apr` es) 7xx 70x 701 201 201 No Page Faults 1 2 3 4 4
Luigi Santocanale
45

Etat des pages en m emoire au d ebut : xxx Page d emand ee 7 0 1 2 0 3 Pages en m emoire (apr` es) 7xx 70x 701 201 201 203 No Page Faults 1 2 3 4 4 5
Luigi Santocanale
45

Etat des pages en m emoire au d ebut : xxx Page d emand ee 7 0 1 2 0 3 0 Pages en m emoire (apr` es) 7xx 70x 701 201 201 203 203 No Page Faults 1 2 3 4 4 5 5
Luigi Santocanale
45

Etat des pages en m emoire au d ebut : xxx Page d emand ee 7 0 1 2 0 3 0 3 Pages en m emoire (apr` es) 7xx 70x 701 201 201 203 203 203 No Page Faults 1 2 3 4 4 5 5 5
Luigi Santocanale
45

Etat des pages en m emoire au d ebut : xxx Page d emand ee 7 0 1 2 0 3 0 3 0 Pages en m emoire (apr` es) 7xx 70x 701 201 201 203 203 203 203 No Page Faults 1 2 3 4 4 5 5 5 5
Luigi Santocanale
45

Etat des pages en m emoire au d ebut : xxx Page d emand ee 7 0 1 2 0 3 0 3 0 4 Pages en m emoire (apr` es) 7xx 70x 701 201 201 203 203 203 203 403 No Page Faults 1 2 3 4 4 5 5 5 5 6
Luigi Santocanale
45

Etat des pages en m emoire au d ebut : xxx Page d emand ee 7 0 1 2 0 3 0 3 0 4 2 Pages en m emoire (apr` es) 7xx 70x 701 201 201 203 203 203 203 403 423 No Page Faults 1 2 3 4 4 5 5 5 5 6 7
Luigi Santocanale
45

Etat des pages en m emoire au d ebut : xxx Page d emand ee 7 0 1 2 0 3 0 3 0 4 2 1 Pages en m emoire (apr` es) 7xx 70x 701 201 201 203 203 203 203 403 423 421
Luigi Santocanale
No Page Faults 1 2 3 4 4 5 5 5 5 6 7 8
45

Lecture 9

Transféré par

Informations du document

Copyright

Formats disponibles

Partager ce document

Partager ou intégrer le document

Options de partage

Avez-vous trouvé ce document utile ?

Ce contenu est-il inapproprié ?

Droits d'auteur :

Formats disponibles

Lecture 9

Transféré par

Droits d'auteur :

Formats disponibles

La gestion de la m emoire

Pr eambule Le partage de la m emoire La m emoire virtuelle

Pr eambule Le partage de la m emoire La m emoire virtuelle

Pr eambule Le partage de la m emoire La m emoire virtuelle

Pr eambule Le partage de la m emoire La m emoire virtuelle

Protection du noyau : le registre barri` ere

Pr eambule Le partage de la m emoire La m emoire virtuelle

Protection du noyau : le registre barri` ere

Pr eambule Le partage de la m emoire La m emoire virtuelle

Protection du noyau : le registre barri` ere

Pr eambule Le partage de la m emoire La m emoire virtuelle

Protection du noyau : le registre barri` ere

si ( adresse <= Barriere ) lever exception sinon utiliser adresse

Pr eambule Le partage de la m emoire La m emoire virtuelle

Protection du noyau : le registre base

Pr eambule Le partage de la m emoire La m emoire virtuelle

Protection du noyau : le registre base

Pr eambule Le partage de la m emoire La m emoire virtuelle

Protection du noyau : le registre base

adressephysique = adresselogique + Base

Pr eambule Le partage de la m emoire La m emoire virtuelle

Adresses logiques vs. adresses physiques

Adresses logiques : priv e au le programme, utilis e par lunit e centrale.

Pr eambule Le partage de la m emoire La m emoire virtuelle

Adresses logiques vs. adresses physiques

Adresses logiques : priv e au le programme, utilis e par lunit e centrale.

Pr eambule Le partage de la m emoire La m emoire virtuelle

Pr eambule Le partage de la m emoire La m emoire virtuelle

Co ut Taille des processus Contraintes sur le E/S :

Pr eambule Le partage de la m emoire La m emoire virtuelle

Co ut Taille des processus Contraintes sur le E/S :

Pr eambule Le partage de la m emoire La m emoire virtuelle

Co ut Taille des processus Contraintes sur le E/S :

Pr eambule Le partage de la m emoire La m emoire virtuelle

Co ut Taille des processus Contraintes sur le E/S :

Pr eambule Le partage de la m emoire La m emoire virtuelle

Co ut Taille des processus Contraintes sur le E/S :

Pr eambule Le partage de la m emoire La m emoire virtuelle

Co ut Taille des processus Contraintes sur le E/S :

Pr eambule Le partage de la m emoire La m emoire virtuelle

Le partage de la m emoire entre processus

Pr eambule Le partage de la m emoire La m emoire virtuelle

La protection entre processus : deux registres

Pr eambule Le partage de la m emoire La m emoire virtuelle

Probl` eme : la fragmentation.

Pr eambule Le partage de la m emoire La m emoire virtuelle

Probl` eme : la fragmentation.

Pr eambule Le partage de la m emoire La m emoire virtuelle

Probl` eme : la fragmentation.

Pr eambule Le partage de la m emoire La m emoire virtuelle

Probl` eme : la fragmentation.

Pr eambule Le partage de la m emoire La m emoire virtuelle

Probl` eme : la fragmentation.

Pr eambule Le partage de la m emoire La m emoire virtuelle

Probl` eme : la fragmentation.

Pr eambule Le partage de la m emoire La m emoire virtuelle

Pr eambule Le partage de la m emoire La m emoire virtuelle

Pr eambule Le partage de la m emoire La m emoire virtuelle

Best & worst t

Pr eambule Le partage de la m emoire La m emoire virtuelle

Best & worst t

Pr eambule Le partage de la m emoire La m emoire virtuelle

Pr eambule Le partage de la m emoire La m emoire virtuelle

Pr eambule Le partage de la m emoire La m emoire virtuelle