[MLton-devel] GC problem

[Henry Cejtin]

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.  At
that point you unmap the old fromSpace.  Of course VM pages are  much  larger
than  1  byte  so  you  have  some problem with granularity.  In the old days
Linux's VM was pretty bad under  load  large  enough  to  make  it  swap  and
although  it has gotten much better, it isn't clear if this is the way to go.


-------------------------------------------------------
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