[MLton] Crash fread(...) failed (only read 0) (Cannot allocate memory) during deepFlatten with MLton 20070826

Vesa Karvonen vesa.a.j.k at gmail.com
Wed Apr 30 06:59:40 PDT 2008


On Wed, Apr 30, 2008 at 5:44 PM, Matthew Fluet <fluet at tti-c.org> wrote:
[...]
>  That seems to be the case.  This would actually consume a little more
> memory when using the copying collector, since both the from-heap and the
> to-heap will have card/cross maps allocated within them.  And resizing heaps
> would become a little more complicated, since the size of the card/cross map
> is proportional to the size of the heap.

Is it difficult/impossible to compute the required sizes and allocate
(all) the heap(s) and card/cross map(s) in a single "transaction"
(IOW, try to allocated all of them and if one allocation fails, free
the others and try again with a smaller heap size)?

-Vesa Karvonen



More information about the MLton mailing list