From mboxrd@z Thu Jan 1 00:00:00 1970 Received: (from majordomo@localhost) by pauillac.inria.fr (8.7.6/8.7.3) id RAA16756; Sun, 6 Oct 2002 17:02:58 +0200 (MET DST) X-Authentication-Warning: pauillac.inria.fr: majordomo set sender to owner-caml-list@pauillac.inria.fr using -f 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 RAA17679 for ; Sun, 6 Oct 2002 17:02:57 +0200 (MET DST) Received: from smtp.noos.fr (descartes.noos.net [212.198.2.74]) by nez-perce.inria.fr (8.11.1/8.11.1) with ESMTP id g96F2uD04550 for ; Sun, 6 Oct 2002 17:02:56 +0200 (MET DST) Received: (qmail 13813879 invoked by uid 0); 6 Oct 2002 15:02:53 -0000 Received: from unknown (HELO noos.fr) ([81.65.61.57]) (envelope-sender ) by 212.198.2.74 (qmail-ldap-1.03) with SMTP for ; 6 Oct 2002 15:02:53 -0000 Message-ID: <3DA0509B.637F1DDB@noos.fr> Date: Sun, 06 Oct 2002 17:02:52 +0200 From: nadji@noos.fr X-Mailer: Mozilla 4.77 [en] (X11; U; Linux 2.4.19-gentoo-r9 i686) X-Accept-Language: en MIME-Version: 1.0 To: Alessandro Baretta CC: "caml-list@inria.fr" Subject: Re: [Caml-list] Native Threads References: <3DA01AAF.14FD242C@noos.fr> <3DA049DF.7030902@baretta.com> Content-Type: text/plain; charset=us-ascii Content-Transfer-Encoding: 7bit Sender: owner-caml-list@pauillac.inria.fr Precedence: bulk Alessandro Baretta wrote: > If you want synchronous killing you're in a mess, but if I > can live with an asynchronous model, here's how you might go > about with it. I can live with asynchronous killing :) > This requires that Foo.f work cooperatively by periodically > checking Foo.run to verify that it still has time. When, That's what I thought. Unfortunately, not all functions can be cooperative, and I wanted to stop a gethostbyname and open_connection (+reads and writes) if it took too long. I know how to do this for reads and writes, but not the others. And I could live with the bytecode version, but I wouldn't want to maintain 2 ocaml distributions ... Thanks for your time, nadji ------------------- 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