caml-list - the Caml user's mailing list
 help / color / mirror / Atom feed
From: Xavier Leroy <xavier.leroy@inria.fr>
To: Richard Jones <rich@annexia.org>
Cc: Caml Mailing List <caml-list@inria.fr>
Subject: Re: [Caml-list] Need advice for a mobile application server
Date: Thu, 20 Nov 2003 10:27:28 +0100	[thread overview]
Message-ID: <20031120102727.A28533@pauillac.inria.fr> (raw)
In-Reply-To: <20031120091315.GA23449@redhat.com>; from rich@annexia.org on Thu, Nov 20, 2003 at 09:13:15AM +0000

This is getting off-topic, but:

> [1] Of course the original LinuxThreads being written by Xavier Leroy,
> so I wouldn't want to say it was broken ...

You can safely say LinuxThreads is slightly borken, in that lack of
thread support in the Linux kernel (until recently) prevented full
compliance with the POSIX standard.  These quirks affected some fairly
obscure corners of the POSIX spec, though.  In particular, the earlier
comment that "LinuxThreads creates all threads detached" is not
accurate: thread creation and joining was implemented correctly.

Back to the original question: writing a multithreaded server in OCaml
is definitely feasible.  The only limitation to be aware of is that
OCaml threads do not offer parallelism, just concurrent execution.
What this means is that if there are several processors on your
machine, only one can execute OCaml code at any time, but other
threads (and therefore possibly other processors) can do I/O or C
computations in parallel.

- Xavier Leroy

-------------------
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:[~2003-11-20  9:28 UTC|newest]

Thread overview: 8+ messages / expand[flat|nested]  mbox.gz  Atom feed  top
2003-11-19 18:03 Eray Ozkural
2003-11-20  5:34 ` skaller
2003-11-20  9:13   ` Richard Jones
2003-11-20  9:27     ` Xavier Leroy [this message]
2003-11-20 12:08       ` Eray Ozkural
2003-11-20 12:49         ` Basile Starynkevitch
     [not found]           ` <20031120161634.GA26689@redhat.com>
2003-11-21  8:48             ` Basile Starynkevitch
2003-11-21 17:06           ` skaller

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=20031120102727.A28533@pauillac.inria.fr \
    --to=xavier.leroy@inria.fr \
    --cc=caml-list@inria.fr \
    --cc=rich@annexia.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).