debugging memory leaks

debugging memory leaks

[Chris Waterson]

I have a fairly substantial OCaml application that leaks memory.   
What tools or techniques do people use to track down memory leaks?   
Minimally, is there a way to enumerate the live objects in the heap?

I've tried "valgrind" on a natively-compiled executable, but all the  
"real" allocations are hidden in the Caml heap, so it's not very useful.

Any recommendations would be warmly welcomed.  Thanks in advance...

chris

Re: [Caml-list] debugging memory leaks

[Pierre Etchemaïté]

Le Sun, 11 Nov 2007 21:56:06 -0800, Chris Waterson <waterson@maubi.net> a écrit :

> I have a fairly substantial OCaml application that leaks memory.   
> What tools or techniques do people use to track down memory leaks?   
> Minimally, is there a way to enumerate the live objects in the heap?

There's ocaml-memprof, a compiler patch that adds memory profiling
features to ocaml programs;

Latest update of the patch itself, as far as I know:
http://www.pps.jussieu.fr/~smimram/docs/ocaml-3.09.3-memprof.patch

Readme:
http://www.pps.jussieu.fr/~smimram/docs/README.memprof

Re: [Caml-list] debugging memory leaks

[Chris Waterson]

On Nov 11, 2007, at 11:53 PM, Pierre Etchemaïté wrote:

> Le Sun, 11 Nov 2007 21:56:06 -0800, Chris Waterson  
> <waterson@maubi.net> a écrit :
>
>> I have a fairly substantial OCaml application that leaks memory.
>> What tools or techniques do people use to track down memory leaks?
>> Minimally, is there a way to enumerate the live objects in the heap?
>
> There's ocaml-memprof, a compiler patch that adds memory profiling
> features to ocaml programs;
>
> Latest update of the patch itself, as far as I know:
> http://www.pps.jussieu.fr/~smimram/docs/ocaml-3.09.3-memprof.patch
>
> Readme:
> http://www.pps.jussieu.fr/~smimram/docs/README.memprof

Wow.  This is fantastic!

I had to hack the patch a bit since I'm using objects in a handful of  
places, but this is exactly what I needed.

Thanks a ton!

chris

Re: [Caml-list] debugging memory leaks

[Fabrice Le Fessant]

Interesting, I did a patch in 2004, called ocaml-memprof for
ocaml-3.07,but there is not a single reference/credit to it on this
page... Given the inheritance, the maintainer should be careful to
keep the original author's name.

- Fabrice Le Fesasnt
ASAP Project, INRIA Saclay

On Nov 12, 2007 8:53 AM, Pierre Etchemaïté <petchema@concept-micro.com> wrote:
> Le Sun, 11 Nov 2007 21:56:06 -0800, Chris Waterson <waterson@maubi.net> a écrit :
>
> > I have a fairly substantial OCaml application that leaks memory.
> > What tools or techniques do people use to track down memory leaks?
> > Minimally, is there a way to enumerate the live objects in the heap?
>
> There's ocaml-memprof, a compiler patch that adds memory profiling
> features to ocaml programs;
>
> Latest update of the patch itself, as far as I know:
> http://www.pps.jussieu.fr/~smimram/docs/ocaml-3.09.3-memprof.patch
>
> Readme:
> http://www.pps.jussieu.fr/~smimram/docs/README.memprof
>
>
> _______________________________________________
> Caml-list mailing list. Subscription management:
> http://yquem.inria.fr/cgi-bin/mailman/listinfo/caml-list
> Archives: http://caml.inria.fr
> Beginner's list: http://groups.yahoo.com/group/ocaml_beginners
> Bug reports: http://caml.inria.fr/bin/caml-bugs
>

Re: [Caml-list] debugging memory leaks

[Samuel Mimram]

Hi,

Since I put the patch on my webpage I owe you an apology. If I remember 
well, I got the link on IRC while having issues with memory and the only 
thing I did was to resolve the conflicts generated by diff. I put it on 
the net because it was hard to find and apparently it was useful to 
other people. I'm correcting the credits right now.

Regards,

Samuel.


Fabrice Le Fessant wrote:
> Interesting, I did a patch in 2004, called ocaml-memprof for
> ocaml-3.07,but there is not a single reference/credit to it on this
> page... Given the inheritance, the maintainer should be careful to
> keep the original author's name.
> 
> - Fabrice Le Fesasnt
> ASAP Project, INRIA Saclay
> 
> On Nov 12, 2007 8:53 AM, Pierre Etchemaïté <petchema@concept-micro.com> wrote:
>> Le Sun, 11 Nov 2007 21:56:06 -0800, Chris Waterson <waterson@maubi.net> a écrit :
>>
>>> I have a fairly substantial OCaml application that leaks memory.
>>> What tools or techniques do people use to track down memory leaks?
>>> Minimally, is there a way to enumerate the live objects in the heap?
>> There's ocaml-memprof, a compiler patch that adds memory profiling
>> features to ocaml programs;
>>
>> Latest update of the patch itself, as far as I know:
>> http://www.pps.jussieu.fr/~smimram/docs/ocaml-3.09.3-memprof.patch
>>
>> Readme:
>> http://www.pps.jussieu.fr/~smimram/docs/README.memprof
>>
>>
>> _______________________________________________
>> Caml-list mailing list. Subscription management:
>> http://yquem.inria.fr/cgi-bin/mailman/listinfo/caml-list
>> Archives: http://caml.inria.fr
>> Beginner's list: http://groups.yahoo.com/group/ocaml_beginners
>> Bug reports: http://caml.inria.fr/bin/caml-bugs
>>
> 
> _______________________________________________
> Caml-list mailing list. Subscription management:
> http://yquem.inria.fr/cgi-bin/mailman/listinfo/caml-list
> Archives: http://caml.inria.fr
> Beginner's list: http://groups.yahoo.com/group/ocaml_beginners
> Bug reports: http://caml.inria.fr/bin/caml-bugs

Re: [Caml-list] debugging memory leaks

[warrensomebody]

I know this is an old thread, but I have revised the memprof patch to work
with ocaml-3.11.2. Please let me know if there is a maintainer who would
like to look this over and/or distribute it. Otherwise, I'll put it up on
github or google code. Thanks,

Warren

--
Warren Harris
warren@metaweb.com
Metaweb Technologies
http://www.freebase.com - An open database of the world’s information.




Samuel Mimram-2 wrote:
> 
> Hi,
> 
> Since I put the patch on my webpage I owe you an apology. If I remember 
> well, I got the link on IRC while having issues with memory and the only 
> thing I did was to resolve the conflicts generated by diff. I put it on 
> the net because it was hard to find and apparently it was useful to 
> other people. I'm correcting the credits right now.
> 
> Regards,
> 
> Samuel.
> 
> 
> Fabrice Le Fessant wrote:
>> Interesting, I did a patch in 2004, called ocaml-memprof for
>> ocaml-3.07,but there is not a single reference/credit to it on this
>> page... Given the inheritance, the maintainer should be careful to
>> keep the original author's name.
>> 
>> - Fabrice Le Fesasnt
>> ASAP Project, INRIA Saclay
>> 
>> On Nov 12, 2007 8:53 AM, Pierre Etchemaïté <petchema@concept-micro.com>
>> wrote:
>>> Le Sun, 11 Nov 2007 21:56:06 -0800, Chris Waterson <waterson@maubi.net>
>>> a écrit :
>>>
>>>> I have a fairly substantial OCaml application that leaks memory.
>>>> What tools or techniques do people use to track down memory leaks?
>>>> Minimally, is there a way to enumerate the live objects in the heap?
>>> There's ocaml-memprof, a compiler patch that adds memory profiling
>>> features to ocaml programs;
>>>
>>> Latest update of the patch itself, as far as I know:
>>> http://www.pps.jussieu.fr/~smimram/docs/ocaml-3.09.3-memprof.patch
>>>
>>> Readme:
>>> http://www.pps.jussieu.fr/~smimram/docs/README.memprof
>>>
>>>
>>> _______________________________________________
>>> Caml-list mailing list. Subscription management:
>>> http://yquem.inria.fr/cgi-bin/mailman/listinfo/caml-list
>>> Archives: http://caml.inria.fr
>>> Beginner's list: http://groups.yahoo.com/group/ocaml_beginners
>>> Bug reports: http://caml.inria.fr/bin/caml-bugs
>>>
>> 
>> _______________________________________________
>> Caml-list mailing list. Subscription management:
>> http://yquem.inria.fr/cgi-bin/mailman/listinfo/caml-list
>> Archives: http://caml.inria.fr
>> Beginner's list: http://groups.yahoo.com/group/ocaml_beginners
>> Bug reports: http://caml.inria.fr/bin/caml-bugs
> 
> _______________________________________________
> Caml-list mailing list. Subscription management:
> http://yquem.inria.fr/cgi-bin/mailman/listinfo/caml-list
> Archives: http://caml.inria.fr
> Beginner's list: http://groups.yahoo.com/group/ocaml_beginners
> Bug reports: http://caml.inria.fr/bin/caml-bugs
> 
> 

-- 
View this message in context: http://old.nabble.com/debugging-memory-leaks-tp13700286p27366754.html
Sent from the Caml Discuss2 mailing list archive at Nabble.com.

Re: [Caml-list] debugging memory leaks

[Richard Jones]

On Thu, Jan 28, 2010 at 08:34:13PM -0800, warrensomebody wrote:
> 
> I know this is an old thread, but I have revised the memprof patch to work
> with ocaml-3.11.2. Please let me know if there is a maintainer who would
> like to look this over and/or distribute it. Otherwise, I'll put it up on
> github or google code. Thanks,

I think something like github / google code is a very good idea, then
someone can pick it up at a later date when they need it.

Rich.

-- 
Richard Jones
Red Hat

Re: debugging memory leaks

[Sylvain Le Gall]

On 29-01-2010, warrensomebody <warrensomebody@gmail.com> wrote:
>
> I know this is an old thread, but I have revised the memprof patch to work
> with ocaml-3.11.2. Please let me know if there is a maintainer who would
> like to look this over and/or distribute it. Otherwise, I'll put it up on
> github or google code. Thanks,
>

You could consider, putting your code on 
http://forge.ocamlcore.org

This is probably the place where it will have the best visibility for
other OCaml developers.

Regards
Sylvain Le Gall