implicit default is 4 cores -- more cost-effective;
authorwenzelm
Mon Oct 26 11:36:23 2009 +0100 (2009-10-26 ago)
changeset 33180e1b0280f0299
parent 33179 f35905921049
child 33181 50268fcec3ce
implicit default is 4 cores -- more cost-effective;
src/Pure/ML-Systems/multithreading_polyml.ML
     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;