--- 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.
--- 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;