CPU consumption with GtkThread

Maxence Guesdon <[email protected]> Tue, 14 Dec 2010 08:36:26 +0100
Newsgroups gmane.comp.lang.ocaml.lib.gtk
Organization INRIA
Message-ID <20101214083626.59faf109@alcazar>
Hello,

When I use GtkThread.main (), my process consumes a lot of CPU. Having a
look at the code of GtkThread.ml, I see a never ending loop, and especially
a never-delaying loop, which I think results in the consumption.

Is it normal ? Isn't there a way to use threads without such a consumption ?

Regards,

Maxence

-- 
Maxence Guesdon                             http://yquem.inria.fr/~guesdon/
Service Expérimentation et Développements         https://sed-roc.inria.fr/
INRIA Paris-Rocquencourt                  http://www.inria.fr/rocquencourt/