Version française
Home     About     Download     Resources     Contact us    

This site is updated infrequently. For up-to-date information, please visit the new OCaml website at

Browse thread
RE: [Caml-list] The best way to circumvent the lack of Thread.kill ?
[ Home ] [ Index: by date | by threads ]
[ Search: ]

[ Message by date: previous | next ] [ Message in thread: previous | next ] [ Thread: previous | next ]
Date: 2005-11-02 (11:33)
Subject: RE: [Caml-list] The best way to circumvent the lack of Thread.kill ?
If i'm not mistaken, fork is not also implemented under windows.


-----Message d'origine-----
De :
[]De la part de Julien Narboux
Envoyé : mercredi 2 novembre 2005 12:22
À : Richard Jones
Cc :
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 
>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.
Yes, but the problem is that under the native windows port (see :

"kill, pause not implemented (no inter-process signals in Windows)"

Julien Narboux

Caml-list mailing list. Subscription management:
Beginner's list:
Bug reports:
Ce message et toutes les pieces jointes (ci-apres le "message") sont confidentiels et etablis a l'intention exclusive de ses destinataires.
Toute utilisation ou diffusion non autorisee est interdite. 
Tout message electronique est susceptible d'alteration. 
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 


This message and any attachments (the "message") are confidential and intended solely for the addressees.
Any unauthorised use or dissemination is prohibited. 
E-mails are susceptible to alteration. 
Neither SG Asset Management nor any of its subsidiaries or affiliates shall be liable for the message if altered, changed or falsified.