Multithreading.max_threads := 0 refers to number of cores of underlying machine;
authorwenzelm
Wed Jan 02 16:33:07 2008 +0100 (2008-01-02)
changeset 257764e4eb0f87850
parent 25775 90525e67ede7
child 25777 74ee4914bb37
Multithreading.max_threads := 0 refers to number of cores of underlying machine;
NEWS
     1.1 --- a/NEWS	Wed Jan 02 16:32:53 2008 +0100
     1.2 +++ b/NEWS	Wed Jan 02 16:33:07 2008 +0100
     1.3 @@ -72,6 +72,12 @@
     1.4  
     1.5  *** System ***
     1.6  
     1.7 +* Multithreading.max_threads := 0 refers to the number of actual CPU
     1.8 +cores of the underlying machine, which is a good starting point for
     1.9 +optimal performance tuning.  The corresponding usedir option -M allows
    1.10 +"max" as an alias for "0".  WARNING: this does not work on certain
    1.11 +versions of Mac OS (with Poly/ML 5.1).
    1.12 +
    1.13  * isatool tty runs Isabelle process with plain tty interaction;
    1.14  optional line editor may be specified via ISABELLE_LINE_EDITOR
    1.15  setting, the default settings attempt to locate "ledit" and "rlwrap".