From: Thomas Fischbacher <tf@functionality.de>
To: Alain Frisch <alain@frisch.fr>
Cc: Raj <rajb@rice.edu>, Caml mailing list <caml-list@yquem.inria.fr>
Subject: Re: [Caml-list] Disabling the OCaml garbage collector
Date: Wed, 28 Nov 2007 18:31:34 +0000 [thread overview]
Message-ID: <474DB406.7090104@functionality.de> (raw)
In-Reply-To: <474DB04B.30909@frisch.fr>
Alain Frisch wrote:
>> The issue for me is that I need to be able to modify mutable objects
>> in OCaml (eg. array-modification in-place) from both OCaml and
>> C/Python. However, the OCaml GC moves things around while the
>> execution is in C/Python and this crashes my program.
>
> Are you sure?
>
> The OCaml GC is triggered only when Caml memory blocks are allocated
> (from Caml or C code) or when you call it explicitly.
Most likely, he calls back into another OCaml function from Python which
does some memory allocation... In real applications, this situation is
practically impossible to avoid.
--
best regards,
Thomas Fischbacher
tf@functionality.de
next prev parent reply other threads:[~2007-11-28 18:24 UTC|newest]
Thread overview: 15+ messages / expand[flat|nested] mbox.gz Atom feed top
2007-11-27 16:28 Raj Bandyopadhyay
2007-11-27 16:41 ` [Caml-list] " Basile STARYNKEVITCH
2007-11-28 18:05 ` Raj
2007-11-28 18:15 ` Alain Frisch
2007-11-28 18:31 ` Thomas Fischbacher [this message]
2007-11-28 19:30 ` Raj
2007-11-28 18:25 ` Thomas Fischbacher
2007-11-28 18:32 ` Xavier Leroy
2007-11-28 19:33 ` Raj
2007-11-28 20:00 ` Thomas Fischbacher
2007-12-04 20:14 ` Raj Bandyopadhyay
2007-12-05 4:07 ` Jon Harrop
2007-11-29 8:54 ` Frédéric van der Plancke
2007-11-27 17:05 ` [Caml-list] Python and Caml (was: Disabling the OCaml garbage collector) Thomas Fischbacher
2011-08-04 13:10 ` [Caml-list] Python and Caml Stéphane Glondu
Reply instructions:
You may reply publicly to this message via plain-text email
using any one of the following methods:
* Save the following mbox file, import it into your mail client,
and reply-to-all from there: mbox
Avoid top-posting and favor interleaved quoting:
https://en.wikipedia.org/wiki/Posting_style#Interleaved_style
* Reply using the --to, --cc, and --in-reply-to
switches of git-send-email(1):
git send-email \
--in-reply-to=474DB406.7090104@functionality.de \
--to=tf@functionality.de \
--cc=alain@frisch.fr \
--cc=caml-list@yquem.inria.fr \
--cc=rajb@rice.edu \
/path/to/YOUR_REPLY
https://kernel.org/pub/software/scm/git/docs/git-send-email.html
* If your mail client supports setting the In-Reply-To header
via mailto: links, try the mailto: link
Be sure your reply has a Subject: header at the top and a blank line
before the message body.
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox