Plan du chapitre
Ce chapitre présente l'allocation dynamique de mémoire et les
algorithmes de récupération automatique, en
particulier celui d'Objective CAML qui est une combinaison des différents
algorithmes présentés. La première section rappelle les différentes
classes de mémoire et leurs caractéristiques. La deuxième section
décrit l'allocation mémoire dans les programmes et compare les
récupérations implicites et explicites. La troisième section présente
les principaux algorithmes de récupération automatique de mémoire. La
quatrième section détaille celui d'Objective CAML. La cinquième section
utilise le module Gc pour le contrôle du tas. La sixième
section montre l'intérêt des pointeurs faibles du module
Weak pour la création de caches mémoire.