From mboxrd@z Thu Jan 1 00:00:00 1970 Received: (from majordomo@localhost) by pauillac.inria.fr (8.7.6/8.7.3) id IAA31968; Tue, 1 Oct 2002 08:53:03 +0200 (MET DST) X-Authentication-Warning: pauillac.inria.fr: majordomo set sender to owner-caml-list@pauillac.inria.fr using -f Received: (from weis@localhost) by pauillac.inria.fr (8.7.6/8.7.3) id IAA31963 for caml-list@pauillac.inria.fr; Tue, 1 Oct 2002 08:53:02 +0200 (MET DST) Received: from nez-perce.inria.fr (nez-perce.inria.fr [192.93.2.78]) by pauillac.inria.fr (8.7.6/8.7.3) with ESMTP id RAA17311 for ; Mon, 30 Sep 2002 17:15:35 +0200 (MET DST) Received: from main.gmane.org (main.gmane.org [80.91.224.249]) by nez-perce.inria.fr (8.11.1/8.11.1) with ESMTP id g8UFFYD24465 for ; Mon, 30 Sep 2002 17:15:34 +0200 (MET DST) Received: from list by main.gmane.org with local (Exim 3.35 #1 (Debian)) id 17w2GQ-00076e-00 for ; Mon, 30 Sep 2002 17:15:14 +0200 To: caml-list@inria.fr X-Injected-Via-Gmane: http://gmane.org/ Received: from news by main.gmane.org with local (Exim 3.35 #1 (Debian)) id 17w2GP-00076U-00 for ; Mon, 30 Sep 2002 17:15:13 +0200 Path: not-for-mail From: "=?iso-8859-1?q?Micha=EBl_Gr=FCnewald?=" Subject: [Caml-list] Re: Kinds of threads Date: 30 Sep 2002 17:18:09 +0200 Organization: (none) Message-ID: <87wup3ecb2.fsf@ketanu.dyndns.org> References: <3D98559D.2060100@baretta.com> NNTP-Posting-Host: amontpellier-203-1-3-36.abo.wanadoo.fr Mime-Version: 1.0 Content-Type: text/plain; charset=iso-8859-1 Content-Transfer-Encoding: 8bit X-Trace: main.gmane.org 1033398913 27302 80.14.50.36 (30 Sep 2002 15:15:13 GMT) X-Complaints-To: usenet@main.gmane.org NNTP-Posting-Date: Mon, 30 Sep 2002 15:15:13 +0000 (UTC) User-Agent: Gnus/5.09 (Gnus v5.9.0) Emacs/21.2 Sender: owner-caml-list@pauillac.inria.fr Precedence: bulk Alessandro Baretta 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 - 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