17 | | - 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. |
18 | | - Les allocateurs dynamiques utilisent l'espace libre de ces segments `data`. |
19 | | - L'application a 2 besoins distincts d'allocation dynamiques : |
20 | | 1. l'allocation de variables dynamiques, |
21 | | 1. l'allocation de piles pour les threads. |
22 | | - Les différences entre ces deux types de types d'allocation sont les suivantes : |
23 | | - 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). |
24 | | - 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). |
| 18 | - 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. |
| 19 | - Les allocateurs dynamiques utilisent l'espace libre de ces segments `data`. |
| 20 | - L'application a 2 besoins distincts d'allocation dynamiques : |
| 21 | 1. l'allocation de variables dynamiques, |
| 22 | 1. l'allocation de piles pour les threads. |
| 23 | - Les différences entre ces deux types de types d'allocation sont les suivantes : |
| 24 | - 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). |
| 25 | - 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). |
| 26 | |
26 | | - 1 allocateur de piles utilisateurs pour les threads |
27 | | - 1 allocateur de variables dynamiques pour l'application |
28 | | - 1 allocateur de variables dynamiques pour le noyau |
29 | | - L'allocateur de piles utilisateur et l'allocateur de variables doivent partager la zone libre laissée dans la section `.data`. L'allocateur de pile utilise la partie haute de la section `.data` et l'allocateur de variable utilise la partie basse. |
30 | | - L'allocateur de pile pour les threads |
| 28 | - un allocateur de piles utilisateurs pour les threads |
| 29 | - un allocateur de variables dynamiques pour l'application |
| 30 | - un allocateur de variables dynamiques pour le noyau |
| 31 | - L'allocateur de piles utilisateur et l'allocateur de variables doivent partager la zone libre laissée dans la section `.data`. L'allocateur de pile utilise la partie haute de la section `.data` et l'allocateur de variable utilise la partie basse. |
| 32 | |
| 33 | - L'allocateur de piles pour les threads |
| 58 | |
| 59 | - L'allocateur de variables dynamiques pour le noyau |
| 60 | - 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. |
| 61 | - 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. |
| 62 | - Le noyau doit pouvoir allouer et libérer ses objets très rapidement. |
| 63 | - L'allocateur d'objets gère des listes d'objets libres de même taille. |
| 64 | - Pour allouer un objet, l'allocateur se contente de prendre le premier objet libre dans la liste des objets libres de la bonne taille. |
| 65 | - 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. |
| 66 | - Au départ, toutes les listes sont vides. |
| 67 | |