From: "Richard W.M. Jones" <rich@annexia.org>
To: caml-list@inria.fr
Subject: Re: [Caml-list] Anyone else seeing core dumps in caml_thread_reinitialize?
Date: Mon, 16 Jul 2012 14:16:56 +0100 [thread overview]
Message-ID: <20120716131656.GB16367@annexia.org> (raw)
In-Reply-To: <20120716122327.GA16367@annexia.org>
On Mon, Jul 16, 2012 at 01:23:27PM +0100, Richard W.M. Jones wrote:
> static void caml_thread_reinitialize(void)
Supplemental questions ..
What exactly is this function for? I've seen the explanation in
PR#4577 but I'm still not exactly sure I understand why this function
is needed, particularly since when it fails we're just about to
exec(2) an entirely new process.
Also, in the cases where it's failing we've released the GC lock
(ie. we've called caml_enter_blocking_section). Is this correct?
It appears that the GC could be in any intermediate state when
caml_thread_reinitialize is called.
Rich.
--
Richard Jones
Red Hat
prev parent reply other threads:[~2012-07-16 13:17 UTC|newest]
Thread overview: 2+ messages / expand[flat|nested] mbox.gz Atom feed top
2012-07-16 12:23 Richard W.M. Jones
2012-07-16 13:16 ` Richard W.M. Jones [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=20120716131656.GB16367@annexia.org \
--to=rich@annexia.org \
--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).