Imaginons un langage avec un garbage collector (style ocaml) et un programme de porc du style :
{
variables_globales_d_init qui font 50 Mo ;
variables_pour_la_suite qui font 50 Mo ;
mon code d'init qui utilise les variables d'init ;
mon code pour la suite qui utilise plus les variables d'init ;
}
Je me dis que les variables utilisées pour l'init vont jamais être libérées, à moins que le compilateur ait fait une analyse statique du code pour voir à (…)
Journal L'allocation mémoire et les langages fonctionnels
3
mar.
2004