Norman RAM problem

[Henry Cejtin]

I  looked at the output of Norman running MLton, and everything looks fine to
me.  The max semi-space size is 225,017,856 and 85% of 512 megabytes  over  2
is  228,170,138 bytes.  I guess that he said he was just seeing swapping, but
that just means that other processes were fighting for the RAM (or else Linux
isn't  swapping  enough  out).  I did some experiments on my machine (.5 gig,
Kernel 2.4.2) running through huge chunks of memory and seeing when I  seemed
to  start to swap.  This was X and Netscape running, but not doing much other
than in a few X-terms.  I didn't see any problems.