compiler support added for precise GC

[deadalnix]

Le 16/04/2012 18:37, Walter Bright a écrit :
> On 4/16/2012 4:32 AM, deadalnix wrote:
>> Le 16/04/2012 11:25, Walter Bright a écrit :
>>> On 4/16/2012 2:05 AM, deadalnix wrote:
>>>> Having this template into object.d seems problematic to me. It is now
>>>> quite hard
>>>> to provide any custom GC implementation without messing with Druntime.
>>>>
>>>> Providing a user created GC should be as easy as possible.
>>>
>>> It's never going to be easy for anyone to just write their own GC,
>>> especially one that works better than one a lot of people have spent a
>>> lot of time on.
>>>
>>
>> I don't think this is easy. But Different GC have different impact on the
>> program. For instance, oracle's JVM provide you 4 different GC, that
>> you can
>> choose with different configuration parameters.
>
> Those are not user created GCs.
>
>
>> That is exactly what I meant. Metadata about the block shouldn't be
>> stored
>> anywhere near the block, because it will behave horribly wrong when
>> swap come
>> into play. Metadata must be read and written when GC does its job, but
>> the block
>> itself doesn't require it.
>
> I think the point is that it is not up to the compiler how this is done,
> but to the GC implementer.
>

The point was that putting this into object.d isn't, IMO, the best 
option to provide such a mecanism.