From: Damien Doligez <Damien.Doligez@inria.fr>
To: caml-list@inria.fr
Subject: Re: Calling C from OCaml, GC problems
Date: Wed, 23 Feb 2000 20:39:34 +0100 [thread overview]
Message-ID: <200002231939.UAA01100@tobago.inria.fr> (raw)
>From: Max Skaller <maxs@in.ot.com.au>
>
>I'd recommend getting rid of those macros. Anyone writing
>a CAML/C interface needs to understand details of how the GC
>works so as to optimise code to exactly the required
>functions to create temporary roots, etc .. it would be better
>to provide the raw functions and a good explanation.
Even with the raw functions and a perfect understanding of the system,
I found it extremely difficult to write bug-free code, and very
time-consuming to fish out the inevitable bugs. That's why the macros
exist. For most people, it is more economical to write slightly less
efficient code if that means less debugging time and fewer bugs in the
released version.
>I do wonder if it would not be useful to have a function(s)
>that did allocations without collecting.
If only we knew how to do that, we could get rid of the GC
altogether. (tongue in cheek)
-- Damien
next reply other threads:[~2000-02-24 13:51 UTC|newest]
Thread overview: 9+ messages / expand[flat|nested] mbox.gz Atom feed top
2000-02-23 19:39 Damien Doligez [this message]
2000-02-24 23:36 ` Max Skaller
-- strict thread matches above, loose matches on Subject: below --
2000-02-16 15:41 David Mentré
2000-02-18 1:26 ` Markus Mottl
2000-02-18 9:45 ` Xavier Leroy
2000-02-21 16:54 ` David Mentré
2000-02-21 23:41 ` Max Skaller
2000-02-18 10:48 ` Juan J. Quintela
2000-02-21 13:40 ` David Mentré
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=200002231939.UAA01100@tobago.inria.fr \
--to=damien.doligez@inria.fr \
--cc=caml-list@inria.fr \
/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;
as well as URLs for NNTP newsgroup(s).