[m-rev.] structure flattening

Michael Day mikeday at yeslogic.com
Mon May 2 18:27:42 AEST 2011

Hi Zoltan,

> The effort should be no more than a week, but I share your doubt.
> Does Michael have a convincing application?

Memory savings; we are pushing as hard as we can to cut memory usage, 
and this has involved manually flattening many structures.

In some cases flattening structures manually can lead to inconvenient 
code, and having to keep track of compiler limitations like this can 
make it more difficult to focus on the algorithms.

I can confirm the gains are real, as we are using Peter's updated 
memprof grade to measure the heap usage :)

By the way, if Boehm GC rounds up 1 word blocks to 2 word blocks, does 
this mean that the indirection for wrapper types like this would be even 
more costly? Or is only one word allocated in this instance?

Best regards,


Print XML with Prince!
mercury-reviews mailing list
Post messages to:       mercury-reviews at csse.unimelb.edu.au
Administrative Queries: owner-mercury-reviews at csse.unimelb.edu.au
Subscriptions:          mercury-reviews-request at csse.unimelb.edu.au

More information about the reviews mailing list