From: "Dmitry Bely" <dmitry.bely@gmail.com>
To: "Philippe Wang" <lists@philippewang.info>
Cc: caml-list@inria.fr
Subject: Re: [Caml-list] Can GC be BLOCKed?
Date: Sat, 2 Dec 2006 13:04:14 +0300 [thread overview]
Message-ID: <90823c940612020204y1f780793yf5d5bc5b1152d39f@mail.gmail.com> (raw)
In-Reply-To: <4570BAA1.2090300@philippewang.info>
On 12/2/06, Philippe Wang <lists@philippewang.info> wrote:
> You can't try to use the thread system to do something like that.
>
> There is a global mutex with OCaml threads !
> So a program written in OCaml will not be faster by using threads...
Sure, I know that. But C thread and OCaml thread can run in parallel.
Why not to do gc in another thread when you are in C and there is no
job for OCaml?
- Dmitry Bely
next prev parent reply other threads:[~2006-12-02 10:04 UTC|newest]
Thread overview: 13+ messages / expand[flat|nested] mbox.gz Atom feed top
2006-11-30 0:33 Neal Wang
2006-11-30 3:07 ` [Caml-list] " James Woodyatt
2006-12-01 0:07 ` Neal Wang
2006-12-01 0:38 ` Tom
2006-12-01 9:19 ` Richard Jones
2006-12-01 13:39 ` Dmitry Bely
2006-12-01 23:28 ` Philippe Wang
2006-12-02 10:04 ` Dmitry Bely [this message]
2006-12-02 12:14 ` Philippe Wang
2006-12-02 11:19 ` Richard Jones
2006-12-01 18:53 ` Neal Wang
2006-12-01 19:13 ` Chris King
2006-12-04 9:37 ` Hendrik Tews
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=90823c940612020204y1f780793yf5d5bc5b1152d39f@mail.gmail.com \
--to=dmitry.bely@gmail.com \
--cc=caml-list@inria.fr \
--cc=lists@philippewang.info \
/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