Re: threads library in Objective Caml

From: pcuoq@ens.ens-lyon.fr
Date: Tue Apr 15 1997 - 10:41:59 MET DST


Date: Tue, 15 Apr 1997 10:41:59 +0200 (MET DST)
Message-Id: <199704150841.KAA12583@pauillac.inria.fr>
From: pcuoq@ens.ens-lyon.fr
To: caml-list@inria.fr
In-Reply-To: <E0wGiAL-0003qE-00@heaton.cl.cam.ac.uk>
Subject: Re: threads library in Objective Caml

I think that the part of the documentation you
refer to deals with the thread library of the
bytecode compiler, implemented by time-sharing
on the virtual machine.

There is however a thread library using Unix threads
(in otherlibs/systhreads) but it has the same
bad behavior on multi-processor machines :
There is (almost everytime) only one caml thread
running. This is ensured by a mutex shared among
caml threads. The mutex is released only at safe
points of the execution.

In particular it is released each time that the
current thread could block.

This explains the behavior of caml programs on
MP machines.

  Pascal



This archive was generated by hypermail 2b29 : Sun Jan 02 2000 - 11:58:10 MET