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