Cours 3. Gestion de la mémoire (2/2)

Transcription

1 Cours 3 Gestion de la mémoire (2/2) PolyTECH Thomas Lavergne Université Paris-Sud

2 Plan Cours 2 Fonctionnement de la mémoire Méthodes d'allocation Pagination Politique de remplacement Cours 3 Segmentation Mémoire virtuelle Gestion des pages Allocation

3 Rappels Maintenir plusieurs processus en mémoire Réduction des coûts Représentation de la structure mémoire ex : listes chaînées Méthodes Allocation contigüe partitions fixes, swapping Pagination table des pages Mesure : taux de fragmentation

4 Segmentation Représentation de la mémoire sous forme de blocs de données/routines indépendants Pile Table des symboles Programme principal Fonction f1 Sous-routine Etc. Donnée ou instruction main printf = adresse de base (segment) + offset (décalage) Pile Symboles Espace d'adresses logiques fibo printf (x86) mov eax, 4 ; Appel de sys_write mov ebx, 1 ; Sortie standard STDOUT mov ecx, Buffer ; Chaine à afficher mov edx, BufferSize ; Taille de la chaine int 80h ; Interruption du kernel mov eax, 1 ; Appel de sys_exit mov ebx, 0 ; Code de retour int 80h ; Interruption du kernel

5 Compilation Construction des segments chaque segment est référencé par un numéro Exemples : Segments d'un programme Java Méthodes Tas Piles pour chaque Thread Class loader Segments d'un programme C Variables globales Fonctions de bibliothèques Programme principal

6 oui Memory Management Unit Adresse = numéro segment + offset Table des segments ensemble de couples (base,limite) UC seg. offset Adresse logique Interruption Adresse physique limite base < Erreur d'adressage (segmentation fault) non?... + Memory Table des segments Management Unit Mémoire physique

7 Exemples 0 Segment 0 Main Fonction limite base Segment 0 Segment Segment 4 pile Sousroutine Segment 4 Table des symboles Table de segments Segment 2 Segment 1 Segment 1 Segment 2 Espace d'adressage logique Mémoire physique Segment 3

8 Avantages & limites Partage de segments 0 1 processus = 1 table Partage de code (bibliothèques, programmes multi-utilisateurs) Main Segment 0 Données Segment 1 Mémoire logique processus 1 Main Segment 0 Données Segment 1 Mémoire logique processus limite base Table de segments processus limite base Table de segments processus 2 Données 1 Code partagé Données 2 Mémoire physique

9 Avantages & limites Partage de segments 1 processus = 1 table Problème : référencement du segment «commun» Appel de la routine = saut d'adresse Tous les codes doivent référencer le segment commun de la même manière! Trouver une référence qui convienne à tout le monde... Protection Segments R, W ou RW (ex : instructions vs données) Table d'association bits de protection RW 1 tableau = 1 segment vérification automatique des débordements!

10 Avantages & limites Partage de segments 1 processus = 1 table Problème : référencement du segment «commun» Protection Lecture/écriture Protection de la mémoire Allocation Segments de longueur variable problème d'allocation (cf. mémoire contigüe) Fragmentation + risque d'attente (ou compactage) combiner pagination et segmentation!

11 Segmentation avec pagination Principe Paginer les segments réduit la fragmentation et les problèmes d'allocation permet le partage et l'adressage des segments Adresse logique = segment + offset Adresse linéaire = répertoire + page + offset' Adresse physique = cadre de page + offset' Memory Management Unit La table de descripteurs convertit les adresses logiques en adresses linéaires : segmentation Le répertoire + la table des pages permettent de déterminer les cadres de page : pagination

12 Segmentation avec pagination Adresse logique UC selecteur offset Adresse physique Adresse linéaire segfault < limite base + répertoire page offset' Table de descripteurs Cadre de page Répertoire de pages Table des pages Mémoire physique

13 Segmentation avec pagination Exemple : intel (2 14 ) segments possibles par processus, 1 segment = max 4Go 8192 «globaux» (partage de segments) et 8192 locaux (données & code propres au processus) Adresse logique = 16 bits selecteur + 32 bits offset Table Descripteurs (G ou L) = 8 Ko (2 13 ) 1 entrée = 8 octets dont base et limite (4) adresse linéaire 32 bits Segment (13) G (1) RW (2) 1 page = 4 Ko pagination à deux niveaux Répertoire (10) (10) Offset' (12)

14 Segmentation avec pagination Exemple (suite) : linux 2 sur Segmentation réduite (compatible plusieurs architctures) 6 segments Code du noyau Données du noyau Code utilisateur Données utilisateur État de la tâche Local Descriptors Table (LDT) par défaut Protection RW = 4 niveaux Linux : 2 niveaux seulement (utilisateur/noyau)

15 Mémoire virtuelle Mémoire d'un programme > mémoire physique on n'a pas besoin de tout le programme en même temps! Une partie des instructions et données seulement doivent être en mémoire physique Mémoire virtuelle Le programmeur voit un espace d'adressage «virtuel» L'espace d'adressage peut être plus grand que la mémoire physique La mémoire logique doit être plus petite! Utilisation du disque pagination à la demande

16 Mémoire virtuelle Schéma général : Mémoire logique Mémoire physique n Mémoire virtuelle Espace de stockage (disque)

17 Avantages Exemples Code d'erreurs, fonctions rarement exécutées Table des symboles d'un programme Tableau (généralement sous-utilisé) Moins de mémoire utilisée plus de programmes en parallèle! Moins de perte E/S lors des commutations de contexte Grand espace d'adressage virtuel le programmeur ne se préoccupe plus de la mémoire gestion souple de la pile et du tas (tailles variable) «Espace creux» variable entre les deux

18 Avantages (suite) Partage de pages Bibliothèques (utilisées en lecture seule) Fork et création de processus pile pile Espace creux bibliothèque pages partagées bibliothèque tas tas données données code code Bit de validité de page déchargement des pages Recharger seulement les nouvelles pages requises Pagination à la demande

19 Fonctionnement Pagination à la demande 3. requête mémoire auxiliaire 3ter. fin d'e/s interruption OS 3bis. allocation UC à un autre processus 2. déroutement Mémoire auxiliaire... load A load B A+B store C... Processus 1. référence 6. instruction relancée défaut de page Table des pages 5. mise à jour table cadre disponible 4. lecture page manquante Mémoire physique

20 Temps d'accès Un peu de calcul... p = probabilité de défaut de page M = temps d'accès à la mémoire D = temps de traitement défaut de page temps d'accès = (1-p).M + p.d = M + p.(d-m) le temps d'accès est directement proportionnel à la probabilité d'avoir un défaut de page! d'où l'intérêt d'avoir un bon algorithme de remplacement! p.d/m ~= ralentissement dû à pagination à la demande

21 Remplacement de pages Rappel des algorithmes FIIFO, deuxième-chance, horloge LFU, LRU, NRU (peu utilisés en pratique) Bit de modification noter les pages non-modifiées et les remplacer en priorité Défaut de pages : anomalie de Belady Réduire les défauts sur-allocation hypothèse = les processus n'utilisent pas tous les cadres qui leur sont alloués charger plus de processus sans augmenter le nombre de défaut de pages Les cadres supplémentaires requis correspondent en réalité à des pages non utilisées

22 Allocation (1/3) Mémoire physique cadres de page Allouer N cadres sur P processus plus de cadres moins de P possibles moins de cadres défauts de page ralentissement de l'exécution Allocation équitable Chaque processus reçoit N/P Le reste N%P sert de tampon lors du remplacement de page, permet de charger une page et de relancer l'instruction, sans avoir à vider la page en mémoire tout de suite

23 Allocation (2/3) Allocation proportionnelle En fonction de la taille de la mémoire virtuelle de chaque processus Soit M i la taille du processus i (en mémoire virtuelle) et M = Σ M i P i reçoit N * M i / M cadres Allocation basée sur la priorité En fonction de la priorité de chaque processus Soit prio i la priorité du processus et prio tot la somme des priorités P i reçoit N * prio i / prio tot

24 Allocation 3/3 Remplacement local un processus ne peut «remplacer» que dans les cadres de pages qui lui sont alloués (plus le cache) Remplacement global un processus peut utiliser n'importe quel cadre de page, y compris ceux utilisés par d'autres Avantage : augmenter la vitesse d'exécution des processus prioritaires Inconvénient : risque de provoquer de nouveaux défauts de pages pour les autres processus