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