[Mono-devel-list] Garbage Collection problem

[Michal Moskal]

On Wed, Oct 01, 2003 at 02:23:13PM -0500, Marcus wrote:
> Just because a GC in conservative does not mean that it cannot compact the 
> heap. In fact, the Modula-3 garbage collector is conservative (and runs in 
> incremental mode by default on many platforms), yet it is able to compact the 
> heap. The Modula-3 collector is based on Barlett's work:
> 
> http://www.research.compaq.com/wrl/techreports/abstracts/88.2.html

Ah, the point is that it is conservative only with respect to stack and
registers. It is not conservative for allocated objects -- i.e. it has
to know where pointers lie in allocated objects. This perhaps could be
also done by mono (it already uses typed allocation technique supplied
by Boehm collector).

Thanks for an interesting link.

-- 
: Michal Moskal :: http://www.kernel.pl/~malekith : GCS {C,UL}++++$ a? !tv
: When in doubt, use brute force. -- Ken Thompson : {E-,w}-- {b++,e}>+++ h