<?xml version="1.0" encoding="ISO-8859-1"?>

<!DOCTYPE message PUBLIC
  "-//MLarc//DTD MLarc output files//EN"
  "../../mlarc.dtd"[
  <!ATTLIST message
    listname CDATA #REQUIRED
    title CDATA #REQUIRED
  >
]>

  <?xml-stylesheet href="../../mlarc.xsl" type="text/xsl"?>


<message 
  url="2002/12/c09fe24875cadf527935c7650ed7fbf5"
  from="Basile STARYNKEVITCH &lt;basile@s...&gt;"
  author="Basile STARYNKEVITCH"
  date="2002-12-05T20:31:17"
  subject="[Caml-list] Memory leak with native code."
  prev="2002/12/019830184ea14462c3df69900b5a0cda"
  next="2002/12/be49727f9a0b54ea11c73a1fa9e19c68"
  prev-in-thread="2002/12/e3f8675313507a5dc091342fdb22aaf5"
  next-in-thread="2002/12/ea393996881423e7f2f191c1b3c28cb9"
  prev-thread="2002/12/4b291d6b55cf57ba30215d1019be5195"
  next-thread="2002/12/be49727f9a0b54ea11c73a1fa9e19c68"
  root="../../"
  period="month"
  listname="caml-list"
  title="Archives of the Caml mailing list">

<thread subject="[Caml-list] Memory leak with native code.">
<msg 
  url="2002/12/e39e48c52e7ed2ec723bb0d96798451f"
  from="David Brown &lt;caml-list@d...&gt;"
  author="David Brown"
  date="2002-12-05T18:48:56"
  subject="[Caml-list] Memory leak with native code.">
<msg 
  url="2002/12/e3f8675313507a5dc091342fdb22aaf5"
  from="Markus Mottl &lt;markus@o...&gt;"
  author="Markus Mottl"
  date="2002-12-05T19:15:09"
  subject="Re: [Caml-list] Memory leak with native code.">
</msg>
<msg 
  url="2002/12/c09fe24875cadf527935c7650ed7fbf5"
  from="Basile STARYNKEVITCH &lt;basile@s...&gt;"
  author="Basile STARYNKEVITCH"
  date="2002-12-05T20:31:17"
  subject="[Caml-list] Memory leak with native code.">
<msg 
  url="2002/12/ea393996881423e7f2f191c1b3c28cb9"
  from="Xavier Leroy &lt;xavier.leroy@i...&gt;"
  author="Xavier Leroy"
  date="2002-12-07T10:43:11"
  subject="Re: [Caml-list] Memory leak with native code.">
<msg 
  url="2002/12/61b3d4635d276f800632e142c7948ee0"
  from="David Brown &lt;caml-list@d...&gt;"
  author="David Brown"
  date="2002-12-07T21:52:49"
  subject="Re: [Caml-list] Memory leak with native code.">
</msg>
</msg>
</msg>
</msg>
</thread>

<contents>
&gt;&gt;&gt;&gt;&gt; "David" == David Brown &lt;caml-list@davidb.org&gt; writes:

    David&gt; I have a fairly complex program that has numerous callbacks
    David&gt; between Ocaml, C and back to Ocaml (I'm using Debian's
    David&gt; 3.06).

    David&gt; If I compile my program byte-code, it works well.

    David&gt; However, if I compile it native, it seems to leak memory,
    David&gt; just consuming more and more memory as it runs.

I assume your plateform is x86 on Debian. Because of the small number
of registers, tail-recursion is limited to 5 arguments (if my memory
serves me well). For more arguments, a tail-rec is not a loop on
x86. Perhaps this could be your problem (just a guess, I encountered
it several years ago and reported to the mailing list). Then you might
merge several arguments into a tuple or record.  Or switch to
plateform with more registers!

Just a wild guess! The Caml team will confirm (or infirm) it.


-- 

Basile STARYNKEVITCH         http://starynkevitch.net/Basile/ 
email: basile&lt;at&gt;starynkevitch&lt;dot&gt;net 
alias: basile&lt;at&gt;tunes&lt;dot&gt;org 
8, rue de la Faïencerie, 92340 Bourg La Reine, France
-------------------
To unsubscribe, mail caml-list-request@inria.fr Archives: http://caml.inria.fr
Bug reports: http://caml.inria.fr/bin/caml-bugs FAQ: http://caml.inria.fr/FAQ/
Beginner's list: http://groups.yahoo.com/group/ocaml_beginners

</contents>

</message>

