[isabelle] isabelle build: number of threads
I started a build where with -v I got
and my ~/.isabelle/Isabelle2013-2/etc/settings is
My processor is an i7-3630QM (4 cores, 8 threads; which are reported as
8 cores in /proc/cpuinfo ). So I would expect that by default 8 threads
are used by "isabelle build". However, I get messages like the following
Timing <session-name> (4 threads, 44.314s elapsed time, 158.450s cpu
time, 34.924s GC time, factor 3.58)
Finished <session-name> (0:00:57 elapsed time, 0:02:56 cpu time,
Indicating that only 4 threads are used. When I do the same thing on a
different machine with an i7-3520M (2 cores, 4 threads) the
corresponding messages are also saying "4 threads".
So my question is, how is the number of threads determined when
ISASBELLE_BUILD_OPTIONS is empty?
This archive was generated by a fusion of
Pipermail (Mailman edition) and