Garbage collector memory leak "feature"?

[Frits van Bommel]

Vladimir Panteleev wrote:
> Actually, while thinking about it, I got a better idea. 
> The compiler knows the exact layout of the stack frame at any point of the function's execution.
> Thus, the compiler could build tables of stack layout bits for various segments of the function (the boundaries of such a segment would be branches and calls). Then, during a GC pass, the GC would look at the instruction pointer of the thread to retrieve the current stack layout for that thread/stack frame.
> This way, there isn't any cost during execution - just during collection.

Ehm, you just described the approach I've been advocating all along...