[Mono-dev] RFC: GC precise scanning of stacks

[Miguel de Icaza]

Hello Dick,

> Attached is a proof-of-concept patch to libgc (and a simple
> demonstration program) that I hope will be the start of GC precise stack
> scanning.  The code should apply easily to sgen as well.

Thanks;   This is a nice start, I think there should be a bit more
checking for the markers, something along the lines of having a size
argument and checking that mem [start + size] = end_marker as well, just
for the sake of avoiding false positives, give or take more checks.

The challenge is to make the JIT compiler group all of the managed
object references in a contiguous space and then decorating that block
with this. 

I like the idea myself, it will not be 100% precise, but it will get us
very very close. 

The VM team of course needs to weight in.