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 MAA21565; Sun, 13 Oct 2002 12:46:01 +0200 (MET DST) X-Authentication-Warning: pauillac.inria.fr: majordomo set sender to owner-caml-list@pauillac.inria.fr using -f Received: from concorde.inria.fr (concorde.inria.fr [192.93.2.39]) by pauillac.inria.fr (8.7.6/8.7.3) with ESMTP id MAA21138 for ; Sun, 13 Oct 2002 12:46:00 +0200 (MET DST) Received: from smtp.noos.fr (aragon.noos.net [212.198.2.75]) by concorde.inria.fr (8.11.1/8.11.1) with ESMTP id g9DAk0521610 for ; Sun, 13 Oct 2002 12:46:00 +0200 (MET DST) Received: (qmail 22440098 invoked by uid 0); 13 Oct 2002 10:45:59 -0000 Received: from unknown (HELO noos.fr) ([81.65.61.57]) (envelope-sender ) by 212.198.2.75 (qmail-ldap-1.03) with SMTP for ; 13 Oct 2002 10:45:59 -0000 Message-ID: <3DA94EE6.4BCE0E9C@noos.fr> Date: Sun, 13 Oct 2002 12:45:59 +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: "caml-list@inria.fr" Subject: Re: [Caml-list] Native Threads References: <3DA01AAF.14FD242C@noos.fr> <20021013104353.G13771@pauillac.inria.fr> Content-Type: text/plain; charset=us-ascii Content-Transfer-Encoding: 7bit Sender: owner-caml-list@pauillac.inria.fr Precedence: bulk Xavier Leroy wrote: > Being able to terminate any thread at any time, without cooperation > from the thread, is extremely dangerous: what if the killed thread was > holding mutexes? (I think this has been discussed recently on this What if I know he doesn't :) ? But I understand this is bad engineering practice (tough the program I wrote is 200 lines long ...). > slightly less risky, but doesn't (currently) map well to Caml threads. Does a standard mecanism has to ? I would be perfectly happy with anything enabling asynchorous communication (either sending signals, or sending exceptions, or even sending 1 kind of message). > So: don't kill threads. Let them live a long and happy life :-) How can they be happy if they have to check periodically if they have to hara-kiri for the honor of computing ressource ? :) ------------------- 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