compiler support added for precise GC

[Walter Bright]

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.