Componentizing D's garbage collector

[deadalnix]

On Monday, 13 January 2014 at 09:20:16 UTC, Rainer Schuetze wrote:
> Maybe I'm too pessimistic ;-) I guess moving in general could 
> be ok, I was thinking about segregating heaps by type 
> (shared/immutable/mutable) and moving data between them adds 
> restrictions. I'd like to be proven wrong.
>

I had some similar reflection. I'm not sure moving is worthwhile
for D. Segeregation is.

> To compete with other GCs we'd probably need write barriers to 
> keep track of changed references (for concurrent operation or 
> generations). There just needs to be a way to avoid having to 
> rescan the full heap every time, it does not scale.
>

Barrier are only necessary for mutable shared reference write.