--- a/src/Pure/Concurrent/future.ML Thu Jan 24 17:18:13 2013 +0100
+++ b/src/Pure/Concurrent/future.ML Thu Jan 24 17:31:12 2013 +0100
@@ -318,9 +318,10 @@
(* runtime status *)
val _ =
- if tick then Unsynchronized.change status_ticks (fn i => (i + 1) mod 10) else ();
+ if tick then Unsynchronized.change status_ticks (fn i => i + 1) else ();
val _ =
- if tick andalso ! status_ticks = 0 then report_status () else ();
+ if tick andalso ! status_ticks mod (if ! Multithreading.trace >= 1 then 2 else 10) = 0
+ then report_status () else ();
val _ =
if forall (Thread.isActive o #1) (! workers) then ()