Résumé
Ce chapitre a présenté les principales familles d'algorithmes de
récupération automatique de mémoire dans le but de détailler celui
utilisé en Objective CAML. Le GC d'Objective CAML est un GC à deux générations,
incrémentiel, qui utilise un Mark&Sweep pour la génération
ancienne et un Stop&Copy pour la jeune génération. Deux
modules en liaison directe avec le GC
permettent de contrôler l'évolution du tas. Le module Gc
permet d'analyser le comportement du GC et de modifier certains
paramètres dans le but de l'optimiser pour des applications
spécifiques. Avec le module Weak on peut conserver dans des
tableaux des valeurs potentiellement récupérables, mais qui sont
encore accessibles. Il est utile pour l'implantation d'un cache mémoire.