Changes between Version 2 and Version 3 of MemoryAllocation
- Timestamp:
- May 31, 2010, 7:28:03 PM (14 years ago)
Legend:
- Unmodified
- Added
- Removed
- Modified
-
MemoryAllocation
v2 v3 8 8 Pour enlever toutes ambiguïtés, une liste de définition de mot technique est données. 9 9 10 Allocateur mémoire: On appel allocateur mémoire l'additions de deux éléments. D'une part le code executé lors d'un appel à une fonction du type malloc. Et d'autre part l'ensemble des structures de données représentant une zones mémoire allouables.10 '''Allocateur mémoire''': On appel allocateur mémoire l'additions de deux éléments. D'une part le code executé lors d'un appel à une fonction du type malloc. Et d'autre part l'ensemble des structures de données représentant une zones mémoire allouables. 11 11 12 Utilisateur: L'utilisateur est le code/programe qui demande de la mémoire. Par exemple, un driver qui fait une demande de mémoire au service d'allocation mémoire est l'utilisateur de ce service.12 '''Utilisateur''': L'utilisateur est le code/programe qui demande de la mémoire. Par exemple, un driver qui fait une demande de mémoire au service d'allocation mémoire est l'utilisateur de ce service. 13 13 14 Demande de mémoire: Correspond à l'appel d'une fonction du type malloc (la fonction ne s'appel pas forcément malloc).14 '''Demande de mémoire''': Correspond à l'appel d'une fonction du type malloc (la fonction ne s'appel pas forcément malloc). 15 15 16 Libération de mémoire: Correspond à l'appel d'une fonction du type free (la fonction ne s'appel pas forcément free).16 '''Libération de mémoire''': Correspond à l'appel d'une fonction du type free (la fonction ne s'appel pas forcément free). 17 17 18 18 == Kernel land/User land == … … 43 43 ''Schéma Passage bloc libre->occupé, avec deux cas (pas scindé et scindé)'' 44 44 45 La technique utilisé par l'allocateur mémoire pour trouver un bloc libre est maintenant détaillé. 45 46 La technique utilisé par l'allocateur mémoire pour trouver un bloc libre est maintenant détaillé. 47 MutekH possède deux algorithmes différents pour l'allocateur mémoire.[[BR]] 48 49 L'allocateur "simple", dont le but est d'être très léger au niveau du code de l'allocateur. Comme son nom l'indique, cet allocateur est simple. L'opération de libération n'est pas disponible. Il doit être utilisé dans le cas d'une application demandant de la mémoire, mais n'en libérant jamais ou que très rarement. 50 Il s'appuie sur le mécanisme suivant: seul le dernier bloc mémoire est libre. A chaque nouvelle demande de mémoire, ce bloc est scindé en deux: le premier bloc est utilisé pour l'utilisateur, et le second bloc devient le dernier bloc libre. 51 52 L'allocateur "smart", devant répondre à des utilisations plus variées. 53 Le paragraphe détaille les aspect techniques de l'allocateur smart. 54 55 == Smart Allocator == 56 57 L'allocateur "smart" s'appuie sur deux listes doublement chainées par région. Une liste (block_list) contenant l'ensemble des blocs de la region et une liste contenant l'ensemble des blocs libres (free_list). 58 59 Pour une liste, un bloc représente un maillon, et le header de ce bloc contient un pointeur vers l'élément suivant et un pointeur vers l'élément précédent. 60 Un bloc appartient toujours à la liste block_list, et peut aussi, en même temps, appartenir à la liste free_list. Le header de ce block doit donc pouvoir contenir l'ensemble des pointeurs pour ces deux listes, soit 4 pointeurs. 61 Si un bloc est libre, alors les 4 pointeurs sont utilisés. Dans le cas contraire, il ne fait pas parti de la liste free_list, et les deux pointeurs correspondants à cette liste sont utilisables autrement que comme pointeur. Ceci dans un but d'économie de mémoire. 62 63 Un des deux pointeurs est utilisé comme un indicateur d'état. Cet indicateur est à 0 dans le cas où le bloc est occupé. Si cet indicateur n'est pas à 0, alors il s'agit d'une pointeur de la liste free_list. 64 65 Le second pointeur est utilisé comme un pointeur vers la structure de données décrivant la région. 46 66 47 67 … … 70 90 }}} 71 91 92 Aspect multi zone d'une région: 93 Une région n'est pas un bloc contigu. Elle peut être constitué de plusieurs morceaux. Chaque morceau est terminé par un bloc dont la partie "données" est vide, autrement constitué du header seul. Ce bloc est dans l'état occupé et ne fait pas partie de la région. L'indicateur d'état est à 0, et le pointeur vers la structure de données décrivant la région est aussi à 0. 72 94 73 95 … … 84 106 85 107 108 == Debug tools == 109 110 -CRC 111 112 -Guard Zone 113 114 -Scramble 115 116 -MemChecker 117 86 118 == Todo == 87 119
