src/Pure/ML-Systems/multithreading_polyml.ML
changeset 33180 e1b0280f0299
parent 32738 15bb09ca0378
child 33219 a69147d95957
     1.1 --- a/src/Pure/ML-Systems/multithreading_polyml.ML	Mon Oct 26 11:30:20 2009 +0100
     1.2 +++ b/src/Pure/ML-Systems/multithreading_polyml.ML	Mon Oct 26 11:36:23 2009 +0100
     1.3 @@ -41,7 +41,7 @@
     1.4    let val m = ! max_threads in
     1.5      if m > 0 then m
     1.6      else if not tested_platform then 1
     1.7 -    else Int.min (Int.max (Thread.numProcessors (), 1), 8)
     1.8 +    else Int.min (Int.max (Thread.numProcessors (), 1), 4)
     1.9    end;
    1.10  
    1.11  fun enabled () = max_threads_value () > 1;