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
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: -- (:)
From: Gerd Stolpmann <info@g...>
Subject: Re: [Caml-list] The best way to circumvent the lack of Thread.kill ?
Am Mittwoch, den 02.11.2005, 15:32 +0100 schrieb Julien Narboux:
> >
> >There is a hack that works (Xavier forgive):
> >  
> >
> I just implemented your hack in drgeocaml, it works fine ! (under linux 
> at least , I have not tested on Windows yet)

I think it works under Windows, too, although not tested. The way
threads are implemented is basically the same. From reading the sources,
I only saw that under Windows Sys.sigterm is used instead of
Sys.sigvtalrm, maybe this is a special kind of joke. (Note that this
type of signal is purely virtual, i.e. not routed over the OS, so it
does not matter that Windows has no signals.)

Gerd Stolpmann * Viktoriastr. 45 * 64293 Darmstadt * Germany
Telefon: 06151/153855                  Telefax: 06151/997714