Wladimir J. van der Laan 47162673c7 Use real number of cores for default -par, ignore virtual cores
To determine the default for `-par`, the number of script verification
threads, use [boost:🧵:physical_concurrency()](http://www.boost.org/doc/libs/1_58_0/doc/html/thread/thread_management.html#thread.thread_management.thread.physical_concurrency)
which counts only physical cores, not virtual cores.

Virtual cores are roughly a set of cached registers to avoid context
switches while threading, they cannot actually perform work, so spawning
a verification thread for them could even reduce efficiency and will put
undue load on the system.

Should fix issue #6358, as well as some other reported system overload
issues, especially on Intel processors.

The function was only introduced in boost 1.56, so provide a utility
function `GetNumCores` to fall back for older Boost versions.
2015-07-01 18:01:16 +02:00
..
2015-06-26 14:42:45 +02:00
2015-03-06 15:54:53 +01:00
2015-06-26 14:42:45 +02:00
2015-04-22 14:03:10 -07:00
2015-06-26 14:42:45 +02:00
2015-06-23 12:40:00 +02:00
2015-06-04 19:34:18 +02:00
2014-12-19 19:55:32 +01:00
2015-05-02 15:23:59 +00:00
2015-04-30 07:58:29 -07:00
2015-05-04 08:01:58 +02:00
2015-05-02 15:23:59 +00:00
2015-05-01 11:21:27 +00:00
2015-05-01 11:21:27 +00:00
2014-12-19 19:55:32 +01:00
2014-12-19 19:55:32 +01:00
2014-12-19 19:55:32 +01:00
2015-05-06 18:37:49 +02:00
2015-05-06 18:37:49 +02:00
2015-03-22 15:18:55 -04:00
2014-12-19 19:55:32 +01:00
2015-06-26 15:40:59 +02:00
2015-06-15 09:57:33 +02:00
2015-05-14 14:27:07 -04:00
2015-05-11 17:56:48 -07:00
2015-05-01 11:21:27 +00:00
2015-05-01 11:21:27 +00:00
2015-06-17 21:40:55 +02:00
2015-06-17 21:40:55 +02:00
2014-12-19 19:55:32 +01:00
2014-12-19 19:55:32 +01:00
2014-12-19 19:55:32 +01:00
2015-06-23 12:40:00 +02:00
2015-06-05 07:11:44 +02:00
2015-06-17 21:40:56 +02:00
2015-06-23 12:40:00 +02:00
2015-06-23 12:40:00 +02:00
2015-05-16 17:59:23 -04:00
2015-05-14 01:02:01 -04:00
2015-04-20 13:29:21 +02:00
2015-01-02 17:54:21 +01:00
2014-12-19 19:55:32 +01:00
2015-05-11 17:58:14 -07:00
2014-12-19 19:55:32 +01:00
2014-12-19 19:55:32 +01:00