Re: Bug#509803: Fails to properly free memory on exit

[Romain Beauxis <toots@rastageeks.org>]

Le Sunday 28 December 2008 14:09:18 Goswin von Brederlow, vous avez écrit :
> > - need to change OCaml to make _finalizer mandatory at the end of the
> >   process.
>
> Seems like a pretty trivial change. A simple "at_exit GC.full_major"
> does the trick unless a global variable is used already. Running a
> full GC run after the global variables are deregistered from the root
> set should not be so hard. Or rather at the very end do a full GC run
> without root set. Or a trimmed down GC run that just calls _finalize
> on all custom blocks.

Hummm... Two obvious remarks then:
 * Why don't you implement Gc.full_major () at the exit of your application ?
 * If this is so simple, there must be a reason why upstream didn't do it.

All in all, this debate better take place in upstream's bug report, I 
believe..


Romain