Pour en savoir plus
Les techniques sur la récupération mémoire sont étudiées depuis
quarante ans, en fait depuis les premières implantations du langage
Lisp. Il y a donc une très grande littérature dans le domaine. Le
seul ouvrage, en français, de présentation de ces techniques est le
livre Gestion Dynamique de la Mémoire dans les Langages de
Programmation d'Eric Spir ([Spi90]). On pourra aussi lire le
tutoriel de Paul Wilson publié à IWMM92 (International Workshop on
Memory Management) ([Wil92]) qui possède une importante
bibliographie. De très nombreux liens permettent de connaître
l'état de l'art du
domaine.
Lien
ftp://ftp.netcom.com/pub/hb/hbaker/home.html
est une introduction aux GC séquentiels.
Lien
http://www.cs.ukc.ac.uk/people/staff/rej/gc.html
contient la présentation de [Jon98] et donne accès à une
imposante bibliographie.
Lien
http://www.cs.colorado.edu/~zorn/DSA.html
liste les différents outils de mise au point de GC.
Lien
http://reality.sgi.com/boehm_mti/
propose les sources en C d'un GC à racines ambiguës
pour le langage C. Ce dernier remplace l'allocation classique
malloc par une version spécialisée GC_malloc.
La
récupération explicite free est remplacée par une nouvelle
version qui ne fait plus rien.
Lien
http://www.harlequin.com/mm/reference/links.html
maintient une liste de liens sur le domaine.
Le chapitre 12 sur l'interface entre les langages C et
Objective CAML reviendra sur la gestion mémoire.