Académique Documents
Professionnel Documents
Culture Documents
Gestion de la mémoire
1
Gestion de la mémoire
2
Gestion de la mémoire
3
Gestion de la mémoire
B. La multiprogrammation et l’utilisation de la
mémoire
Ce mode équivaut à un multi-processus en
exécution.
Principe : diviser la mémoire en n partitions, de
tailles différentes.
Les tâches file d’attente
4
Gestion de la mémoire
C. Le va et vient
Remarque :
5
Gestion de la mémoire
C. Le va et vient
Partitions variables :
C. Le va et vient
processus
Va et vient ou « Swapping »
DD
7
Gestion de la mémoire
8
Gestion de la mémoire
A B C D
1 1 1 1 1 0 0 0 A La table de bits
1 1 1 1 1 1 1 1 B permet de mémoriser
1 1 0 0 1 1 1 1 C l’occupation de la
1 1 1 1 1 0 0 0 D mémoire dans un
espace mémoire de
taille fixe.
9
Gestion de la mémoire
P 0 5 H 5 3 P 8 8 P 16 2
H 18 2 P 20 4 P 24 5 H 29 3
10
Gestion de la mémoire
12
Gestion de la mémoire
13
Gestion de la mémoire
F. La mémoire virtuelle
Algorithme d’allocation mémoire : (gestionnaire de la mémoire
connaît la taille de la mémoire allouée)
Réponse :
15
Gestion de la mémoire
F. La mémoire virtuelle
diviser les programmes en
Programmes volumineux
segments de recouvrement
segments Mémoire DD
16
Gestion de la mémoire
F. La mémoire virtuelle
DD
Mémoire
SWAP
17
Gestion de la mémoire
G. La pagination
La plupart des systèmes à mémoire virtuelle ont recours à la pagination.
18
Gestion de la mémoire
G. La pagination
PC
SWAP
19
Gestion de la mémoire
G. La pagination
PC
SWAP
G. La pagination
Exemple :
21
Gestion de la mémoire
G. La pagination
Espace adresse virtuelle 0-4 2 0-4
8-12 6 8-12
12-16 0 12-16
16-20 4 16-20
20-24 3 20-24
24-28 X 24-28
28-32 X 28-32
32-36 X
Case physique
36-40 5
40-44 X
44-48 7
48-52 X
52-56 X
56-60 X
Page virtuelle
60-64 X
22
Gestion de la mémoire
G. La pagination
La table des pages donne la relation entre les adresses virtuelles
et la mémoire physique.
G. La pagination
24
Gestion de la mémoire
G. La pagination
1. La table des pages
25
Gestion de la mémoire
G. La pagination
1. La table des pages
But de la table des pages :
Remarque :
Table des pages peut être très grande. Mappage très rapide.
G. La pagination
2. Conception des pages
table de registre machine
Une seule table des pages rapide avec une entrée/page
virtuelle.
Table indexée par n page virtuelle.
Exemple :
Lorsque le processus est activé, l’OS charge le registre avec la table
des pages de ce processus (à partir de la copie en mémoire centrale)
Au cours de l’exécution des processus, la table des pages ne
nécessite plus de référence mémoire.
27
Gestion de la mémoire
G. La pagination
3. Conception des systèmes paginés
processus lancé sans que
Système paginé leur page ne soit en
mémoire
Le processeur essaie d’exécuter la première instruction.
28
Gestion de la mémoire
G. La pagination
3. Conception des systèmes paginés
ensemble de pages utilisées
Ensemble de travail
pendant un certain temps par le
processus
29
Gestion de la mémoire
G. La pagination
4. Taille des pages
Par ailleurs, plus la taille des pages est faible, plus grande
sera la table des pages.
30
Gestion de la mémoire
I. La segmentation
La pagination : La mémoire virtuelle étudiée jusqu’ici est à
une dimension, les adresses virtuelles sont comprises entre
0 et une adresse maximale.
La segmentation : plusieurs espaces d’adresses indépendants
appelés segments.
Chaque segment est une suite d’adresses continus de 0 à une
adresse maximale autorisée.
Les segments ont des tailles différentes qui varient en cours
d’exécution, il représente des espaces d’adressage séparés.
32
Gestion de la mémoire
I. La segmentation
Exemple d’une mémoire segmentée utilisée pour les tables
du compilateur :
Segment 0 Segment 1 Segment 2 Segment 3 Segment 4
0 Constantes
4 Code Pile
Arbre Des
8 Table D’analyse appels
Des syntaxique
12 symboles 12 12
16 16
20
33
Gestion de la mémoire
I. La segmentation
Le segment est une entité logique que le programmeur doit
manipuler.
34
Gestion de la mémoire
I. La segmentation
35
Gestion de la mémoire
J. La Pagination vs La segmentation
Pourquoi cette technique a-t-elle Pour obtenir un grand espace Pour permettre la séparation des
été inventée ? d’adressage linéaire sans avoir à programmes et des données dans
acheter de la mémoire physique des espaces d’adressages
logiquement indépendants et pour
faciliter le partage et la protection.
36
Les systèmes d’exploitation
Gestion de la mémoire
Algorithmes de remplacement de page
37
38
39
40
41
42
43
44
45
Exercice : (gestion de la mémoire cache)
46