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 concorde.inria.fr (concorde.inria.fr [192.93.2.39]) by yquem.inria.fr (Postfix) with ESMTP id 5ACC5D45F for ; Wed, 2 Nov 2005 12:33:51 +0100 (CET) Received: from parmail02.sgcib.com (parmail02.sgcib.com [207.45.250.34]) by concorde.inria.fr (8.13.0/8.13.0) with ESMTP id jA2BXp6f001116 for ; Wed, 2 Nov 2005 12:33:51 +0100 X-IronPort-AV: i="3.97,280,1125871200"; d="scan'208"; a="32392965:sNHT60598832" Content-class: urn:content-classes:message MIME-Version: 1.0 X-MimeOLE: Produced By Microsoft Exchange V6.5.7226.0 Subject: RE: [Caml-list] The best way to circumvent the lack of Thread.kill ? Date: Wed, 2 Nov 2005 12:33:50 +0100 Message-ID: <7F070E410B10EE419826BF5206322CC20950E0@frdef-exmb01.europe.am.socgen> X-MS-Has-Attach: X-MS-TNEF-Correlator: Thread-Topic: [Caml-list] The best way to circumvent the lack of Thread.kill ? Thread-Index: AcXfoRRDFAiUXg/hSH2lqFyHJhN9bQAADElw From: "EL CHAAR Rabih SGAM/AI/SAM" To: "Julien Narboux" , "Richard Jones" Cc: X-OriginalArrivalTime: 02 Nov 2005 11:33:50.0941 (UTC) FILETIME=[4C19B8D0:01C5DFA1] Content-Transfer-Encoding: quoted-printable Content-Type: text/plain; charset="iso-8859-1" X-Miltered: at concorde with ID 4368A41F.000 by Joe's j-chkmail (http://j-chkmail.ensmp.fr)! X-Spam: no; 0.00; caml-list:01 mistaken:01 caml-list:01 beginner's:01 ocaml:01 beginners:01 bug:01 unauthorised:98 subsidiaries:98 affiliates:98 wrote:01 wrote:01 theorem:01 theorem:01 bin:01 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 If i'm not mistaken, fork is not also implemented under windows. Rabih -----Message d'origine----- De : caml-list-bounces@yquem.inria.fr [mailto:caml-list-bounces@yquem.inria.fr]De la part de Julien Narboux Envoy=E9 : mercredi 2 novembre 2005 12:22 =C0 : 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: > =20 > >>My problem is that I don't want to pollute my target thread with checks=20 >>for a variable. >> >>Indeed, I am writing a graphical user interface for an automated theorem=20 >>prover. >> =20 >> > >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. > > =20 > Yes, but the problem is that under the native windows port (see=20 http://caml.inria.fr/pub/docs/manual-ocaml/manual035.html) : "kill, pause not implemented (no inter-process signals in Windows)" Julien Narboux _______________________________________________ Caml-list mailing list. Subscription management: http://yquem.inria.fr/cgi-bin/mailman/listinfo/caml-list Archives: http://caml.inria.fr Beginner's list: http://groups.yahoo.com/group/ocaml_beginners Bug reports: http://caml.inria.fr/bin/caml-bugs ************************************************************************* Ce message et toutes les pieces jointes (ci-apres le "message") sont confid= entiels et etablis a l'intention exclusive de ses destinataires. Toute utilisation ou diffusion non autorisee est interdite.=20 Tout message electronique est susceptible d'alteration.=20 SG Asset Management et ses filiales declinent toute responsabilite au titre= de ce message s'il a ete altere, deforme ou falsifie. Decouvrez l'offre et les services de SG Asset Management sur le site www.sg= am.fr=20 ******** This message and any attachments (the "message") are confidential and inten= ded solely for the addressees. Any unauthorised use or dissemination is prohibited.=20 E-mails are susceptible to alteration.=20 Neither SG Asset Management nor any of its subsidiaries or affiliates shall= be liable for the message if altered, changed or falsified.=20 *************************************************************************