[MLton-devel] GC problem

Stephen Weeks MLton@mlton.org
Wed, 14 Aug 2002 11:49:23 -0700


> I  think that the point of the comment on only parts of fromSpace being paged
> in is that if VM pages had a size of 1 byte (the optimal case),  then  during
> the  copy  phase of a stop-and-copy GC you only need 2*live worth of RAM.

I disagree.  All of from space is in RAM because allocation linearly
scans through the entire from space.  Once you start doing the copy,
as soon as the amount copied + from space size is greater than RAM
size, you will have to page out some of from space, even though it may
be dead.

Your argument only makes sense if we could somehow tell the VM what
the dead parts of from space are.  But we can't do that because we
don't even know what's dead until we do the GC.


-------------------------------------------------------
This sf.net email is sponsored by: Dice - The leading online job board
for high-tech professionals. Search and apply for tech jobs today!
http://seeker.dice.com/seeker.epl?rel_code=31
_______________________________________________
MLton-devel mailing list
MLton-devel@lists.sourceforge.net
https://lists.sourceforge.net/lists/listinfo/mlton-devel