[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

RE: [Haskell] memory management

2009-08-06 Thread Simon Peyton-Jones
[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. | (https

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 drag

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
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 inference is likely to be much

Re: [Haskell] memory management

2009-08-06 Thread Edward Kmett
| -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: Re: [Haskell] memory management | | On 04/08/2009 13:33, Sam

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
] 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 enough to have very specific questions

Re: [Haskell] memory management

2009-08-04 Thread Gwern Branwen
On Tue, Aug 4, 2009 at 7:30 AM, Sam Martinsam.mar...@geomerics.com 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

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

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,

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 safeexplicit 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

Re: [Haskell] memory management

2009-08-04 Thread Sebastian Sylvan
On Tue, Aug 4, 2009 at 2:49 PM, Simon Marlow marlo...@gmail.com 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

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 GC

Re: [Haskell] memory management

2009-08-03 Thread Bernie Pope
2009/8/3 Nathan Ricci nricc...@eecs.tufts.edu: 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

[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

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 does a