diff options
author | Hans Bolinder <[email protected]> | 2017-01-24 08:46:45 +0100 |
---|---|---|
committer | Hans Bolinder <[email protected]> | 2017-02-03 08:58:01 +0100 |
commit | c2a3a1cdf56009630532805f9bed830e2041427d (patch) | |
tree | c18c36f22cd225f48e5dbae1d1399048e70e58ad /otp_build | |
parent | 416711a87dcc937d78990ada5da0b8df98a8e1ee (diff) | |
download | otp-c2a3a1cdf56009630532805f9bed830e2041427d.tar.gz otp-c2a3a1cdf56009630532805f9bed830e2041427d.tar.bz2 otp-c2a3a1cdf56009630532805f9bed830e2041427d.zip |
dialyzer: Do not spawn all workers at once
Spawning all worker processes at once has the potential to increase
peak memory consumption. Therefore the implementation is now slightly
modified: `20 * dialyzer_utils:parallelism()' processes are running in
parallel. 20 i quite a big factor, but seems necessary to keep all
schedulers busy according to the Observer application's Load Charts,
with a 100 ms update interval.
Diffstat (limited to 'otp_build')
0 files changed, 0 insertions, 0 deletions