# HG changeset patch
# User wenzelm
# Date 1353249517 -3600
# Node ID 89a14e4955266bd6b63cd2082a1029b9c0ca1a1d
# Parent  32755e357a51d59232ea26a1bbf4b62f365ddc01
adjust max_threads_value to capabilities of Poly/ML 5.5 and current hardware;

diff -r 32755e357a51 -r 89a14e495526 NEWS
--- a/NEWS	Sun Nov 18 15:28:58 2012 +0100
+++ b/NEWS	Sun Nov 18 15:38:37 2012 +0100
@@ -261,6 +261,9 @@
 
 *** System ***
 
+* The default limit for maximum number of worker threads is now 8,
+instead of 4.
+
 * The ML system is configured as regular component, and no longer
 picked up from some surrounding directory.  Potential INCOMPATIBILITY
 for home-made configurations.
diff -r 32755e357a51 -r 89a14e495526 src/Pure/ML-Systems/multithreading_polyml.ML
--- a/src/Pure/ML-Systems/multithreading_polyml.ML	Sun Nov 18 15:28:58 2012 +0100
+++ b/src/Pure/ML-Systems/multithreading_polyml.ML	Sun Nov 18 15:38:37 2012 +0100
@@ -34,7 +34,7 @@
 fun max_threads_value () =
   let val m = ! max_threads in
     if m > 0 then m
-    else Int.min (Int.max (Thread.numProcessors (), 1), 4)
+    else Int.min (Int.max (Thread.numProcessors (), 1), 8)
   end;
 
 fun enabled () = max_threads_value () > 1;