From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: X-Original-To: caml-list@yquem.inria.fr Delivered-To: caml-list@yquem.inria.fr Received: from nez-perce.inria.fr (nez-perce.inria.fr [192.93.2.78]) by yquem.inria.fr (Postfix) with ESMTP id F39A5BB9A for ; Tue, 8 Nov 2005 04:23:39 +0100 (CET) Received: from slinky.cs.nyu.edu (SLINKY.CS.NYU.EDU [128.122.20.14]) by nez-perce.inria.fr (8.13.0/8.13.0) with ESMTP id jA83NbqQ009195 for ; Tue, 8 Nov 2005 04:23:39 +0100 Received: from localhost (localhost [127.0.0.1]) by slinky.cs.nyu.edu (8.12.10+Sun/8.12.10) with ESMTP id jA83NRc9003953; Mon, 7 Nov 2005 22:23:27 -0500 (EST) Date: Mon, 7 Nov 2005 22:23:27 -0500 (EST) From: Igor Pechtchanski Reply-To: caml-list@inria.fr To: EL CHAAR Rabih SGAM/AI/SAM Cc: Julien Narboux , Richard Jones , caml-list@yquem.inria.fr Subject: RE: [Caml-list] The best way to circumvent the lack of Thread.kill ? In-Reply-To: <7F070E410B10EE419826BF5206322CC20950E0@frdef-exmb01.europe.am.socgen> Message-ID: References: <7F070E410B10EE419826BF5206322CC20950E0@frdef-exmb01.europe.am.socgen> Importance: Normal MIME-Version: 1.0 Content-Type: MULTIPART/MIXED; BOUNDARY="-559023410-630072926-1131420207=:847" X-Miltered: at nez-perce with ID 43701A39.000 by Joe's j-chkmail (http://j-chkmail.ensmp.fr)! X-Spam: no; 0.00; caml-list:01 caml-list:01 mistaken:01 semantics:01 2005,:98 ...:98 wrote:01 wrote:01 theorem:01 theorem:01 readable:02 thread:02 thread:02 native:02 graphical:02 X-Spam-Checker-Version: SpamAssassin 3.0.3 (2005-04-27) on yquem.inria.fr X-Spam-Level: X-Spam-Status: No, score=0.0 required=5.0 tests=none autolearn=disabled version=3.0.3 This message is in MIME format. The first part should be readable text, while the remaining parts are likely unreadable without MIME-aware tools. ---559023410-630072926-1131420207=:847 Content-Type: TEXT/PLAIN; charset=ISO-8859-1 Content-Transfer-Encoding: 8BIT On Wed, 2 Nov 2005, EL CHAAR Rabih SGAM/AI/SAM wrote: > > -----Message d'origine----- > > De : Julien Narboux > > Envoyé : mercredi 2 novembre 2005 12:22 > > À : Richard Jones > > Cc : caml-list@yquem.inria.fr > > Objet : Re: [Caml-list] The best way to circumvent the lack of > > Thread.kill ? > > > > Richard Jones wrote: > > > > >On Wed, Nov 02, 2005 at 10:52:12AM +0100, Julien Narboux wrote: > > > > > > > > >>My problem is that I don't want to pollute my target thread with checks > > >>for a variable. > > >> > > >>Indeed, I am writing a graphical user interface for an automated theorem > > >>prover. > > >> > > >> > > > > > >How about forking off the theorem prover as a separate process? You > > >can communicate the result back to the main program using either a > > >status code or a pipe (depending on how complex the result structure > > >is). The interrupt button just kills the forked process. > > > > > >Rich. > > > > Yes, but the problem is that under the native windows port (see > > http://caml.inria.fr/pub/docs/manual-ocaml/manual035.html) : > > > > "kill, pause not implemented (no inter-process signals in Windows)" > > > > Julien Narboux > > If i'm not mistaken, fork is not also implemented under windows. > > Rabih It is -- only it's called CreateProcess (and has weird semantics)... Igor -- http://cs.nyu.edu/~pechtcha/ |\ _,,,---,,_ pechtcha@cs.nyu.edu ZZZzz /,`.-'`' -. ;-;;,_ igor@watson.ibm.com |,4- ) )-,_. ,\ ( `'-' Igor Pechtchanski, Ph.D. '---''(_/--' `-'\_) fL a.k.a JaguaR-R-R-r-r-r-.-.-. Meow! If there's any real truth it's that the entire multidimensional infinity of the Universe is almost certainly being run by a bunch of maniacs. /DA ---559023410-630072926-1131420207=:847--