[gmueckl]

I think that only scanning the stack conservatively should not change much from a completely precise GC. The chances of misidentifying a potential reference to an enormous data structure that is collectable are pretty slim in a memory region as small as a typical stack.

Scanning the entire heap is different because of its generally much bigger size. It's far more likely then to see references where there are none.