From: Jacques Garrigue <garrigue@math.nagoya-u.ac.jp>
To: itz@buug.org
Cc: caml-list@inria.fr
Subject: Re: [Caml-list] vm threads
Date: Sat, 15 Oct 2005 17:46:01 +0900 (JST) [thread overview]
Message-ID: <20051015.174601.119244280.garrigue@math.nagoya-u.ac.jp> (raw)
In-Reply-To: <87zmpb9viq.fsf@buug.org>
From: Ian Zimmerman <itz@buug.org>
> The reason I asked was: when writing a library that uses C extension
> code and a global data structure in the C code, can I just use system
> thread primitives for synchronization (that would be pthreads since
> I am only thinking about Unix type systems at least ATM) and not worry
> about VM threads?
>
> From your post the answer seems to be yes.
That's even stronger than that: if you do not plan to run some pure C
threads concurently with ocaml, you usually don't need any
synchronization, either for system or VM threads.
With VM threads, you may only change thread when executing ocaml code,
so all your C code is single-threaded.
With system threads, you have to release the ocaml lock by calling
enter_blocking_section before any other ocaml thread may run.
If you don't want to be interrupted, just don't release it.
So you don't need to bother with synchronization as long as you don't
introduce concurrency intentionally on the C side. (But this might be
what you intend to do...)
Jacques Garrigue
prev parent reply other threads:[~2005-10-15 8:46 UTC|newest]
Thread overview: 4+ messages / expand[flat|nested] mbox.gz Atom feed top
2005-10-15 4:52 Ian Zimmerman
2005-10-15 5:23 ` [Caml-list] " Jacques Garrigue
2005-10-15 5:52 ` Ian Zimmerman
2005-10-15 8:46 ` Jacques Garrigue [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=20051015.174601.119244280.garrigue@math.nagoya-u.ac.jp \
--to=garrigue@math.nagoya-u.ac.jp \
--cc=caml-list@inria.fr \
--cc=itz@buug.org \
/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).