[MLton-devel] GC question

[Stephen Weeks]

> I don't understand this.  Isn't the idea of the disk file to copy the live
> data from from space (the only space in this situation) to the disk and to
> then use that space as to space?

Maybe I misunderstood Alain's suggestion, but what I implemented does
not do this.  It only writes the live data after a compaction, i.e. a
successful GC.  I don't see how it does any good to write out an
uncompacted semispace.

_______________________________________________________________

Have big pipes? SourceForge.net is looking for download mirrors. We supply
the hardware. You get the recognition. Email Us: bandwidth@sourceforge.net
_______________________________________________
MLton-devel mailing list
MLton-devel@lists.sourceforge.net
https://lists.sourceforge.net/lists/listinfo/mlton-devel