Componentizing D's garbage collector

[Benjamin Thaut]

Am 14.01.2014 11:05, schrieb Walter Bright:
> On 1/14/2014 1:18 AM, Benjamin Thaut wrote:
>> Current D does not allow a moving collector because of the lack of
>> compiler
>> support. It is still not possible to identify all pointers percicesly,
>> especially those on the stack. Also when you want to implement a
>> semi-space GC
>> everything _must_ be moveable. Pinning is not an option for a
>> semi-space GC.
>> There for current D does not allow the implementation of semi-space GC
>> without
>> some changes to the spec. (E.g. structs / classes containing unions
>> _must_
>> provide a custom scanning function).
>
>
> This is not true, I've implemented one for Java.

So how do you implement a semi-space GC with pinned objects?