Systèmes d Exploitation - ENSIN6U3. Aix-Marseille Université
|
|
- Denis Lavoie
- il y a 8 ans
- Total affichages :
Transcription
1 Systèmes d Exploitation - ENSIN6U3 Gestion de la mémoire Leonardo Brenner 1 Jean-Luc Massat 2 1 Leonardo.Brenner@univ-amu.fr 2 Jean-Luc.Massat@univ-amu.fr Aix-Marseille Université Faculté des Sciences
2 Table de matière 1 Généralités 2 Le partage de la mémoire Allocation de mémoire Allocation de la mémoire contiguë Allocation non-contiguë : la pagination Segmentation 3 La mémoire virtuelle Algorithmes de remplacement Leonardo Brenner, Jean-Luc Massat (AMU) Systèmes d Exploitation 2 / 61
3 Table de matière Généralités 1 Généralités 2 Le partage de la mémoire Allocation de mémoire Allocation de la mémoire contiguë Allocation non-contiguë : la pagination Segmentation 3 La mémoire virtuelle Algorithmes de remplacement Leonardo Brenner, Jean-Luc Massat (AMU) Systèmes d Exploitation 3 / 61
4 Généralités Généralités Notion de mémoire La mémoire est une ressource : partageable / non partageable réquisitionnable / non réquisitionnable reutilisable Mémoire d un processus Chaque processus travail dans un mémoire logique qui est vu comme un tableau de cases mémoire. Mémoire logique Cette mémoire logique est dite linéaire car les cases qui la composent sont contiguës. Ces cases sont repérées par des entiers consécutifs qui sont appelés des adresses logiques. Leonardo Brenner, Jean-Luc Massat (AMU) Systèmes d Exploitation 4 / 61
5 Généralités Adresses logiques vs. adresses physiques Génération d adresses Lors de l exécution, chaque processus P génère des adresses logiques. A l opposé, les cases de la mémoire physique sont repérées par des adresses physiques. Adresses logiques : privé au le programme, utilisé par l unité centrale. Adresses physiques : accès à la mémoire, instructions de lecture/écriture de/à un registre, la MMU («memory management unit») transforme les adresses logiques en adresses physiques. Leonardo Brenner, Jean-Luc Massat (AMU) Systèmes d Exploitation 5 / 61
6 Généralités Catégories de mémoire Organisation de la mémoire Mém. physique contiguë Mém. logique contiguë Correspondance fixe partitions fixes partition unique Mém. physique non contiguë mémoire paginée mémoire virtuelle paginée partitions variables Mém. logique non contiguë mémoire segmentée mémoire segmentée paginée Leonardo Brenner, Jean-Luc Massat (AMU) Systèmes d Exploitation 6 / 61
7 Le partage de la mémoire Table de matière 1 Généralités 2 Le partage de la mémoire Allocation de mémoire Allocation de la mémoire contiguë Allocation non-contiguë : la pagination Segmentation 3 La mémoire virtuelle Algorithmes de remplacement Leonardo Brenner, Jean-Luc Massat (AMU) Systèmes d Exploitation 7 / 61
8 Le partage de la mémoire Allocation de mémoire Allocation de mémoire Correspondance entre adresses La correspondance entre adresses logiques et adresses physiques : statique (établie une seule fois) ; dynamique (variable dans le temps). Gestion de la mémoire physique Partage de données entre processus ; Protection de chaque processus. Leonardo Brenner, Jean-Luc Massat (AMU) Systèmes d Exploitation 8 / 61
9 Le partage de la mémoire Système à partition unique (1/2) Allocation de la mémoire contiguë Va-et-vient ou swapping Un seul processus est placé en mémoire à la fois. RL S.E. partition unique mémoire RB Caractéristiques les processus sont tous et toujours à la même adresse physique ; la correspondance logique/physique est réglée lors de la compilation ou du chargement ; la réquisition de la CPU entraîne la sauvegarde de la partition et le chargement d un nouveau processus ; la CPU est inutilisée durant les sauvegardes/récupérations. Leonardo Brenner, Jean-Luc Massat (AMU) Systèmes d Exploitation 9 / 61
10 Le partage de la mémoire Système à partition unique (2/2) Allocation de la mémoire contiguë Protection La protection est possible par le jeu des deux registres spécialisées RB (registre de base) et RL (registre limite). Sauvegarde Pour limiter les E/S, le système sauvegarde uniquement les zones de la partition qui ont été modifiées et/ou applique l algorithme des pelures d oignons. Leonardo Brenner, Jean-Luc Massat (AMU) Systèmes d Exploitation 10 / 61
11 Les recouvrements Le partage de la mémoire Allocation de la mémoire contiguë Objectifs Limiter la taille de la mémoire occupée par le code du programme. Caractéristiques les programmes de taille importante sont découpés en plusieurs parties indépendantes ; une partie reste systématiquement en mémoire, c est la racine du recouvrement ; les autres parties sont chargées en mémoire à la demande. mémoire physique A B C programme (3 parties) A B configuration 1 A C configuration 2 Leonardo Brenner, Jean-Luc Massat (AMU) Systèmes d Exploitation 11 / 61
12 Le partage de la mémoire Système à partitions fixes Allocation de la mémoire contiguë S.E. zone 1 zone 2 mémoire A B C programmes Allocation de la mémoire U.C. A(1) C(2) B(1) programme(zone) Canal. C(2) A(1) B(1) C(2) chargement sauvegarde Chronogramme d'activité Caractéristiques la mémoire est divisée en zones de taille fixe (spécialisation); les processus s exécutent toujours dans la même zone ; pendant les échanges sur la zone 1, un autre processus s exécute sur la zone 2 ; la correspondance logique/physique est réglée lors de la compilation ou du chargement ; protection possible par les registres RB et RL. Leonardo Brenner, Jean-Luc Massat (AMU) Systèmes d Exploitation 12 / 61
13 Le partage de la mémoire Système à partitions variables Allocation de la mémoire contiguë RL RB A 150 A 1 B 151 B 2 3 C D 3 3 < RL oui C D 4 E 154 E 5 F non 155 F déroutement sur erreur d'adressage Caractéristiques les partitions sont allouées et libérées à la demande (création ou fin d un processus) ; le registre de base (RB) pointe sur la partition et le registre limite (RL) en indique la taille. Les processus génèrent des adresses logiques comprises entre 0 et RL-1 ; RB et RL sont utilisés par la CPU pour traduire ces adresses en adresses physiques à chaque accès mémoire. Leonardo Brenner, Jean-Luc Massat (AMU) Systèmes d Exploitation 13 / 61
14 Le partage de la mémoire Allocation de la mémoire contiguë Allocation par chaînage des zones libres Zones libres Les zones libres sont placées dans une liste chaînée. Où placer les processus? Il existe plusieurs stratégies de recherche : First-fit : première zone libre suffisamment grande ; Best-fit : meilleur ajustement pour utiliser au mieux les zones libres : il faut parcourir toutes les zones ; il reste des petits résidus inutilisables. Worst-fit : plus grand résidu combat l émiettement. Algorithmes spécialisés. Leonardo Brenner, Jean-Luc Massat (AMU) Systèmes d Exploitation 14 / 61
15 Le partage de la mémoire Allocation de la mémoire contiguë Algorithmes d ordonnancement (1/3) First fit Noyau Proc1 + Proc3 Proc2 Leonardo Brenner, Jean-Luc Massat (AMU) Systèmes d Exploitation 15 / 61
16 Le partage de la mémoire Allocation de la mémoire contiguë Algorithmes d ordonnancement (1/3) First fit Noyau Proc1 Noyau Proc1 + Proc3 Proc3 Proc2 Proc2 Leonardo Brenner, Jean-Luc Massat (AMU) Systèmes d Exploitation 15 / 61
17 Le partage de la mémoire Allocation de la mémoire contiguë Algorithmes d ordonnancement (2/3) Best fit Noyau Proc1 + Proc3 Proc2 Leonardo Brenner, Jean-Luc Massat (AMU) Systèmes d Exploitation 16 / 61
18 Le partage de la mémoire Allocation de la mémoire contiguë Algorithmes d ordonnancement (2/3) Best fit Noyau Proc1 Noyau Proc1 + Proc3 Proc2 Proc2 Proc3 Leonardo Brenner, Jean-Luc Massat (AMU) Systèmes d Exploitation 16 / 61
19 Le partage de la mémoire Allocation de la mémoire contiguë Algorithmes d ordonnancement (3/3) Worst fit Noyau Proc1 + Proc3 Proc2 Leonardo Brenner, Jean-Luc Massat (AMU) Systèmes d Exploitation 17 / 61
20 Le partage de la mémoire Allocation de la mémoire contiguë Algorithmes d ordonnancement (3/3) Worst fit Noyau Proc1 Noyau Proc1 + Proc3 Proc3 Proc2 Proc2 Leonardo Brenner, Jean-Luc Massat (AMU) Systèmes d Exploitation 17 / 61
21 La recherche d une zone libre est rapide et il est facile de reconstruire des zones à la libération. Leonardo Brenner, Jean-Luc Massat (AMU) Systèmes d Exploitation 18 / 61 Le partage de la mémoire Allocation de la mémoire contiguë Allocation par subdivision (buddy system) Taille des zones La taille des zones suit une règle définie par une relation de récurrence : binaire : (1, 2, 4, 8,...) S i+1 = 2 S i fibonacci : (1, 2, 3, 5, 8,...) S i+1 = S i + S i 1 Zones libres Il existe une liste de zones libres pour chaque taille. allouer un bloc de taille T si il existe un bloc de taille T alors renvoyer ce bloc sinon allouer un bloc de 2 T libérer la deuxième partie de ce bloc renvoyer la première partie fin si
22 Le partage de la mémoire Exemple d allocations/libérations Allocation de la mémoire contiguë Buddy system 8 A 2 4 A B 1 4 A B 1 C 2 B 1 C 2 2 B Alloc. de A, longueur = 2 Alloc. de B, longueur = 1 Alloc. de C, longueur = 2 Libération de A Libération de C Libération de B Leonardo Brenner, Jean-Luc Massat (AMU) Systèmes d Exploitation 19 / 61
23 Le partage de la mémoire Fragmentation externe/interne Allocation de la mémoire contiguë Fragmentation externe La fragmentation externe est due à l émiettement de la mémoire lors des allocations/libérations. Fragmentation interne La fragmentation interne c est l unité de mémoire minimum que le S.E. est capable de gérer (généralement plusieurs Kilooctets). Leonardo Brenner, Jean-Luc Massat (AMU) Systèmes d Exploitation 20 / 61
24 Le compactage Le partage de la mémoire Allocation de la mémoire contiguë Objectif Le compactage de la mémoire procède par recopie des partitions pour faire apparaître une zone libre de taille suffisante. Exemples Leonardo Brenner, Jean-Luc Massat (AMU) Systèmes d Exploitation 21 / 61
25 La pagination (1/2) Le partage de la mémoire Allocation non-contiguë : la pagination Description But : solution à la fragmentation, Voir : la gestion de l espace sur disque, les bloques. Leonardo Brenner, Jean-Luc Massat (AMU) Systèmes d Exploitation 22 / 61
26 La pagination (1/2) Le partage de la mémoire Allocation non-contiguë : la pagination Description But : solution à la fragmentation, Voir : la gestion de l espace sur disque, les bloques. La mémoire logique est découpée en pages (toujours une puissance de 2). Une adresse logique dans un système paginé est un couple : (# page logique, déplacement) Une adresse physique est un couple : (# page physique, déplacement) Leonardo Brenner, Jean-Luc Massat (AMU) Systèmes d Exploitation 22 / 61
27 La pagination (1/2) Le partage de la mémoire Allocation non-contiguë : la pagination Description But : solution à la fragmentation, Voir : la gestion de l espace sur disque, les bloques. Si La mémoire logique est découpée en pages (toujours une puissance de 2). Une adresse logique dans un système paginé est un couple : (# page logique, déplacement) Une adresse physique est un couple : (# page physique, déplacement) A = adresse logique, T = taille de page alors # page logique = A/T, déplacement = A%T Leonardo Brenner, Jean-Luc Massat (AMU) Systèmes d Exploitation 22 / 61
28 La pagination (2/2) Le partage de la mémoire Allocation non-contiguë : la pagination Description La mémoire physique est découpée en cadres de page (même taille d une page). Leonardo Brenner, Jean-Luc Massat (AMU) Systèmes d Exploitation 23 / 61
29 La pagination (2/2) Le partage de la mémoire Allocation non-contiguë : la pagination Description La mémoire physique est découpée en cadres de page (même taille d une page). Adresses physique est un couple (f, d), cadre de pages et déplacement. Leonardo Brenner, Jean-Luc Massat (AMU) Systèmes d Exploitation 23 / 61
30 La pagination (2/2) Le partage de la mémoire Allocation non-contiguë : la pagination Description La mémoire physique est découpée en cadres de page (même taille d une page). Adresses physique est un couple (f, d), cadre de pages et déplacement. A chaque page logique p peut correspondre un cadre de page f = f(p). Leonardo Brenner, Jean-Luc Massat (AMU) Systèmes d Exploitation 23 / 61
31 La pagination (2/2) Le partage de la mémoire Allocation non-contiguë : la pagination Description La mémoire physique est découpée en cadres de page (même taille d une page). Adresses physique est un couple (f, d), cadre de pages et déplacement. A chaque page logique p peut correspondre un cadre de page f = f(p). Cette correspondance est maintenue dans la table des pages. Leonardo Brenner, Jean-Luc Massat (AMU) Systèmes d Exploitation 23 / 61
32 La pagination (2/2) Le partage de la mémoire Allocation non-contiguë : la pagination Description La mémoire physique est découpée en cadres de page (même taille d une page). Adresses physique est un couple (f, d), cadre de pages et déplacement. A chaque page logique p peut correspondre un cadre de page f = f(p). Cette correspondance est maintenue dans la table des pages. Leonardo Brenner, Jean-Luc Massat (AMU) Systèmes d Exploitation 23 / 61
33 La pagination (2/2) Le partage de la mémoire Allocation non-contiguë : la pagination Description La mémoire physique est découpée en cadres de page (même taille d une page). La MMU Adresses physique est un couple (f, d), cadre de pages et déplacement. 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 à partir d un adresse logique selon la formule phys(p, d) = (f(p), d) Leonardo Brenner, Jean-Luc Massat (AMU) Systèmes d Exploitation 23 / 61
34 La pagination (2/2) Le partage de la mémoire Allocation non-contiguë : la pagination Description La mémoire physique est découpée en cadres de page (même taille d une page). La MMU Adresses physique est un couple (f, d), cadre de pages et déplacement. 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 à partir d un adresse logique selon la formule Gestion de la multiprogrammation phys(p, d) = (f(p), d) Le PTBR, registre de base de la table de pages, «page-table base register». Leonardo Brenner, Jean-Luc Massat (AMU) Systèmes d Exploitation 23 / 61
35 Le partage de la mémoire Allocation non-contiguë : la pagination Traduction des adresses logiques en adresses physiques (1/3) Fonction de pagination La fonction de pagination assure la correspondance entre le numéro de la page logique et le numéro de la page physique. 0 1 Mémoire logique Mémoire physique 0 1 Fonction de pagination n 2-1 n 2-1 Leonardo Brenner, Jean-Luc Massat (AMU) Systèmes d Exploitation 24 / 61
36 Le partage de la mémoire Allocation non-contiguë : la pagination Traduction des adresses logiques en adresses physiques (2/3) Table de pages Pour chaque processus, le S.E. détient une table de pages logiques qui fait la correspondance avec les pages physiques. adr. logique npl dep vérifier que npl < RL + npp prot npp npp dep R. de base RL Table des pages (desc) adr. physique Leonardo Brenner, Jean-Luc Massat (AMU) Systèmes d Exploitation 25 / 61
37 Le partage de la mémoire Allocation non-contiguë : la pagination Traduction des adresses logiques en adresses physiques (3/3) Version algorithmique de la correspondance npl, dépl := adresse logique si (npl < RL) alors si les protections desc[npl].prot sont respectées alors npp := desc[npl].npp adresse_physique := npp, dépl sinon déroutement sur violation de protection fin si sinon déroutement sur erreur d adressage fin si Leonardo Brenner, Jean-Luc Massat (AMU) Systèmes d Exploitation 26 / 61
38 Le partage de la mémoire Exemple de pagination Allocation non-contiguë : la pagination Exemple Mémoire logique du processus 1 A B C Table des pages du processus 1 pages physiques A D F C B Table des pages du processus 2 Mémoire logique du processus 2 D E F G E G Leonardo Brenner, Jean-Luc Massat (AMU) Systèmes d Exploitation 27 / 61
39 Le partage de la mémoire Avantages et inconvénients Allocation non-contiguë : la pagination Avantages La gestion de la mémoire est plus simple (il suffit de gérer la liste des pages libres). Le compactage est inutile. Protections différentes pour chaque page. Inconvénients Le temps d accès en mémoire est doublé. temps d accès = 2 t = 2 nanosecondes. Il faut que le matériel supporte cette organisation. Leonardo Brenner, Jean-Luc Massat (AMU) Systèmes d Exploitation 28 / 61
40 Le partage de la mémoire Comportement des processus Allocation non-contiguë : la pagination Non uniforme Le comportement «en moyenne»des processus est non uniforme : 20% des pages regroupent 75% des accès. Principe de localité les accès sont stable sur une courte période ; l activité actuelle est une bonne estimation de l activité future. Leonardo Brenner, Jean-Luc Massat (AMU) Systèmes d Exploitation 29 / 61
41 Le partage de la mémoire Allocation non-contiguë : la pagination Les tables de pages : utilisation de la mémoire Une table par processus Problème : si adresse logique {0,...,2 32 1} taille d une page = 4K = 2 12, alors taille de la table de pages = Solutions plusieurs niveaux d indirection (table de page paginée), tables de pages inversées, partage de pages. Leonardo Brenner, Jean-Luc Massat (AMU) Systèmes d Exploitation 30 / 61
42 Le partage de la mémoire Mémoires associatives Allocation non-contiguë : la pagination entre 16 et échec Caractéristiques Peu de temps d attente car les tests sont faits en parallèle (20 nanosecondes) ; Ces circuits sont très onéreux. Leonardo Brenner, Jean-Luc Massat (AMU) Systèmes d Exploitation 31 / 61
43 Le partage de la mémoire Allocation non-contiguë : la pagination Mémoires associatives et pagination Principe Retenir les derniers couples (page logique, page physique), pour éviter l accès mémoire à la table des pages. adr. logique npl dep mémoire associative échec succès vérifier que npl < RL + npp prot npp npp dep RB RL Table des pages (desc) adr. physique Il faut mettre à jour la M.A. après les échecs et la vider lors des commutations. Leonardo Brenner, Jean-Luc Massat (AMU) Systèmes d Exploitation 32 / 61
44 Le partage de la mémoire Allocation non-contiguë : la pagination Partage de pages entre processus Mémoire logique du processus 1 Pa Pb D1 D2 Table des pages du processus 1 pages physiques Pa Pb D1 D2 D4 D5 D6 Table des pages du processus 2 Mémoire logique du processus 2 Pa Pb D4 D5 D6 D7 D7 Les pages contenant le programme (Pa et Pb) sont partagées, mais les pages de données (D1,, D7) ne le sont pas. Principe Les pages contenant le programme Pa et Pb sont partagées, tandis que les pages Dx ne le sont pas. Pour une même page physique, il est possible d avoir des protections différentes suivant le processus qui l utilise. Leonardo Brenner, Jean-Luc Massat (AMU) Systèmes d Exploitation 33 / 61
45 Le partage de la mémoire La mémoire segmentée Segmentation Notion de segments Un segment est un bloc de donnée de taille variable. 0 2 code 2 L2 code 1 L0 3 data 2 L3 1 data 1 L1 Adresse logique Une adresse logique dans un système segmenté (aussi appelée adresse segmentée) est un couple (# segment, déplacement) Cette organisation physique de la mémoire corresponds bien à l organisation logique à l intérieur d un programme. Leonardo Brenner, Jean-Luc Massat (AMU) Systèmes d Exploitation 34 / 61
46 Le partage de la mémoire Segmentation Transformation des adresses segmentées Table de segments Le S.E. détient une table des segments pour chaque processus. mémoire physique taille prot origine code 2 RB 0 L0 1 L1 2 3 L2 L3 RL code 1 table des segments (desc) Leonardo Brenner, Jean-Luc Massat (AMU) Systèmes d Exploitation 35 / 61
47 Le partage de la mémoire Segmentation Transformation des adresses segmentées Version algorithmique de la correspondance seg, dépl := adresse logique si (seg < RL) et (desc[seg].taille) alors si les protections desc[seg].prot sont respectées alors adresse_physique := desc[seg].origine + dépl sinon déroutement sur violation de protection fin si sinon déroutement sur erreur d adressage fin si Leonardo Brenner, Jean-Luc Massat (AMU) Systèmes d Exploitation 36 / 61
48 Le partage de la mémoire Segmentation Partage de segment entre processus Exemple P1 P data 1 code data 2 0 taille prot origine 0 1 table des segments de P1 taille prot origine 0 1 table des segments de P2 data 1 code data 2 Leonardo Brenner, Jean-Luc Massat (AMU) Systèmes d Exploitation 37 / 61
49 Le partage de la mémoire Avantages et inconvénients Segmentation Avantages les protections concernent les segments, on peut utiliser les mémoires associatives, le partage de segment est simple. Inconvénients L allocation de segments implique : un problème de fragmentation externe ; une obligation du tassage de la mémoire. Leonardo Brenner, Jean-Luc Massat (AMU) Systèmes d Exploitation 38 / 61
50 Le partage de la mémoire Segmentation Pagination d une mémoire segmentée Adresse logique Une adresse logique (ou adresse segmentée et paginée) est un triplet (# segment, # de page, déplacement) La taille des segments s exprime maintenant en nombre de pages. adr. segmentée et paginée seg npl dep adr. physique + vérifier que (npl < L) + npp dep R. de base L npp L Table des segments Table des pages du segment seg Avantages Plus de problème de fragmentation interne puisque les segments ne sont plus contigus en mémoire physique. Leonardo Brenner, Jean-Luc Massat (AMU) Systèmes d Exploitation 39 / 61
51 Table de matière La mémoire virtuelle 1 Généralités 2 Le partage de la mémoire Allocation de mémoire Allocation de la mémoire contiguë Allocation non-contiguë : la pagination Segmentation 3 La mémoire virtuelle Algorithmes de remplacement Leonardo Brenner, Jean-Luc Massat (AMU) Systèmes d Exploitation 40 / 61
52 La mémoire virtuelle Mémoire virtuelle paginée Principe Les programmes utilisent 20% de leur page, donc il est inutile de toutes les conserver en mémoire. Exemple Considérons une mémoire physique avec 1000 cadres de page. Cette mémoire peut stocker : 10 processus de 100 pages logiques ; 50 processus de (100 0, 2) pages utiles. Rôle du S.E. Le S.E. doit détecter (avec l aide du matériel) : les pages inutilisées (réquisition) ; les pages utiles et présentes en mémoire physique ; les pages utiles et absentes de la mémoire physique (défaut de page) ; les pages utiles dans le futur et absentes de la mémoire physique Leonardo(préchargement). Brenner, Jean-Luc Massat (AMU) Systèmes d Exploitation 41 / 61
53 La mémoire virtuelle Fonction de pagination virtuelle Mémoire virtuelle Mémoire physique zone de pagination en mémoire secondaire Fonction de pagination Défaut de page Leonardo Brenner, Jean-Luc Massat (AMU) Systèmes d Exploitation 42 / 61
54 La mémoire virtuelle Hiérarchie de mémoire Compilation Registres de la CPU Gestion de la mémoire virtuelle Mémoire cache (de la CPU) Mémoire cache (lente) Mémoire centrale Mémoire secondaire rapide Mémoire secondaire standard Gestion de la mémoire cache Swapping in / out Mémoire secondaire lente (bandes,...) Gestion de cache La mémoire virtuelle implante la gestion d un niveau de cache. Leonardo Brenner, Jean-Luc Massat (AMU) Systèmes d Exploitation 43 / 61
55 La mémoire virtuelle Adresses virtuelles versus adresses physiques adr. virtuelle npv dep mémoire associative succès échec présent modif prot npp npp npp dep RB RL adr. physique défaut de page si présent = 0 Table des pages virtuelles (desc) Table des pages virtuelles Pour chaque processus, le S.E. détient une table des pages virtuelles. Cette table est stockée en mémoire et pointée par le registre de base. Leonardo Brenner, Jean-Luc Massat (AMU) Systèmes d Exploitation 44 / 61
56 La mémoire virtuelle Transformation des adresses virtuelles Version algorithmique de la correspondance npv, dépl := adresse virtuelle si (npv < RL) alors si les protections desc[npv].prot sont respectées alors si (desc[npv].présent = 1) alors npp := desc[npv].npp adresse_physique := <npp, dépl> sinon déroutement sur défaut de page fin si sinon déroutement sur violation de protection fin si sinon déroutement sur erreur d adressage fin si Leonardo Brenner, Jean-Luc Massat (AMU) Systèmes d Exploitation 45 / 61
57 La mémoire virtuelle Exemple de mémoire virtuelle paginée Exemple sur deux processus Processus 1 A B C D E 1présent modif npp B H D C A B?? E Processus 2 F G H F F G? Mémoires Tables des virtuelles pages virtuelles Mémoire physique Zone de pagination Leonardo Brenner, Jean-Luc Massat (AMU) Systèmes d Exploitation 46 / 61
58 La mémoire virtuelle Traitement du défaut de page Algorithme suspendre le processus qui a provoqué le défaut si (il existe une page physique libre) alors npp := numéro de cette page sinon v := choisir une page virtuelle victime npp := desc[v].npp desc[v].présent := 0 si (desc[v].modif = 1) alors swap[v] := page[npp] fin si fin si npv := numéro de la page virtuelle manquante page[npp] := swap[npv] desc[npv].présent := 1 desc[npv].modif := 0 desc[npv].npp := npp reprendre le processus que a provoqué le défaut c est une E/S c est une E/S Leonardo Brenner, Jean-Luc Massat (AMU) Systèmes d Exploitation 47 / 61
59 La mémoire virtuelle Pagination à plusieurs niveaux Principe Si la mémoire est importante, le nombre de pages augmente et la table des pages devient imposante. Exemple Une mémoire de 256 Mo (soit 2 28 octets) est divisée en 2 28 /2 10 = 2 18 pages. La table des pages a donc 2 18 entrées soit 1 Mo pour des entrées de 4 octets. Solution Paginer la table de pages ce qui revient à faire une pagination à deux niveaux. Leonardo Brenner, Jean-Luc Massat (AMU) Systèmes d Exploitation 48 / 61
60 La mémoire virtuelle Organisation à plusieurs niveaux adr. virtuelle nhyp npv dep mémoire associative succès R. de base + vérifier que npv < L + L 1présent 1présent adr. physique modif 0 npp L npp dep Table des pages de l'hyperpage nhyp Table des hyperpages défaut de page si présent = 0 Niveaux de pagination Il peut y avoir jusqu à 5 niveaux de pagination. Temps d accès = 0, , = 128ms Leonardo Brenner, Jean-Luc Massat (AMU) Systèmes d Exploitation 49 / 61
61 La mémoire virtuelle Mémoire virtuelle segmentée et paginée adr. virtuelle paginée segmentée RB seg + page dep vérifier que page < L + prot origine mémoire associative 1présent succès adr. physique modif 0 L npp dep L Table des segments défaut de page si présent = 0 Table des pages du segment seg Avantages Le processus est capable d informer le S.E. d un changement dans le mode d utilisation d un segment. Leonardo Brenner, Jean-Luc Massat (AMU) Systèmes d Exploitation 50 / 61
62 La mémoire virtuelle La taille des pages Avantages de grandes pages diminuer le nombre de pages, donc le nombre de défaut de page ; diminuer la taille de la table de pages ; optimiser le temps de transfert vers/depuis la zone de pagination ; utiliser des mémoires centrales de plus en plus grandes. Avantages de petites pages limiter la fragmentation interne ; définir avec plus de précision les zones de mémoires utiles à un processus. S.E. récents la taille de pages varie entre 1 Ko et 32 Ko ; certains S.E. autorisent plusieurs tailles différentes. Leonardo Brenner, Jean-Luc Massat (AMU) Systèmes d Exploitation 51 / 61
63 La mémoire virtuelle Algorithmes de remplacement Algorithmes de remplacement (1/3) Pages propres On choisit en priorité les pages virtuelles propres (qui n ont pas été modifiées). Ça réduit les transferts vu que la page ne sera pas sauvegarde sur la zone de pagination. Algorithmes de remplacement Algorithme optimale (base de référence) : choisir la page virtuelle qui est utilisée le plus tard possible ou qui n est plus utilisée ; Algorithme aléatoire : le moins bon ; Algorithme FIFO : il ne tient pas compte de l utilisation des pages ; Algorithme LRU (Least Recently Used) : est basé sur le principe de localité. On choisit la page dont la date du dernier accès est la plus ancienne ; Algorithme LFU (Least Frequently Used) : choisir la page la moins utilisée ; Algorithme LINUFO (First In Not Used First Out) : aussi connu comme algorithme de la deuxième chance. Leonardo Brenner, Jean-Luc Massat (AMU) Systèmes d Exploitation 52 / 61
64 La mémoire virtuelle Algorithmes de remplacement Algorithmes de remplacement (2/3) Algorithme FINUFO L algorithme FINUFO ou dit algorithme de la deuxième chance va remplacer une page uniquement au deuxième essai. Pour cela, on dispose : d un pointeur de page physique ptr ; d un bit par page physique noté U[k]. Ce bit U[k] est forcé à 1 après chaque accès à la page physique k. Algorithme du choix de la victime FINUFO tant que (U[prt] = 1) faire U[ptr] := 0 ptr = (ptr + 1) mod nombre de pages physiques fin faire U[ptr] = 1 ptr = (ptr + 1) mod nombre de pages physiques Leonardo Brenner, Jean-Luc Massat (AMU) Systèmes d Exploitation 53 / 61
65 La mémoire virtuelle Algorithmes de remplacement Algorithmes de remplacement (3/3) Exemple - FINUFO avec mémoire physique à deux pages pointeur FINUFO bit FINUFO N de page virtuelle Performances Nombre de défauts de page FIFO FINUFO LRU OPT Taille de la mémoire Leonardo Brenner, Jean-Luc Massat (AMU) Systèmes d Exploitation 54 / 61
66 La mémoire virtuelle Algorithmes de remplacement Comportement en mémoire virtuelle paginée Nombre de défauts de page Taille de la mémoire Intervalle entre défauts de page Taille de la mémoire Leonardo Brenner, Jean-Luc Massat (AMU) Systèmes d Exploitation 55 / 61
67 La mémoire virtuelle Allocation des pages physiques Algorithmes de remplacement Allocation équitable On donne à chaque processus une part égale de la mémoire physique. Allocation proportionnelle On donne à chaque processus une part proportionnelle à la taille de sa mémoire virtuelle. Politique de choix de la victime Virtuelles Physiques Processus Processus Processus Mémoires Remplacement local : on choisit parmi les pages du processus demandeur ; Remplacement global : on choisit parmi toutes les pages. Leonardo Brenner, Jean-Luc Massat (AMU) Systèmes d Exploitation 56 / 61
68 La mémoire virtuelle Algorithmes de remplacement Écroulement d un système paginé (1/2) Définition Augmentation considérable du nombre de défaut de page provoquant un chute du taux d utilisation de la CPU. Taux d'utilisation de la CPU dégré de multiprogrammation Leonardo Brenner, Jean-Luc Massat (AMU) Systèmes d Exploitation 57 / 61
Chapitre V : La gestion de la mémoire. Hiérarchie de mémoires Objectifs Méthodes d'allocation Simulation de mémoire virtuelle Le mapping
Chapitre V : La gestion de la mémoire Hiérarchie de mémoires Objectifs Méthodes d'allocation Simulation de mémoire virtuelle Le mapping Introduction Plusieurs dizaines de processus doivent se partager
Plus en détailPartie 7 : Gestion de la mémoire
INF3600+INF2610 Automne 2006 Partie 7 : Gestion de la mémoire Exercice 1 : Considérez un système disposant de 16 MO de mémoire physique réservée aux processus utilisateur. La mémoire est composée de cases
Plus en détailSystèmes d Exploitation - ENSIN6U3. Aix-Marseille Université
Systèmes d Exploitation - ENSIN6U3 Systèmes de gestion de fichiers - SGF Leonardo Brenner 1 Jean-Luc Massat 2 1 Leonardo.Brenner@univ-amu.fr 2 Jean-Luc.Massat@univ-amu.fr Aix-Marseille Université Faculté
Plus en détail6 - Le système de gestion de fichiers F. Boyer, UJF-Laboratoire Lig, Fabienne.Boyer@imag.fr
6 - Le système de gestion de fichiers F. Boyer, UJF-Laboratoire Lig, Fabienne.Boyer@imag.fr Interface d un SGF Implémentation d un SGF Gestion de la correspondance entre la structure logique et la structure
Plus en détailSGM. Master S.T.S. mention informatique, première année. Isabelle Puaut. Septembre 2011. Université de Rennes I - IRISA
SGM Master S.T.S. mention informatique, première année Isabelle Puaut Université de Rennes I - IRISA Septembre 2011 Isabelle Puaut SGM 2 / 1 Organisation de l enseignement Semestre 1 : processus, synchronisation
Plus en détailGESTION DE LA MEMOIRE
GESTION DE LA MEMOIRE MEMOIRE CENTRALE (MC) MEMOIRE SECONDAIRE (MS) 1. HIÉRARCHIE ET DIFFÉRENTS TYPES DE MÉMOIRE... 2 2. MÉMOIRE CACHE... 3 3. MODÈLE D'ALLOCATION CONTIGUË (MC OU MS)... 5 3.1. STRATÉGIE
Plus en détailSystemes d'exploitation des ordinateurs
! " #$ % $ &' ( $ plan_ch6_m1 Systemes d'exploitation des ordinateurs Conception de Systèmes de Gestion de la Mémoire Centrale Objectifs 1. Conception de systèmes paginés 2. Conception des systèmes segmentés
Plus en détailLA mémoire principale est le lieu où se trouvent les programmes et les
Chapitre 9 Gestion de la mémoire LA mémoire principale est le lieu où se trouvent les programmes et les données quand le processeur les exécute. On l oppose au concept de mémoire secondaire, représentée
Plus en détailGestion de mémoire secondaire F. Boyer, Laboratoire Sardes Fabienne.Boyer@imag.fr
Gestion de mémoire secondaire F. Boyer, Laboratoire Sardes Fabienne.Boyer@imag.fr 1- Structure d un disque 2- Ordonnancement des requêtes 3- Gestion du disque - formatage - bloc d amorçage - récupération
Plus en détailSYS MEM. Gestion de la mémoire. Table des matières. IUT - Département Informatique. ASR2-Système. 1.1 Motivation
TABLE DES MATIÈRES 1 MÉMOIRE ET MULTI-PROGRAMMATION IUT - Département Informatique ASR2-Système Gestion de la mémoire SYS MEM Table des matières 1 Mémoire et multi-programmation 1 1.1 Motivation...................
Plus en détailGestion de la mémoire
433 43 3 Gestion de la mémoire + 1. Qu'est-ce que la mémoire? - Définitions, exemples 2. Allocation contiguë en mémoire - Partitions de taille fixe, de taille variable 3. Pagination et mémoire virtuelle
Plus en détailCours A7 : Temps Réel
Cours A7 : Temps Réel Pierre.Paradinas / @ / cnam.fr Cnam/Cedric Systèmes Enfouis et Embarqués (SEE) Motivations Du jour : les mécanismes multitâches, la gestion des priorités, l ordonnancement, la gestion
Plus en détail1. Systèmes d entrée/sortie 2. Systèmes de fichiers 3. Structure de mémoire de masse (disques)
Chapitre 4 Le système de Gestion de Fichiers 1. Systèmes d entrée/sortie 2. Systèmes de fichiers 3. Structure de mémoire de masse (disques) 1 Systèmes d entrée/sortie Concepts importants : Matériel E/S
Plus en détailStructure fonctionnelle d un SGBD
Fichiers et Disques Structure fonctionnelle d un SGBD Requetes Optimiseur de requetes Operateurs relationnels Methodes d acces Gestion de tampon Gestion de disque BD 1 Fichiers et Disques Lecture : Transfert
Plus en détailArchitecture des ordinateurs
Architecture des ordinateurs Cours 4 5 novembre 2012 Archi 1/22 Micro-architecture Archi 2/22 Intro Comment assembler les différents circuits vus dans les cours précédents pour fabriquer un processeur?
Plus en détailProcessus! programme. DIMA, Systèmes Centralisés (Ph. Mauran) " Processus = suite d'actions = suite d'états obtenus = trace
Processus 1) Contexte 2) Modèles de Notion de Points de vue Modèle fourni par le SX Opérations sur les 3) Gestion des Représentation des Opérations 4) Ordonnancement des Niveaux d ordonnancement Ordonnancement
Plus en détailTechniques de stockage. Techniques de stockage, P. Rigaux p.1/43
Techniques de stockage Techniques de stockage, P. Rigaux p.1/43 Techniques de stockage Contenu de ce cours : 1. Stockage de données. Supports, fonctionnement d un disque, technologie RAID 2. Organisation
Plus en détail<Insert Picture Here> Solaris pour la base de donnés Oracle
Solaris pour la base de donnés Oracle Alain Chéreau Oracle Solution Center Agenda Compilateurs Mémoire pour la SGA Parallélisme RAC Flash Cache Compilateurs
Plus en détailSYSTÈME DE GESTION DE FICHIERS
SYSTÈME DE GESTION DE FICHIERS - DISQUE 1 Les couches logiciels réponse requête Requêtes E/S Système E/S Pilote E/S Interruptions utilisateur traitement S.E. commandes S.E. S.E. matériel Contrôleur E/S
Plus en détailIntroduction aux SGBDR
1 Introduction aux SGBDR Pour optimiser une base Oracle, il est important d avoir une idée de la manière dont elle fonctionne. La connaissance des éléments sous-jacents à son fonctionnement permet de mieux
Plus en détailLicence Sciences et Technologies Examen janvier 2010
Université de Provence Introduction à l Informatique Licence Sciences et Technologies Examen janvier 2010 Année 2009-10 Aucun document n est autorisé Les exercices peuvent être traités dans le désordre.
Plus en détailCH.3 SYSTÈMES D'EXPLOITATION
CH.3 SYSTÈMES D'EXPLOITATION 3.1 Un historique 3.2 Une vue générale 3.3 Les principaux aspects Info S4 ch3 1 3.1 Un historique Quatre générations. Préhistoire 1944 1950 ENIAC (1944) militaire : 20000 tubes,
Plus en détailREALISATION d'un. ORDONNANCEUR à ECHEANCES
REALISATION d'un ORDONNANCEUR à ECHEANCES I- PRÉSENTATION... 3 II. DESCRIPTION DU NOYAU ORIGINEL... 4 II.1- ARCHITECTURE... 4 II.2 - SERVICES... 4 III. IMPLÉMENTATION DE L'ORDONNANCEUR À ÉCHÉANCES... 6
Plus en détailSolution A La Gestion Des Objets Java Pour Des Systèmes Embarqués
International Journal of Engineering Research and Development e-issn: 2278-067X, p-issn: 2278-800X, www.ijerd.com Volume 7, Issue 5 (June 2013), PP.99-103 Solution A La Gestion Des Objets Java Pour Des
Plus en détailNOTIONS DE RESEAUX INFORMATIQUES
NOTIONS DE RESEAUX INFORMATIQUES GENERALITES Définition d'un réseau Un réseau informatique est un ensemble d'équipements reliés entre eux afin de partager des données, des ressources et d'échanger des
Plus en détailSupport de cours système d exploitation
Support de cours système d exploitation J. Gispert, J. Guizol, J.L. Massat Département d informatique Faculté de Luminy 163, Avenue de Luminy, Case 901, 13288 Marseille, cedex 9 23 février 2012 Chapitre
Plus en détailSYSTÈME DE GESTION DE FICHIERS SGF - DISQUE
SYSTÈME DE GESTION DE FICHIERS SGF - DISQUE C.Crochepeyre MPS_SGF 2000-20001 Diapason 1 Les couches logiciels réponse SGF requête matériel matériel Requêtes E/S Système E/S Pilote E/S Interruptions Contrôleur
Plus en détailSystème de Gestion de Fichiers
Chapitre 2 Système de Gestion de Fichiers Le système de gestion de fichiers est un outil de manipulation des fichiers et de la structure d arborescence des fichiers sur disque et a aussi le rôle sous UNIX
Plus en détailConcept de machine virtuelle
Concept de machine virtuelle Chap. 5: Machine virtuelle Alain Sandoz Semestre été 2007 1 Introduction: Java Virtual Machine Machine Virtuelle Java: qu est-ce que c est? c est la spécification d une machine
Plus en détailCroisière au cœur d un OS Étape 4 : Mise en place de la pagination
Croisière au cœur d un OS Étape 4 : Mise en place de la pagination Résumé Grâce à l article 3, nous pouvons gérer la totalité de la RAM disponible. Dans cet article, nous allons commencer la mise en place
Plus en détailComme chaque ligne de cache a 1024 bits. Le nombre de lignes de cache contenu dans chaque ensemble est:
Travaux Pratiques 3. IFT 1002/IFT 1005. Structure Interne des Ordinateurs. Département d'informatique et de génie logiciel. Université Laval. Hiver 2012. Prof : Bui Minh Duc. Tous les exercices sont indépendants.
Plus en détailPetit guide des sous-réseaux IP
Petit guide des sous-réseaux IP Robert Hart, hartr@interweft.com.au version française par Laurent Caillat-Vallet, caillat@univ-lyon1.fr v1.0, 31 Mars 1997 Ce document décrit pourquoi et comment découper
Plus en détailDAns un système multi-utilisateurs à temps partagé, plusieurs processus
Chapitre 8 Ordonnancement des processus Dns un système multi-utilisateurs à temps partagé, plusieurs processus peuvent être présents en mémoire centrale en attente d exécution. Si plusieurs processus sont
Plus en détailVersion default Titre : Procédure POURSUITE Date : 07/04/2009 Page : 1/10 Responsable : Clé : U4.11.03 Révision : 496
Titre : Procédure POURSUITE Date : 07/04/2009 Page : 1/10 Procédure POURSUITE 1 But Poursuivre une étude à partir de la sauvegarde au format JEVEUX ou au format HDF de sa base 'GLOBALE'. La syntaxe apparemment
Plus en détailCHAPITRE 4 LA MÉMOIRE DE L'ORDINATEUR
CHAPITRE 4 LA MÉMOIRE DE L'ORDINATEUR 1. Les différents types de mémoires Un ordinateur est composé de plusieurs types de mémoire. À première vue, on peut d'abord distinguer la mémoire principale à l'interne
Plus en détailChapitre 4 : Les mémoires
1. Introduction: Chapitre 4 : Les mémoires Nous savons que dans un ordinateur toutes les informations : valeur numérique, instruction, adresse, symbole (chiffre, lettre,... etc.) sont manipulées sous une
Plus en détailCours Programmation Système
Cours Programmation Système Filière SMI Semestre S6 El Mostafa DAOUDI Département de Mathématiques et d Informatique, Faculté des Sciences Université Mohammed Premier Oujda m.daoudi@fso.ump.ma Février
Plus en détailPROBLEMES D'ORDONNANCEMENT AVEC RESSOURCES
Leçon 11 PROBLEMES D'ORDONNANCEMENT AVEC RESSOURCES Dans cette leçon, nous retrouvons le problème d ordonnancement déjà vu mais en ajoutant la prise en compte de contraintes portant sur les ressources.
Plus en détailOptimisation de 4D Server et 4D Web Server. Résumé. 4D Notes techniques
Optimisation de 4D Server et 4D Web Server Par Chiheb NASR, Ingénieur Contrôle Qualité, 4D SA Note technique 4D-200312-34-FR Version 1 Date 1 Décembre 2003 Résumé Dans cetteprésentenotenous passons en
Plus en détailPlus courts chemins, programmation dynamique
1 Plus courts chemins, programmation dynamique 1. Plus courts chemins à partir d un sommet 2. Plus courts chemins entre tous les sommets 3. Semi-anneau 4. Programmation dynamique 5. Applications à la bio-informatique
Plus en détailTD Architecture des ordinateurs. Jean-Luc Dekeyser
TD Architecture des ordinateurs Jean-Luc Dekeyser Fiche 1 Nombres de l informatique Exercice 1 Une entreprise désire réaliser la sauvegarde de ses données sur un site distant. Le volume de données à sauvegarder
Plus en détailArchitecture des ordinateurs TD1 - Portes logiques et premiers circuits
Architecture des ordinateurs TD1 - Portes logiques et premiers circuits 1 Rappel : un peu de logique Exercice 1.1 Remplir la table de vérité suivante : a b a + b ab a + b ab a b 0 0 0 1 1 0 1 1 Exercice
Plus en détail1 Architecture du cœur ARM Cortex M3. Le cœur ARM Cortex M3 sera présenté en classe à partir des éléments suivants :
GIF-3002 SMI et Architecture du microprocesseur Ce cours discute de l impact du design du microprocesseur sur le système entier. Il présente d abord l architecture du cœur ARM Cortex M3. Ensuite, le cours
Plus en détailSystèmes de transmission
Systèmes de transmission Conception d une transmission série FABRE Maxime 2012 Introduction La transmission de données désigne le transport de quelque sorte d'information que ce soit, d'un endroit à un
Plus en détailRéalisation d un OS 32 bits pour PC(x86)
Rapport projet tutoré Réalisation d un OS 32 bits pour PC(x86) Maxime Chéramy Nicolas Floquet Benjamin Hautbois
Plus en détailIV- Comment fonctionne un ordinateur?
1 IV- Comment fonctionne un ordinateur? L ordinateur est une alliance du hardware (le matériel) et du software (les logiciels). Jusqu à présent, nous avons surtout vu l aspect «matériel», avec les interactions
Plus en détailLes techniques de multiplexage
Les techniques de multiplexage 1 Le multiplexage et démultiplexage En effet, à partir du moment où plusieurs utilisateurs se partagent un seul support de transmission, il est nécessaire de définir le principe
Plus en détailCentre CPGE TSI - Safi 2010/2011. Algorithmique et programmation :
Algorithmique et programmation : STRUCTURES DE DONNÉES A. Structure et enregistrement 1) Définition et rôle des structures de données en programmation 1.1) Définition : En informatique, une structure de
Plus en détailManuel de System Monitor
Chris Schlaeger John Tapsell Chris Schlaeger Tobias Koenig Traduction française : Yves Dessertine Traduction française : Philippe Guilbert Traduction française : Robin Guitton Relecture de la documentation
Plus en détailIntroduction à la Programmation Parallèle: MPI
Introduction à la Programmation Parallèle: MPI Frédéric Gava et Gaétan Hains L.A.C.L Laboratoire d Algorithmique, Complexité et Logique Cours du M2 SSI option PSSR Plan 1 Modèle de programmation 2 3 4
Plus en détailKoinKoin. Système d exploitation à architecture basée micro-noyau. Antoine Castaing Nicolas Clermont Damien Laniel
KoinKoin Système d exploitation à architecture basée micro-noyau Antoine Castaing Nicolas Clermont Damien Laniel 30 juillet 2006 Free Documentation License Copyright (c) 2005 Nicolas Clermont / Antoine
Plus en détailA -Systèmes de fichiers 1 - FAT vs NTFS
A -Systèmes de fichiers 1 - FAT vs NTFS -------------------------------------------- PETIT HISTORIQUE WINDOWS Windows 3.1 (considéré comme juste une interface, une sur couche sur DOS) FAT 16 Windows 95
Plus en détailenvironnements SQL Server?
Comment booster les performances de vos environnements SQL Server? performance technology Innovators in Performance and Reliability Technologies Comment booster les performances de vos environnements SQL
Plus en détailConventions d écriture et outils de mise au point
Logiciel de base Première année par alternance Responsable : Christophe Rippert Christophe.Rippert@Grenoble-INP.fr Introduction Conventions d écriture et outils de mise au point On va utiliser dans cette
Plus en détailPROTEGER SA CLE USB AVEC ROHOS MINI-DRIVE
PROTEGER SA CLE USB AVEC ROHOS MINI-DRIVE Protéger sa clé USB avec un système de cryptage par mot de passe peut s avérer très utile si l on veut cacher certaines données sensibles, ou bien rendre ces données
Plus en détailINTRODUCTION AUX SYSTEMES D EXPLOITATION. TD2 Exclusion mutuelle / Sémaphores
INTRODUCTION AUX SYSTEMES D EXPLOITATION TD2 Exclusion mutuelle / Sémaphores Exclusion mutuelle / Sémaphores - 0.1 - S O M M A I R E 1. GENERALITES SUR LES SEMAPHORES... 1 1.1. PRESENTATION... 1 1.2. UN
Plus en détailla virtualisation pour quoi faire?
J. F. DAVID Ingénieur Commercial Agence Paris Industrie de Base et de Transformation 24 Mai 1975 la virtualisation pour quoi faire? "Etre transparent, c'est exister et ne pas se voir. Etre virtuel, c'est
Plus en détailChapitre 3 : Système de gestion de fichiers
: 3.1- Introduction Le système de gestion de fichiers (SGF) est la partie la plus visible d un système d exploitation qui se charge de gérer le stockage et la manipulation de fichiers (sur une unité de
Plus en détailIN SYSTEM. Préconisations techniques pour Sage 100 Windows, MAC/OS, et pour Sage 100 pour SQL Server V16. Objectif :
IN SYSTEM Préconisations techniques pour Sage 100 Windows, MAC/OS, et pour Sage 100 pour SQL V16 Objectif : En synthèse des manuels de référence de Sage Ligne 100, ce document vous présente les préconisations,
Plus en détailTD 1 - Transmission en bande de passe
Claude Duvallet Université du Havre UFR Sciences et Techniques 25 rue Philippe Lebon - BP 540 76058 LE HAVRE CEDEX Claude.Duvallet@gmail.com Claude Duvallet 1/10 Transmission en bande de passe (1/2) Description
Plus en détailCours d initiation à la programmation en C++ Johann Cuenin
Cours d initiation à la programmation en C++ Johann Cuenin 11 octobre 2014 2 Table des matières 1 Introduction 5 2 Bases de la programmation en C++ 7 3 Les types composés 9 3.1 Les tableaux.............................
Plus en détail1.1 L EXPLORATEUR WINDOWS
Gérer les fichiers et les dossiers Cette partie du T.P. a pour objectifs de vous familiariser avec les méthodes pour copier, déplacer, effacer, renommer des dossiers et des fichiers. 1.1 L EXPLORATEUR
Plus en détailLES TYPES DE DONNÉES DU LANGAGE PASCAL
LES TYPES DE DONNÉES DU LANGAGE PASCAL 75 LES TYPES DE DONNÉES DU LANGAGE PASCAL CHAPITRE 4 OBJECTIFS PRÉSENTER LES NOTIONS D ÉTIQUETTE, DE CONS- TANTE ET DE IABLE DANS LE CONTEXTE DU LAN- GAGE PASCAL.
Plus en détailMétriques de performance pour les algorithmes et programmes parallèles
Métriques de performance pour les algorithmes et programmes parallèles 11 18 nov. 2002 Cette section est basée tout d abord sur la référence suivante (manuel suggéré mais non obligatoire) : R. Miller and
Plus en détailMEMOIRES MAGNETIQUES A DISQUES RIGIDES
MEMOIRES MAGNETIQUES A DISQUES RIGIDES PARTIE ELECTRONIQUE Le schéma complet de FP5 est donnée en annexe. Les questions porterons sur la fonction FP5 dont le schéma fonctionnel de degré 2 est présenté
Plus en détailDynamic Host Configuration Protocol
Dynamic Host Configuration Protocol 1 2 problèmes de gestion avec IP La Gestion des adresses IP Les adresses IP doivent être unique Nécessité d une liste d ordinateurs avec leurs adresses IP respectives
Plus en détailGuide pour l Installation des Disques Durs SATA et la Configuration RAID
Guide pour l Installation des Disques Durs SATA et la Configuration RAID 1. Guide pour l Installation des Disques Durs SATA... 2 1.1 Installation de disques durs Série ATA (SATA)... 2 2. Guide de Configurations
Plus en détailRésolution d équations non linéaires
Analyse Numérique Résolution d équations non linéaires Said EL HAJJI et Touria GHEMIRES Université Mohammed V - Agdal. Faculté des Sciences Département de Mathématiques. Laboratoire de Mathématiques, Informatique
Plus en détailInformatique Générale
Informatique Générale Guillaume Hutzler Laboratoire IBISC (Informatique Biologie Intégrative et Systèmes Complexes) guillaume.hutzler@ibisc.univ-evry.fr Cours Dokeos 625 http://www.ens.univ-evry.fr/modx/dokeos.html
Plus en détailGPA770 Microélectronique appliquée Exercices série A
GPA770 Microélectronique appliquée Exercices série A 1. Effectuez les calculs suivants sur des nombres binaires en complément à avec une représentation de 8 bits. Est-ce qu il y a débordement en complément
Plus en détailUFR de Mathématiques et Informatique Année 2009/2010. Réseaux Locaux TP 04 : ICMP, ARP, IP
Université de Strasbourg Licence Pro ARS UFR de Mathématiques et Informatique Année 2009/2010 1 Adressage IP 1.1 Limites du nombre d adresses IP 1.1.1 Adresses de réseaux valides Réseaux Locaux TP 04 :
Plus en détailUniversité du Québec à Chicoutimi. Département d informatique et de mathématique. Plan de cours. Titre : Élément de programmation.
Université du Québec à Chicoutimi Département d informatique et de mathématique Plan de cours Titre : Élément de programmation Sigle : 8inf 119 Session : Automne 2001 Professeur : Patrice Guérin Local
Plus en détailLogiciel de base. Première année ENSIMAG
Logiciel de base Première année ENSIMAG 1 Procédures, paramètres, pile En assembleur une fonction est une étiquette, c'est l'adresse de sa première instruction Lors de l'appel d'une fonction, la pile sert
Plus en détailReprésentation des Nombres
Chapitre 5 Représentation des Nombres 5. Representation des entiers 5.. Principe des représentations en base b Base L entier écrit 344 correspond a 3 mille + 4 cent + dix + 4. Plus généralement a n a n...
Plus en détailSystème de stockage IBM XIV Storage System Description technique
Système de stockage IBM XIV Storage System Description technique Système de stockage IBM XIV Storage System Le stockage réinventé Performance Le système IBM XIV Storage System constitue une solution de
Plus en détailExtrait de Plan de Continuation d'activité Octopuce
v. 2 décembre 2012 Extrait de Plan de Continuation d'activité Octopuce Introduction Octopuce est un hébergeur d'infrastructures web, opérateur Internet indépendant, et fournisseur d'infogérance pour ses
Plus en détailRappels d architecture
Assembleur Rappels d architecture Un ordinateur se compose principalement d un processeur, de mémoire. On y attache ensuite des périphériques, mais ils sont optionnels. données : disque dur, etc entrée
Plus en détailCours de Système : Gestion de Fichiers
Cours de Système : Gestion de Fichiers Bertrand Le cun et Emmanuel Hyon bertrand.le cun{at}u-paris10.fr et Emmanuel.Hyon{at}u-paris10.fr Université Paris Ouest Nanterre 25 octobre 2011 B.L.C. & E.H. (UPO)
Plus en détailVirtualisation logicielle De la machine réelle à la machine virtuelle abstraite
Virtualisation logicielle De la machine réelle à la machine virtuelle abstraite Bertil FOLLIOT et Gaël THOMAS Cette version est une préversion de l article accepté par «Technique de l ingénieur» (Hermes).
Plus en détailWHITE PAPER. Quels avantages la déduplication offre-t-elle aux entreprises? Livre blanc Acronis
Quels avantages la déduplication offre-t-elle aux entreprises? Livre blanc Acronis Copyright Acronis, Inc. 2000 2009 Table des matières Résumé... 3 Qu est-ce que la déduplication?... 4 Déduplication au
Plus en détailEPREUVE OPTIONNELLE d INFORMATIQUE CORRIGE
EPREUVE OPTIONNELLE d INFORMATIQUE CORRIGE QCM Remarque : - A une question correspond au moins 1 réponse juste - Cocher la ou les bonnes réponses Barème : - Une bonne réponse = +1 - Pas de réponse = 0
Plus en détailPrésentation du système DNS
Présentation du système DNS Résolution de noms Configuration des clients DNS Configuration du serveur DNS Configuration des zones DNS La délégation d de zones DNS Les outils d'administration Résolution
Plus en détailOn distingue deux grandes catégories de mémoires : mémoire centrale (appelée également mémoire interne)
Mémoire - espace destiné a recevoir, conserver et restituer des informations à traiter - tout composant électronique capable de stocker temporairement des données On distingue deux grandes catégories de
Plus en détailPrestations de conseil en SRM (Storage Ressource Management)
Prestations de conseil en SRM (Storage Ressource Management) Sommaire 1 BUTS DE LA PRESTATION 2 PRESENTATION DE LA PRESTATION 3 3 3 ETAPE 1 : ELEMENTS TECHNIQUES SUR LESQUELS S APPUIE LA PRESTATION DE
Plus en détailReprésentation d un entier en base b
Représentation d un entier en base b 13 octobre 2012 1 Prérequis Les bases de la programmation en langage sont supposées avoir été travaillées L écriture en base b d un entier est ainsi défini à partir
Plus en détail«Commande» se rapporte à un bon de commande ou à une commande créée sur un site Internet Interoute.
1 DESCRIPTION Le Centre de données virtuel d Interoute permet aux Clients de bénéficier d un ensemble flexible de ressources informatiques dans le «cloud», sans la complexité et les coûts associés à un
Plus en détailCapacité d un canal Second Théorème de Shannon. Théorie de l information 1/34
Capacité d un canal Second Théorème de Shannon Théorie de l information 1/34 Plan du cours 1. Canaux discrets sans mémoire, exemples ; 2. Capacité ; 3. Canaux symétriques ; 4. Codage de canal ; 5. Second
Plus en détailAcquisition des données
Chef De Projet Informatique en Environnement Territorial diffusion restreinte à l'enseignement CDP-UPMC Frédéric Bongat Formation CDP 1 Un système compromis implique: Une méthodologie afin de faire face
Plus en détailINTRODUCTION A L ELECTRONIQUE NUMERIQUE ECHANTILLONNAGE ET QUANTIFICATION I. ARCHITECTURE DE L ELECRONIQUE NUMERIQUE
INTRODUCTION A L ELECTRONIQUE NUMERIQUE ECHANTILLONNAGE ET QUANTIFICATION I. ARCHITECTURE DE L ELECRONIQUE NUMERIQUE Le schéma synoptique ci-dessous décrit les différentes étapes du traitement numérique
Plus en détailLes réseaux cellulaires
Les réseaux cellulaires Introduction Master 2 Professionnel STIC-Informatique Module RMHD 1 Introduction Les réseaux cellulaires sont les réseaux dont l'évolution a probablement été la plus spectaculaire
Plus en détailDHCP et NAT. Cyril Rabat cyril.rabat@univ-reims.fr. Master 2 ASR - Info09115 - Architecture des réseaux d entreprise 2012-2013
DHCP et NAT Cyril Rabat cyril.rabat@univ-reims.fr Master 2 ASR - Info09115 - Architecture des réseaux d entreprise 22-23 Cours n 9 Présentation des protocoles BOOTP et DHCP Présentation du NAT Version
Plus en détailContexte et motivations Les techniques envisagées Evolution des processus Conclusion
Vérification de logiciels par analyse statique Contexte et motivations Les techniques envisagées Evolution des processus Conclusion Contexte et motivations Specification Design architecture Revues and
Plus en détail1 Introduction C+ + Algorithm e. languag. Algorigramm. machine binaire. 1-1 Chaîne de développement. Séance n 4
1 Introduction 1-1 Chaîne de développement Algorithm e C+ + Algorigramm e languag e machine binaire Le programme est écrit à l aide de Multiprog sous forme d algorigramme puis introduit dans le microcontrôleur
Plus en détailGestion répartie de données - 1
Gestion répartie de données - 1 Sacha Krakowiak Université Joseph Fourier Projet Sardes (INRIA et IMAG-LSR) http://sardes.inrialpes.fr/~krakowia Gestion répartie de données Plan de la présentation Introduction
Plus en détailLES SYSTÈMES DE FICHIERS
SECTION M.R.I.M. - L.P. CHATEAU-BLANC 45120 CHALETTE SUR LOING LES SYSTÈMES DE FICHIERS Table des matières : Supports physiques (média) Les fs supportés par MS-Windows Principe de la table d'allocation
Plus en détailSauvegarde collaborative entre pairs Ludovic Courtès LAAS-CNRS
Sauvegarde collaborative entre pairs 1 Sauvegarde collaborative entre pairs Ludovic Courtès LAAS-CNRS Sauvegarde collaborative entre pairs 2 Introduction Pourquoi pair à pair? Utilisation de ressources
Plus en détailCours de Systèmes d Exploitation
Licence d informatique Synchronisation et Communication inter-processus Hafid Bourzoufi Université de Valenciennes - ISTV Introduction Les processus concurrents s exécutant dans le système d exploitation
Plus en détailDNS ( DOMAIN NAME SYSTEM)
DNS ( DOMAIN NAME SYSTEM) Principe de la résolution de Noms Certaines applications nécessitent pour communiquer d utiliser les noms de Machines : Sony alors que d autres utiliseront des noms Internet ou
Plus en détailProgrammation impérative
Programmation impérative Cours 4 : Manipulation des fichiers en C Catalin Dima Organisation des fichiers Qqs caractéristiques des fichiers : Nom (+ extension). Chemin d accès absolu = suite des noms des
Plus en détail