Frabjous Day: Jhc now has the beginnings of region support for stack allocations
My most recent patch enables a feature that has been a long time coming, it performs an analysis that allows it to allocate and free memory on the stack, It is extremely basic as the moment as I want to test it in stages, some tests seem to not be affected much, others show some dramatic benefits, mandelbrot used 50% less memory and was 30% faster for instance. it is currently just a simple fixpoint calculation, though a type inference based version will perform better. John -- John Meacham - ⑆repetae.net⑆john⑈ - http://notanumber.net/
On Sat, Sep 5, 2009 at 6:10 PM, John Meacham<john@repetae.net> wrote:
it is currently just a simple fixpoint calculation, though a type inference based version will perform better.
Ahem. Down this path lies linear regions and alias calculi. :) -- Taral <taralx@gmail.com> "Please let me know if there's any further trouble I can give you." -- Unknown
On Sat, Sep 05, 2009 at 06:16:53PM -0700, Taral wrote:
On Sat, Sep 5, 2009 at 6:10 PM, John Meacham<john@repetae.net> wrote:
it is currently just a simple fixpoint calculation, though a type inference based version will perform better.
Ahem. Down this path lies linear regions and alias calculi. :)
Actually, a linear type system was going to be my next addition, not only to avoid updates, but to free memory in producer-consumer style code. Do you have any good references on this? I have read a lot of different papers, but have not decided which flavor to implement yet. John -- John Meacham - ⑆repetae.net⑆john⑈ - http://notanumber.net/
On Sat, Sep 5, 2009 at 6:38 PM, John Meacham<john@repetae.net> wrote:
Actually, a linear type system was going to be my next addition, not only to avoid updates, but to free memory in producer-consumer style code. Do you have any good references on this? I have read a lot of different papers, but have not decided which flavor to implement yet.
http://lambda-the-ultimate.org/node/3581 is my favorite intro of the state of the art as of 2007. There's not a huge amount of progress since... -- Taral <taralx@gmail.com> "Please let me know if there's any further trouble I can give you." -- Unknown
participants (2)
-
John Meacham -
Taral