[MLton-devel] GC problem

[Henry Cejtin]

You  are  right  in  terms of never paging out under Linux, but if you aren't
doing any I/O, just paging stuff out  can  be  relatively  (only  relatively)
cheap.  It isn't as bad as actually paging things out and other things in.




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