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.
tuned tracing;
authorwenzelm
Thu, 30 Jul 2009 23:37:53 +0200
changeset 32293 e0b8da3fae4d
parent 32292 ceb7190d7a52
child 32294 d00238af17b6
tuned tracing;
src/Pure/Concurrent/future.ML file | annotate | diff | comparison | revisions 
--- a/src/Pure/Concurrent/future.ML	Thu Jul 30 23:23:52 2009 +0200
+++ b/src/Pure/Concurrent/future.ML	Thu Jul 30 23:37:53 2009 +0200
@@ -269,7 +269,11 @@
     (*canceled groups*)
     val _ =
       if null (! canceled) then ()
-      else (change canceled (filter_out (Task_Queue.cancel (! queue))); broadcast_work ());
+      else
+       (Multithreading.tracing 1 (fn () =>
+          string_of_int (length (! canceled)) ^ " canceled groups");
+        change canceled (filter_out (Task_Queue.cancel (! queue)));
+        broadcast_work ());
 
     (*delay loop*)
     val _ = wait_interruptible next_round scheduler_event
isabelle