SYSTÈME D’EXPLOITATION I

Présentation au sujet: "SYSTÈME D’EXPLOITATION I"— Transcription de la présentation:

1 SYSTÈME D’EXPLOITATION I
SIF-1015

2 Contenu du cours 10 Gestion de la mémoire
Concepts et opérations de base Concepts et opérations avancées Implémentation LECTURES Chapitre 8 et 9 (OSC) Chapitre 21 (Mitchell) Chapitre 8 (Card)

3 Concepts et opérations de base
Espace d’adressage d’un processus Chaque processus est associé à un espace d’adressage qui représente les zones de mémoire allouées au processus. Cet espace d’adressage comporte: Le code du processus Les données du processus décomposées en deux segments: segment data qui contient les variables initialisées et le segment bss qui contient les variables non initialisées Le code et les données des bibliothèques partagées utilisées par le processus La pile utilisée par le processus

4 Concepts et opérations de base
Espace d’adressage d’un processus LINUX alloue 3 Go de 4 Go à cet espace d’adressage. Le Go restant est réservé à la mémoire utilisée par le noyau (code de LINUX et les données qu’il manipule) Les 3 Go disponibles sont décomposés en régions mémoire utilisables par le processus

5 Concepts et opérations de base
Espace d’adressage d’un processus

6 Concepts et opérations avancées
Régions de mémoire L’espace d’adressage d’un processus est composé de plusieurs régions de mémoire. Chaque région mémoire est caractérisée par plusieurs attributs: Adresses de début et de fin Droits d’accès de cette zone L’objet qui lui est associé (ex: fichier exécutable) Les régions de mémoire contenues dans l’espace d’adressage d’un processus peuvent être déterminées en affichant le contenu du fichier maps (dans le répertoire de chaque processus dans /proc) L’affichage donne: Les adresses du début et de fin de la région de mémoire Les droits d’accès (p indique que la région peut être partagée entre processus) Le déplacement du début de la région dans l’objet Le numéro du périphérique (disque) contenant l’objet Le numéro d’i-node de l’objet

7 Implémentation Gestion des tables de pages (pagination)
LINUX utilise les mécanismes de mémoire virtuelle fournis par le processeur sur lequel il s’exécute Les adresses manipulées par le noyau et les processus sont des adresses virtuelles et une conversion est effectuée par le processeur pour transformer une adresse virtuelle en adresse physique en mémoire centrale La conversion fonctionne de la façon suivante: Une adresse mémoire est décomposée en deux parties: Un numéro de page Un déplacement dans la page Le numéro de page est utilisé comme indice dans la table de page, ce qui fournit l’adresse physique d’une page en mémoire centrale À cette adresse est ajouté le déplacement pour obtenir l’adresse physique du mot concerné

8 Implémentation Motivations derrière la VM
La DRAM est utilisée comme une cache pour le disque L’espace d’addresses (virtuelle) d’un processus peut dépasser la capacité de la mémoire physique La somme des espaces d’adresses de plusieurs processus peut dépasser la capacité de la mémoire physique Faciliter la gestion de mémoire Plusieurs processus résident en DRAM Chaque processus possède son espace d’adresses Seulement le code et les données actives sont en DRAM Le OS alloue plus de mémoire au processus au besoin Facilite la gestion de la protection Un processus ne peut interférer avec un autre Chacun opère dans un espace d’adresse distinct Les processus user ne peuvent accéder aux informations privilégiées Les sections différentes d’un espace d’adresses ont différentes permissions

9 Implémentation Gestion des tables de pages (pagination)
Conversion d’adresse virtuelle en adresse physique

10 Système avec VM (Motivation #1)
Exemples: Stations de travail, serveurs, PC modernes, etc. Memory 0: 1: N-1: Page Table Virtual Addresses Physical Addresses 0: 1: CPU P-1: Disk Traduction d’Addresse: Le matériel convertit les adresses virtuelles en adresses physiques via une table de lookup (page table) gérée par le OS

11 Faute de page Qu’arrive-t-il si un objet est sur disque au lieu de la RAM ? PTE indique que la VA n’est pas en RAM Le OS lance un exception handler qui transfert les données du disque vers la RAM Le processus courant est interrompu, un autre est démarré Le OS contrôle pleinement le transfert Before fault After fault Memory Memory Page Table Page Table Virtual Addresses Physical Addresses Virtual Addresses Physical Addresses CPU CPU Disk Disk

12 Motivation #2: Gestion de mémoire
Plusieurs processus peuvent résider en RAM Comment résoudre les conflits d’addressage ? Si deux processus accèdent à la même adresse RAM ? memory invisible to user code kernel virtual memory %esp stack Linux/x86 process memory image Memory mapped region forshared libraries the “brk” ptr runtime heap (via malloc) uninitialized data (.bss) initialized data (.data) program text (.text) forbidden

13 Solution: Espaces d’adresses virtuelles séparées
Les espaces d’adresses virtuelles et physiques sont divisés en blocs de dimension égale Chaque bloc correspond à une page ( virtuelle et physique) Chaque processus possède son propre espace d’adresses Le OS contrôle l’assignation de pages virtuelles en mémoire physique Physical Address Space (DRAM) Virtual Address Space for Process 1: Address Translation VP 1 PP 2 VP 2 ... N-1 (e.g., read/only library code) PP 7 Virtual Address Space for Process 2: VP 1 VP 2 PP 10 ... M-1 N-1

14 Motivation #3: Protection
Les PTE contiennent des droits d’accès Les violations d’accès sont trappées par le OS Page Tables Memory Physical Addr Read? Write? PP 9 Yes No PP 4 XXXXXXX VP 0: VP 1: VP 2: • 0: 1: N-1: Process i: Physical Addr Read? Write? PP 6 Yes PP 9 No XXXXXXX • VP 0: VP 1: VP 2: Process j:

15 Implémentation: Tables de Pages
Memory resident page table (physical page or disk address) Virtual Page Number Physical Memory Valid 1 1 1 1 1 1 Disk Storage (swap file or regular file system file) 1

16 Implémentation Espace d’adressage des processus (descripteur de régions mémoire) L’espace d’adressage des processus peut être formé de plusieurs régions mémoire memory invisible to user code kernel virtual memory %esp stack Linux/x86 process memory image Memory mapped region for shared libraries the “brk” ptr runtime heap (via malloc) uninitialized data (.bss) initialized data (.data) program text (.text) forbidden

17 Linux organise la VM comme une collection d’espaces virtuels
process virtual memory vm_area_struct task_struct mm_struct vm_end vm_start mm pgd vm_prot vm_flags mmap shared libraries vm_next 0x vm_end pgd: page directory address vm_prot: read/write permissions for this area vm_flags shared with other processes or private to this process vm_start data vm_prot vm_flags 0x0804a020 text vm_next vm_end vm_start 0x vm_prot vm_flags vm_next

18 Traitement des fautes de pages sous LINUX
La VA est-elle légale? Est-elle définit dans une vm_area_struct? Sinon signaler un segmentation violation (e.g. (1)) L’opération est-elle légale? Le processus peut-il faire un read/write ? Sinon signaler un protection violation (e.g., (2)) SI OK, traite la faute de page e.g., (3) process virtual memory vm_area_struct vm_end r/o vm_next vm_start shared libraries 1 read vm_end r/w vm_next vm_start 3 data read 2 text write vm_end r/o vm_next vm_start

19 Exec() explicité Pour exécuter un nouveau programme p dans le contexte du processus courant par exec(): Libérer les vm_area_struct et les tables de pages de l’ancien processus Créer de nouvelles vm_area_struct et des tables de pages pour le nouveau processus Zones stack, bss, data, text, shared libs. Zones text et data correspondant au fichier .exe Zone bss et stack initialisées à 0 Intialiser le PC au début du programme à exécuter dans la zone .text Linux swap ensuite les pages de codes et de données au besoin process-specific data structures (page tables, task and mm structs) physical memory same for each process kernel code/data/stack kernel VM 0xc0 %esp stack demand-zero process VM Memory mapped region for shared libraries .data .text libc.so brk runtime heap (via malloc) demand-zero uninitialized data (.bss) initialized data (.data) .data program text (.text) .text forbidden p

20 Fork() explicité Création d’un nouveau processus avec fork():
Copier les structures mm_struct, vm_area_struct, et les tables de pages du processus père. Au début les deux processus partagent les mêmes pages en mémoire Comment peut-on avoir deux espaces d’adresses distincts sans recopier toutes les pages virtuelles ? => Technique du “copy on write” Technique du copy-on-write Créer initialement les pages W en R/O Le champ flag des vm_area_struct de ces zones est initialisé à private “copy-on-write” Un accès en écriture à ces pages par un des processus cause une faute de page Le gestionnaire de fautes reconnait le copy-on-write, fait une copie de la page et restaure la permission en écriture Résultat: Copies de pages sont retardées tant qu’un accès en écriture n’est pas requis (i.e., quand un processus essaie de modifier une page partagée).

21 Fork() explicité Création d’un nouveau processus avec fork():
Technique du “copy on write” (avant un page fault)

22 Fork() explicité Création d’un nouveau processus avec fork():
Technique du “copy on write” (après un page fault)