From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: weis Received: (from weis@localhost) by pauillac.inria.fr (8.7.6/8.7.3) id LAA11402 for caml-redistribution@pauillac.inria.fr; Mon, 14 Feb 2000 11:28:51 +0100 (MET) Resent-Message-Id: <200002141028.LAA11402@pauillac.inria.fr> Received: from nez-perce.inria.fr (nez-perce.inria.fr [192.93.2.78]) by pauillac.inria.fr (8.7.6/8.7.3) with ESMTP id JAA31456 for ; Mon, 14 Feb 2000 09:06:06 +0100 (MET) Received: from julie.univ-savoie.fr (univax.univ-savoie.fr [193.48.120.32]) by nez-perce.inria.fr (8.8.7/8.8.7) with ESMTP id JAA08711 for ; Mon, 14 Feb 2000 09:06:04 +0100 (MET) Received: from univ-savoie.fr (bppp4.univ-savoie.fr [193.48.120.23]) by julie.univ-savoie.fr (8.9.3/jtpda-5.3.3) with ESMTP id JAA98692 for ; Mon, 14 Feb 2000 09:05:58 +0100 (CET) Sender: raffalli@univ-savoie.fr Message-ID: <38A7B721.172F585C@univ-savoie.fr> Date: Mon, 14 Feb 2000 09:04:49 +0100 From: Christophe Raffalli Organization: Laboratoire de =?iso-8859-1?Q?Math=E9matiques?=, =?iso-8859-1?Q?Universit=E9?= de Savoie X-Mailer: Mozilla 4.7 [en] (X11; I; Linux 2.2.14-15mdkfb i686) X-Accept-Language: fr, en MIME-Version: 1.0 To: caml-list@inria.fr Subject: Thread feature missing References: <20000211111749.34427@pauillac.inria.fr> <20000213073403Q.garrigue@kurims.kyoto-u.ac.jp> Content-Type: text/plain; charset=iso-8859-1 Content-Transfer-Encoding: 8bit Resent-From: weis@pauillac.inria.fr Resent-Date: Mon, 14 Feb 2000 11:28:51 +0100 Resent-To: caml-redistribution@pauillac.inria.fr Have I miss something ? I found that two features (especialy the first) are missing in the thread library: - No way to wait for one thread to finish among many (equivalent of join, but taking a list of threads as argument) - No way to send a signal to a thread (it would be useful to make a thread raise an exception from another thread). I see clearly a solution with some periodical tests. But this is not elegant. -- Christophe Raffalli Université de Savoie Batiment Le Chablais, bureau 21 73376 Le Bourget-du-Lac Cedex tél: (33) 4 79 75 81 03 fax: (33) 4 79 75 87 42 mail: Christophe.Raffalli@univ-savoie.fr www: http://www.lama.univ-savoie.fr/~RAFFALLI