Componentizing D's garbage collector

[Dmitry Olshansky]

13-Jan-2014 22:44, "Ola Fosheim Grøstad" 
<ola.fosheim.grostad+dlang at gmail.com>" пишет:
> On Monday, 13 January 2014 at 17:56:12 UTC, Dmitry Olshansky wrote:
>> Precisely. Since C space has no type information you have to
>> conservatively assume that everything can be a pointer.
>
> I think we are misunderstanding each other? I don't think a Boehm style
> GC can do compaction, since you cannot modify the "pointer", hence you
> have to "pin down" the object it possibly points to (to prevent it from
> moving)?

So what? It can't move it and as such there is nothing special about it, 
it doesn't _cost_ anything to pin object.

-- 
Dmitry Olshansky