From: Damien Doligez <damien.doligez@inria.fr>
To: caml-list@yquem.inria.fr
Subject: Re: [Caml-list] GC, Anonymous Functions, and C
Date: Sat, 18 Dec 2004 00:09:48 +0100 [thread overview]
Message-ID: <BFB1DA3D-5080-11D9-B92D-000D9345235C@inria.fr> (raw)
In-Reply-To: <ad8cfe7e0412171355b901128@mail.gmail.com>
On 17 déc. 2004, at 22:55, Jonathan Roewen wrote:
> Basically, we're trying to do interrupt handling from OCaml, and need
> to store the anonymous functions somewhere for the IDT to jump into,
> to provide a little context for the problem.
This is going to be extremely tricky, if it ever works, because
OCaml code can allocate memory by calling malloc. And malloc
is not reentrant, so calling it from a signal handler cannot be
correct unless your main program never calls malloc, which rules
out a large number of functions of the C stdlib. And you don't
even know which ones exactly...
-- Damien
prev parent reply other threads:[~2004-12-17 23:09 UTC|newest]
Thread overview: 4+ messages / expand[flat|nested] mbox.gz Atom feed top
2004-12-17 21:55 Jonathan Roewen
2004-12-17 22:56 ` Richard Jones
2004-12-17 23:05 ` David Brown
2004-12-17 23:09 ` Damien Doligez [this message]
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=BFB1DA3D-5080-11D9-B92D-000D9345235C@inria.fr \
--to=damien.doligez@inria.fr \
--cc=caml-list@yquem.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).