Mailing list for all users of the OCaml language and system.
 help / color / mirror / Atom feed
From: "Michaël Grünewald" <michael-grunewald@wanadoo.fr>
To: caml-list@inria.fr
Subject: [Caml-list] Re: Kinds of threads
Date: 30 Sep 2002 17:18:09 +0200	[thread overview]
Message-ID: <87wup3ecb2.fsf@ketanu.dyndns.org> (raw)
In-Reply-To: <3D98559D.2060100@baretta.com>

Alessandro Baretta <alex@baretta.com> writes:

> The docs say that there are two kinds of threads in O'Caml: Ocaml
> bytecode threads and POSIX threads, and that it is possible to select
> which implementation to use at compiler build time. Two questions:
> first, what is the implementation chosen in the ocaml RPM distribution;
> second, why must one choose one implementation at compiler build time?
> Why not use a compiler switch such as --posix-threads as opposed to
> --caml-threads?

Depending of the platform, POSIX threads may not or badly
available. Emulation can be set up, either by coercing existing thread
capabilities to the POSIX interface, or by implementing a POSIX thread
library, using processes and interprocesses communications to do the job (i
have been told it was the way with linux, please confirm or infirm it).

Maybe the switch is here because it is better to use POSIX threads when they
are well supported by the system (e.g. BSDs); but the caml thread emulation
may give better results in (some) other cases.
-- 
Michaël Grünewald <michael-grunewald@wanadoo.fr>  - RSA PGP Key ID: 0x20D90C12
-------------------
To unsubscribe, mail caml-list-request@inria.fr Archives: http://caml.inria.fr
Bug reports: http://caml.inria.fr/bin/caml-bugs FAQ: http://caml.inria.fr/FAQ/
Beginner's list: http://groups.yahoo.com/group/ocaml_beginners


  reply	other threads:[~2002-10-01  6:53 UTC|newest]

Thread overview: 11+ messages / expand[flat|nested]  mbox.gz  Atom feed  top
2002-09-30 13:46 [Caml-list] " Alessandro Baretta
2002-09-30 15:18 ` Michaël Grünewald [this message]
2002-10-01  7:51   ` [Caml-list] " Alessandro Baretta
2002-10-01  7:52     ` Remi VANICAT
2002-10-01  9:12     ` Xavier Leroy
2002-10-01 10:28       ` Sven Luther
2002-10-02  7:46       ` Stefano Zacchiroli
2002-10-01  9:13     ` Benjamin Monate
2002-10-08 11:51       ` [Caml-list] Compile cameleon on debian Yang Shouxun
2002-10-09  6:41         ` Sven LUTHER
2002-10-09  8:14           ` Jérôme Marant

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=87wup3ecb2.fsf@ketanu.dyndns.org \
    --to=michael-grunewald@wanadoo.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