[MLton-devel] D2 problem

[Stephen Weeks]

> My understanding is that the mark-compact GC will significantly
> improve the situation.

Yes.

> Though even then I understand MLTON will only be able to work with a
> live set of slightly less than 1G (1.1G minus some free space).

Yes.

> 1) wrapping up D2 with your last fix. At this point we attempt to
> complete the port of our products. We will be limited to smaller
> runs.

OK.  Can you build from the source tree obtained via anonymous CVS, or
would you like me to package up rpms?

> An idea: when failing to allocate toSpace, copy live data living
> in fromSpace to disk, then deallocate fromSpace and read in the
> disk file. Given the sequential (two pass) nature of the accesses
> to toSpace, the performance may be bad but tolerable. After all
> this amount to paging, the only difference being that this is
> under our control. In that case I expect much better behaviour
> than with a paging MM.

An excellent idea.  I could try that if the attempt (lines 1742-82 of
gc.c) to compact fromspace in memory and then allocate tospace fails.

_______________________________________________
MLton-devel mailing list
MLton-devel@lists.sourceforge.net
https://lists.sourceforge.net/lists/listinfo/mlton-devel