Typed GC

[Benjamin Thaut]

Am 13.02.2014 02:46, schrieb Shammah Chancellor:
> On 2014-02-12 17:50:24 +0000, thedeemon said:
>
>> On Wednesday, 12 February 2014 at 12:11:04 UTC, Shammah Chancellor wrote:
>>> With all the talk of garbage collection.  I was wondering if it would
>>> be useful to make the GC typed.  If it was typed, it maybe be
>>> possible to make it more efficient via type information, (such as
>>> only scanning reference fields).   Also, it could have access to
>>> attribute information if applicable.
>>>
>>> -S.
>>
>> This is how "almost precise" GC used in VisualD works. Type
>> information is used to mark all pointers in most heap objects, but
>> objects on stack and closures are still scanned conservatively, IIRC.
>> Unfortunately this GC is not included in the  main D distribution,
>> probably because it's considered to not be tested well enough.
>
> How's that work?  The gc interface right now in core.memory is not
> templated.
>
> -S.
>

It is using object.RTInfo