Mercurial Mercurial > repos > isabelle / changeset
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | raw | gz | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
"running": PROTECTED wakeup;
authorwenzelm
Wed, 01 Aug 2007 16:48:47 +0200
changeset 24108 24e5587603b4
parent 24107 fecafd71e758
child 24109 952efb77cf91
"running": PROTECTED wakeup; "cont": actually invoke wakeup!!
src/Pure/ML-Systems/multithreading_polyml.ML file | annotate | diff | comparison | revisions 
--- a/src/Pure/ML-Systems/multithreading_polyml.ML	Tue Jul 31 23:23:34 2007 +0200
+++ b/src/Pure/ML-Systems/multithreading_polyml.ML	Wed Aug 01 16:48:47 2007 +0200
@@ -137,10 +137,9 @@
           | Exn.Exn exn =>
               (PROTECTED "status" (fn () => status := exn :: ! status); continue cont))
       | (Task.Finished, _) =>
-         (PROTECTED "running" (fn () => (dec active; dec running));
-          wakeup_all ()))
+         (PROTECTED "running" (fn () => (dec active; dec running; wakeup_all ()))))
     and continue cont =
-      (PROTECTED "cont" (fn () => queue := cont (! queue)); wakeup_all; work ());
+      (PROTECTED "cont" (fn () => queue := cont (! queue); wakeup_all ()); work ());
 
     (*main control: fork and wait*)
     fun fork 0 = ()
isabelle