Changes between Version 14 and Version 15 of AS6-TME-B6

Timestamp:

Mar 26, 2022, 2:41:34 PM (2 years ago)

Author:

franck

Comment:

--

AS6-TME-B6

@@ -9 +9 @@
 
 - kO6 propose l'API `list` permettant de gérer les listes chaînées 
-  - Cet API est définie dans le fichier `common/list.h` utilisable par le noyau et par l'application.
-  - L'API `list` chaîne des éléments de liste de type `list_t`, structure composée d'un double pointeurs pointant vers d'autres structures `list_t`.
-  - Les éléments de liste sont embarqués dans des structures porteuses. Ce sont les éléments de liste qui sont chaînés, mais l'API `list` permet de retrouver le pointeur sur la structure porteuse.
-  - L'API `list` permet l'ajout et l'extraction d'élément de liste au début, au milieu ou à la fin d'une liste. Elle permet aussi l'ajout d'élément en utilisant une relation d'ordre pour obtenir des listes triées.
-  - L'API `list` permet le parcours de tous les éléments d'une liste.
+  - Cette API est définie dans le fichier `common/list.h` utilisable par le noyau et par l'application.
+  - L'API `list` chaîne des éléments de liste de type `list_t`, structure composée d'un double pointeur pointant vers d'autres structures `list_t`.
+  - Les éléments de liste sont embarqués dans des structures porteuses. Ce sont les éléments de liste qui sont chaînés, mais l'API `list` permets de retrouver le pointeur sur la structure porteuse.
+  - L'API `list` permets l'ajout et l'extraction d'éléments de liste au début, au milieu ou à la fin d'une liste. Elle permet aussi l'ajout d'élément en utilisant une relation d'ordre pour obtenir des listes triées.
+  - L'API `list` permets le parcours de tous les éléments d'une liste.
 
 - Le code user de l'application (on dira juste application dans la suite) et le noyau ont besoin d'allouer dynamiquement de la mémoire. 
-  - L'application et le noyau disposent chacun d'un segment d'adresse propre, nommés respectivement `.data` et `.kdata`, pour leurs données. Ces segments ont été partiellement remplis par des variables globales du programme au moment de son chargement en mémoire.
+  - L'application et le noyau disposent chacun d'un segment d'adresse propre, nommé respectivement `.data` et `.kdata`, pour leurs données. Ces segments ont été partiellement remplis par des variables globales du programme au moment de son chargement en mémoire.
   - Les allocateurs dynamiques utilisent l'espace libre de ces segments `data`.
   - L'application a 2 besoins distincts d'allocation dynamiques : 
@@ -23 +23 @@
   - Les différences entre ces deux types de types d'allocation sont les suivantes :
     - D'un côté, les variables dynamiques sont allouées par l'application en fonction de ses besoins. La taille des variables est quelconque, allant de quelques octets à plusieurs mégaoctets (tant que c'est possible dans la mémoire disponible).
-    - D'un autre côté, les piles des threads sont certes dans l'espace utilisateur, mais elles sont allouées par le noyau au moment de la création des threads. Leur taille est standard et fixe (dans un vrai système, on peut les choisir leur taille, mais pas pour kO6).
+    - D'un autre côté, les piles des threads sont certes dans l'espace utilisateur, mais elles sont allouées par le noyau au moment de la création des threads. Leur taille est standard et fixe (dans un vrai système, on peut choisir leur taille, mais pas pour kO6).
 
 - Nous avons donc 3 allocateurs dans kO6 :
@@ -39 +39 @@
 
 - L'allocateur de variables dynamiques pour l'application
-  - Cet allocateur dispose d'un segment d'adresse nommé `heap` placé en bas de la section `.data`, juste après les variables globales, aligné sur les lignes de caches.
+  - Cet allocateur dispose d'un segment d'adresse nommé `heap` placé en bas de la section `.data`, juste après les variables globales, alignées sur les lignes de caches.
   - l'adresse limite du `heap` est nommée `heap_end`
   - L'allocateur gère des blocs (il fallait bien donner un nom...)
@@ -51 +51 @@
     - Si la place restante est plus petite qu'une ligne de cache, alors l'ensemble du bloc est marqué comme `plein`.
     - Sinon, le bloc est scindé en deux blocs, le premier `plein` et le second `vide`.
-    - Si l'allocateur ne trouve pas de bloc assez grand, alors il parcours l'ensemble des blocs et si deux blocs voisins sont libres, il les réunit, puis il retente l'allocation. S'il échoue encore, il sort avec NULL.
+    - Si l'allocateur ne trouve pas de bloc assez grand, alors il parcourt l'ensemble des blocs et si deux blocs voisins sont libres, il les réunit, puis il retente l'allocation. S'il échoue encore, il sort avec NULL.
     - Quand l'allocateur a trouvé un bloc, il rend un pointeur dessus.
   - `void free(void *)` 
     - La fonction vérifie que l'adresse en argument a bien été allouée par `malloc()`.
-    - Elle marque le bloc pointée comme `vide`.
+    - Elle marque le bloc pointé comme `vide`.
 
 - L'allocateur de variables dynamiques pour le noyau
   - Le noyau alloue des structures ou des tables pour rendre ses services, pour les threads, les devices drivers, les ressources de synchronisation, le système de fichiers, etc. 
-  - Nous appelons ces structures et ces tables des objets (pour leur donner un nom différent de block), les objets ont un nombre entier de lignes de cache.
+  - Nous appelons ces structures et ces tables des objets (pour leur donner un nom différent de bloc), les objets ont un nombre entier de lignes de cache.
   - Le noyau doit pouvoir allouer et libérer ses objets très rapidement.
   - L'allocateur d'objets gère des listes d'objets libres de même taille.
   - Pour allouer un objet, l'allocateur se contente de prendre le premier objet libre dans la liste des objets libres de la bonne taille.
   - Pour libérer un objet, l'allocateur se contente de remettre l'objet au début de la liste des objets libres de la bonne taille.
-  - Au départ, toutes les listes sont vides.
-
-  
-
-
-
-(pas fini)
+  - Au départ, toutes les listes sont vides. Lorsqu'une demande d'allocation est faite pour une certaine taille, l'allocateur va allouer une dalle (slab en anglais) de 4kO, il découpe la dalle avec autant d'objets de la taille demandée que possible et il chaine ces objets pour former une liste d'objets libres. Il alloue alors le premier objet.
+  - Lors de la libération d'un objet, il peut s'avérer que tous les objets d'une dalle X sont libres. Dans ce cas, l'allocateur retire de la liste d'objets libres tous les objets appartenant à la dalle X et il rend cette dalle à la liste des dalles libres.
+