diff options
| author | Hans Bolinder <[email protected]> | 2016-12-15 09:59:53 +0100 |
|---|---|---|
| committer | Hans Bolinder <[email protected]> | 2017-01-11 09:34:59 +0100 |
| commit | 2bcf8a6159e3b370739b835b52b95ff73c54776f (patch) | |
| tree | 5c14443d791d340f48bc155d03d5fa0863d2e1b8 /lib/dialyzer/src | |
| parent | 657760e18087b0cdbaecc5e96e46f6f66bc9497a (diff) | |
| download | otp-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')
| -rw-r--r-- | lib/dialyzer/src/dialyzer_utils.erl | 4 |
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]}]. |