Precise garbage collection

[Leandro Lucarella]

Borneq, el 16 de agosto a las 07:53 me escribiste:
> Conservative garbage collection causes memory leaks. In D is added:
> http://d.puremagic.com/issues/show_bug.cgi?id=3463
> This is semi precise - only the heap have type information. What
> type information has fully precise? Semi precise causes memory
> leaks?

Unfortunately full preciseness is not possible in D, due to unions
mostly. Having a precise stack would be very hard (and probably costly,
so not very suitable for D) but having a precise static data (and a more
accurate one) maybe is possible, see bug 4650:
http://d.puremagic.com/issues/show_bug.cgi?id=4650

Memory leaks will always be possible in D, but I think if the stack is
the only part that should be scanned in conservative mode, they can
greatly be reduced.

> This above patch is applied in official version D ?

Not yet, vote up! =)

-- 
Leandro Lucarella (AKA luca)                     http://llucax.com.ar/
----------------------------------------------------------------------
GPG Key: 5F5A8D05 (F8CD F9A7 BF00 5431 4145  104C 949E BFB6 5F5A 8D05)
----------------------------------------------------------------------
Demasiado lento para una estrella fugaz
Demasiado limpio para lo que vos acostumbras
Demasiado claro para tanta oscuridad
Demasiados sueños, poca realidad