aboutsummaryrefslogtreecommitdiffstats
path: root/lib/dialyzer/src/dialyzer_utils.erl
diff options
context:
space:
mode:
authorHans Bolinder <[email protected]>2016-12-15 09:59:53 +0100
committerHans Bolinder <[email protected]>2017-01-11 09:34:59 +0100
commit2bcf8a6159e3b370739b835b52b95ff73c54776f (patch)
tree5c14443d791d340f48bc155d03d5fa0863d2e1b8 /lib/dialyzer/src/dialyzer_utils.erl
parent657760e18087b0cdbaecc5e96e46f6f66bc9497a (diff)
downloadotp-2bcf8a6159e3b370739b835b52b95ff73c54776f.tar.gz
otp-2bcf8a6159e3b370739b835b52b95ff73c54776f.tar.bz2
otp-2bcf8a6159e3b370739b835b52b95ff73c54776f.zip
dialyzer: Update code for finding parallelism
Using erlang:system_info(schedulers_online) for determining parallelism is recommended by OTP experts. It takes care of "+S 4:1" and simultaneous loading of HiPE code.
Diffstat (limited to 'lib/dialyzer/src/dialyzer_utils.erl')
-rw-r--r--lib/dialyzer/src/dialyzer_utils.erl4
1 files changed, 1 insertions, 3 deletions
diff --git a/lib/dialyzer/src/dialyzer_utils.erl b/lib/dialyzer/src/dialyzer_utils.erl
index 1f2d3e3aaa..921644422e 100644
--- a/lib/dialyzer/src/dialyzer_utils.erl
+++ b/lib/dialyzer/src/dialyzer_utils.erl
@@ -959,9 +959,7 @@ label(Tree) ->
-spec parallelism() -> integer().
parallelism() ->
- CPUs = erlang:system_info(logical_processors_available),
- Schedulers = erlang:system_info(schedulers),
- min(CPUs, Schedulers).
+ erlang:system_info(schedulers_online).
-spec family([{K,V}]) -> [{K,[V]}].