[Haskell] memory management

2009-08-02 Thread Nathan Ricci
Hello, I'm interested in research relating to memory management in Haskell. I'm at the point where I don't know enough to have very specific questions, but I'm especially interested in garbage collection in Haskell, and any available statistics (such as, how long does a thunk typically l

Re: [Haskell] memory management

2009-08-02 Thread Don Stewart
nricci01: > Hello, > > I'm interested in research relating to memory management in > Haskell. I'm at the point where I don't know enough to have very > specific questions, but I'm especially interested in garbage collection > in Haskell, and any available statistics (such as, how long do

Re: [Haskell] memory management

2009-08-03 Thread Bernie Pope
2009/8/3 Nathan Ricci : > Hello, > >     I'm interested in research relating to memory management in Haskell. I'm > at the point where I don't know enough to have very specific questions, but > I'm especially interested in garbage collection in Haskell, and any > available statistics (such as, how

Re: [Haskell] memory management

2009-08-04 Thread Colin Runciman
Nathan, I'm interested in research relating to memory management in Haskell. I'm at the point where I don't know enough to have very specific questions, but I'm especially interested in garbage collection in Haskell, and any available statistics (such as, how long does a thunk typically

RE: [Haskell] memory management

2009-08-04 Thread Sam Martin
g] On Behalf Of Colin Runciman Sent: 04 August 2009 12:06 To: Nathan Ricci Cc: Haskell@haskell.org Subject: Re: [Haskell] memory management Nathan, > I'm interested in research relating to memory management in > Haskell. I'm at the point where I don't know enoug

Re: [Haskell] memory management

2009-08-04 Thread Gwern Branwen
On Tue, Aug 4, 2009 at 7:30 AM, Sam Martin wrote: I can picture similar situations arising in Haskell where for suitable expressions the compiler could in theory determine that garbage collection would be unnecessary for a lump of temporary data and simply allocate/deallocate when starting/finish

RE: [Haskell] memory management

2009-08-04 Thread Sam Martin
> Sounds like region inference to me. > (https://secure.wikimedia.org/wikipedia/en/wiki/Region_inference) Thanks, yes, that's exactly what I had in mind. Is anything like this is done in GHC? Ta, Sam ___ Haskell mailing list Haskell@haskell.org http

Re: [Haskell] memory management

2009-08-04 Thread Simon Marlow
On 04/08/2009 13:33, Sam Martin wrote: Sounds like region inference to me. (https://secure.wikimedia.org/wikipedia/en/wiki/Region_inference) Thanks, yes, that's exactly what I had in mind. Is anything like this is done in GHC? Not at the moment, no. Bear in mind that with generational GC, a

Re: [Haskell] memory management

2009-08-04 Thread Sigbjorn Finne
Hi, staying in the realm of the explicit and pragmatic, various libraries in Haskell do provide safe&explicit region/alloca/stack allocation actions, e.g., Foreign.Marshal.Alloc.allocaBytes :: Int -> (Ptr a -> IO b) -> IO b with the promise that the pointer doesn't escape here (you could con

Re: [Haskell] memory management

2009-08-04 Thread Sebastian Sylvan
On Tue, Aug 4, 2009 at 2:49 PM, Simon Marlow wrote: > On 04/08/2009 13:33, Sam Martin wrote: > >> Sounds like region inference to me. >>> (https://secure.wikimedia.org/wikipedia/en/wiki/Region_inference) >>> >> >> Thanks, yes, that's exactly what I had in mind. >> >> Is anything like this is don

RE: [Haskell] memory management

2009-08-06 Thread Simon Peyton-Jones
l.org [mailto:haskell-boun...@haskell.org] On | Behalf Of Simon Marlow | Sent: 04 August 2009 14:50 | To: Sam Martin | Cc: Colin Runciman; Haskell@haskell.org | Subject: Re: [Haskell] memory management | | On 04/08/2009 13:33, Sam Martin wrote: | >> Sounds like region inference to me.

RE: [Haskell] memory management

2009-08-06 Thread Simon Peyton-Jones
| In the early to mid '90s we built various heap-profiling tools to | examine the characteristics of heap data in lazy functional programs. | You can find papers describing this work by Googling "heap profiling". | You may be particularly interested in the investigation of "heap lag" | and "heap dr

Re: [Haskell] memory management

2009-08-06 Thread Simon Marlow
On 06/08/2009 08:22, Simon Peyton-Jones wrote: | In the early to mid '90s we built various heap-profiling tools to | examine the characteristics of heap data in lazy functional programs. | You can find papers describing this work by Googling "heap profiling". | You may be particularly interested

RE: [Haskell] memory management

2009-08-06 Thread Sam Martin
rence an attractive option for these situations? Cheers, Sam -Original Message- From: Simon Peyton-Jones [mailto:simo...@microsoft.com] Sent: 06 August 2009 08:23 To: Simon Marlow; Sam Martin Cc: Colin Runciman; Haskell@haskell.org Subject: RE: [Haskell] memory management Also region

Re: [Haskell] memory management

2009-08-06 Thread Edward Kmett
tried it. > > Simon > > | -Original Message- > | From: haskell-boun...@haskell.org [mailto:haskell-boun...@haskell.org] > On > | Behalf Of Simon Marlow > | Sent: 04 August 2009 14:50 > | To: Sam Martin > | Cc: Colin Runciman; Haskell@haskell.org > | Subject:

[Haskell] Memory management job

2010-12-06 Thread Simon Peyton-Jones
Dear Haskellers and Camlers I'm posting this job ad on behalf of Richard Brooksby at Ravenbrook. They do cool stuff, and I thought some of you might be interested. Simon Ravenbrook is seeking a developer to work with us on the Memory Pool System (MPS), a mature, open source, high relia

Re[2]: [Haskell] memory management

2009-08-04 Thread Bulat Ziganshin
Hello Sigbjorn, Tuesday, August 4, 2009, 6:11:09 PM, you wrote: > this using the type system, if you so wish..) I don't know if the GHC > RTS still(?) provides hooks for allocating "alloca" objects specially. it's allocated as usual object, these are cheap anyway as far as it freed before minor