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.
