More precise GC

[bearophile]

Robert Jacques:

> This would require structs/arrays/etc to contain a header with a vtable,  
> so the GC could know what to do.

Do you mean a vtable pointer? Can you explain me why this is necessary?


> remember, the GC allocates on  
> 16-byte boundaries so each Node* actually has 4-bits (8 total) in which to  
> hide an enum.

They can't be used, the D specs say that pointers to memory managed by the GC can't be used to store flags (so I too was wrong in an answer to another person), probably because they are used by the garbage to color the graph in two or three colors.

Bye,
bearophile