Mailing list for all users of the OCaml language and system.
 help / color / mirror / Atom feed
From: Eray Ozkural <exa@kablonet.com.tr>
To: Caml Mailing List <caml-list@inria.fr>
Subject: Re: [Caml-list] Need advice for a mobile application server
Date: Thu, 20 Nov 2003 14:08:06 +0200	[thread overview]
Message-ID: <200311201408.06069.exa@kablonet.com.tr> (raw)
In-Reply-To: <20031120102727.A28533@pauillac.inria.fr>

Hello Xavier,

On Thursday 20 November 2003 11:27, Xavier Leroy wrote:
> 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.
>

I suppose. I bet I have seen some strange quirks which somehow made a thread 
wrapper library in C++ I had written incompatible across linux and solaris. I 
guess I had thought Solaris kernel got it right, but I ended up not having 
understood the reasons, at least not from the user documentation.

> 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.

Thanks for the info.

I couldn't quite figure out why only one proc. can execute ocaml code yet, but 
I can dig into the documentation :)

Regards,

-- 
Eray Ozkural (exa) <erayo@cs.bilkent.edu.tr>
Comp. Sci. Dept., Bilkent University, Ankara  KDE Project: http://www.kde.org
www: http://www.cs.bilkent.edu.tr/~erayo  Malfunction: http://mp3.com/ariza
GPG public key fingerprint: 360C 852F 88B0 A745 F31B  EA0F 7C07 AE16 874D 539C

-------------------
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 12:08 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
2003-11-20 12:08       ` Eray Ozkural [this message]
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=200311201408.06069.exa@kablonet.com.tr \
    --to=exa@kablonet.com.tr \
    --cc=caml-list@inria.fr \
    --cc=erayo@cs.bilkent.edu.tr \
    /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