Version française
Home     About     Download     Resources     Contact us    

This site is updated infrequently. For up-to-date information, please visit the new OCaml website at

Browse thread
[Caml-list] Need advice for a mobile application server
[ Home ] [ Index: by date | by threads ]
[ Search: ]

[ Message by date: previous | next ] [ Message in thread: previous | next ] [ Thread: previous | next ]
Date: 2003-11-20 (12:08)
From: Eray Ozkural <exa@k...>
Subject: Re: [Caml-list] Need advice for a mobile application server
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 :)


Eray Ozkural (exa) <>
Comp. Sci. Dept., Bilkent University, Ankara  KDE Project:
www:  Malfunction:
GPG public key fingerprint: 360C 852F 88B0 A745 F31B  EA0F 7C07 AE16 874D 539C

To unsubscribe, mail Archives:
Bug reports: FAQ:
Beginner's list: