[MLton-devel] GC question

Alain Deutsch deutsch@polyspace.com
Mon, 6 May 2002 12:14:48 +0200 (MET DST)


Stephen,

I was wondering about the GC operation under tight available
memory based on the crash.sml program I sent you earlier: if I
change in this test program the allocation requestion (i
Bigmem.test) from 512Mb to 1Gb then I get an "Out of memory
(forward) ....".

among the log messages, I get:

> [...]
> [Requested 979M cannot be satisfied, backing off by 61M (need
> = 3M).
> [Requested 918M cannot be satisfied, backing off by 61M (need
> = 3M).
> fromSpace size = 1,284,046,848  toSpace size = 898,818,048
> [...]
> Out of memory (forward).
> Diagnostic: probably a RAM problem.

Is it in cases like this that we could benefit from copying to
disk ?

	Alain.

--
Alain Deutsch, CTO              tel.: +33 (0)1 49 65 32 64
PolySpace Technologies          fax.: +33 (0)1 49 65 05 77
mailto:deutsch@POLYSPACE.COM





_______________________________________________________________

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