adjust max_threads_value to capabilities of Poly/ML 5.5 and current hardware;
authorwenzelm
Sun Nov 18 15:38:37 2012 +0100 (2012-11-18 ago)
changeset 5011889a14e495526
parent 50117 32755e357a51
child 50119 5c370a036de7
adjust max_threads_value to capabilities of Poly/ML 5.5 and current hardware;
NEWS
src/Pure/ML-Systems/multithreading_polyml.ML
     1.1 --- a/NEWS	Sun Nov 18 15:28:58 2012 +0100
     1.2 +++ b/NEWS	Sun Nov 18 15:38:37 2012 +0100
     1.3 @@ -261,6 +261,9 @@
     1.4  
     1.5  *** System ***
     1.6  
     1.7 +* The default limit for maximum number of worker threads is now 8,
     1.8 +instead of 4.
     1.9 +
    1.10  * The ML system is configured as regular component, and no longer
    1.11  picked up from some surrounding directory.  Potential INCOMPATIBILITY
    1.12  for home-made configurations.
     2.1 --- a/src/Pure/ML-Systems/multithreading_polyml.ML	Sun Nov 18 15:28:58 2012 +0100
     2.2 +++ b/src/Pure/ML-Systems/multithreading_polyml.ML	Sun Nov 18 15:38:37 2012 +0100
     2.3 @@ -34,7 +34,7 @@
     2.4  fun max_threads_value () =
     2.5    let val m = ! max_threads in
     2.6      if m > 0 then m
     2.7 -    else Int.min (Int.max (Thread.numProcessors (), 1), 4)
     2.8 +    else Int.min (Int.max (Thread.numProcessors (), 1), 8)
     2.9    end;
    2.10  
    2.11  fun enabled () = max_threads_value () > 1;