x86 update

Matthew Fluet fluet@CS.Cornell.EDU
Mon, 8 Jan 2001 20:04:13 -0500 (EST)


> My next message has attached a copy of the whole src directory.  This is my
> current working snapshot, which has changed since the snapshot I just sent.  In
> particular, lib/mlton has changed, and I have switched to the new codegen.

I got that to produce a G0 mlton, after inserting a number of
Property.initFun and Property.initRec (I think the same effect could have
been acheived by exporting the  type ('sym, 'val) init  declaration from
property.fun to property.sig, but I'm sure you've dealt with that).

The new closure convert phase is eating up my memory:

[fluet@lennon fluet]$ cat /proc/meminfo 
        total:    used:    free:  shared: buffers:  cached:
Mem:  200900608 34717696 166182912        0   770048 15503360
Swap: 255459328 20951040 234508288

and the log file for the G0 mlton doing a self-compile ends with

   closure convert starting
      original size is ~1 bytes
      after flow analysis size is ~1 bytes
      free variables starting
      free variables finished in 10.850
      after lambda free size is ~1 bytes
      globalize starting
      globalize finished in 6.250
      after globalize size is ~1 bytes
/home/fluet/smlnj/smlnj/bin/sml: Error -- unable to map 214892544 bytes, 
errno = 12
/home/fluet/smlnj/smlnj/bin/sml: Error -- unable to allocate to-space for
generation 5; trying smaller size
/home/fluet/smlnj/smlnj/bin/sml: Error -- unable to map 434438144 bytes,
errno = 12
/home/fluet/smlnj/smlnj/bin/sml: Error -- unable to allocate to-space for
generation 5; trying smaller size
/home/fluet/smlnj/smlnj/bin/sml: Error -- unable to map 435093504 bytes,
errno = 12
/home/fluet/smlnj/smlnj/bin/sml: Error -- unable to allocate to-space for
generation 5; trying smaller size
/home/fluet/smlnj/smlnj/bin/sml: Error -- unable to map 435814400 bytes,
errno = 12
/home/fluet/smlnj/smlnj/bin/sml: Error -- unable to allocate to-space for
generation 5; trying smaller size
/home/fluet/smlnj/smlnj/bin/sml: Error -- unable to map 436469760 bytes,
errno = 12
/home/fluet/smlnj/smlnj/bin/sml: Error -- unable to allocate to-space for
generation 5; trying smaller size
/home/fluet/smlnj/smlnj/bin/sml: Error -- unable to map 437190656 bytes,
errno = 12
/home/fluet/smlnj/smlnj/bin/sml: Error -- unable to allocate to-space for
generation 5; trying smaller size
/home/fluet/smlnj/smlnj/bin/sml: Error -- unable to map 193003520 bytes,
errno = 12
/home/fluet/smlnj/smlnj/bin/sml: Fatal error -- unable to allocate minimum
size

Command exited with non-zero status 1
700.50user 297.88system 42:33.40elapsed 39%CPU (0avgtext+0avgdata
0maxresident)k
0inputs+0outputs (588675major+1660010minor)pagefaults 468127swaps