Re: Bug#509803: Fails to properly free memory on exit
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
Reply to: