[erlang-patches] Parallel Dialyzer
Tue Mar 20 18:48:32 CET 2012
After taking some early reviews into consideration, I have updated the
branch. It is now based on 'maint'.
git fetch git://github.com/aronisstav/otp.git dialyzer-parallel
One of the major concerns about the parallel version is memory consumption.
There is now a fallback into the sequential mode that consumes a lot less
memory and is enabled if the machine you are running Dialyzer on has only
one logical processor or only one scheduler. Dialyzer supports the '+S <N>'
as an option to specify the number of schedulers, so if you are on a
multi-core you can activate the fallback by using "dialyzer +S 1 ...".
Otherwise the number of schedulers is equal to the number of logical
On Mon, Mar 19, 2012 at 4:51 PM, Gustav Simonsson <> wrote:
> This branch has been added to the 'master-opu' branch.
> We'll get back to you with feedback once it has been reviewed.
> Thank you for the contribution!
> Gustav Simonsson
> Erlang/OTP team
> On 2012-03-19 16:18, Stavros Aronis wrote:
> Hi all,
> Dialyzer's inner machinery has been rewritten to run faster on
> multi-core machines. The relevant branch, based on current 'master', is
> available at:
> git fetch git://github.com/aronisstav/otp.git dialyzer-parallel
> Try it and send us any feedback you may have!
> Stavros & Kostis
> erlang-patches mailing ://erlang.org/mailman/listinfo/erlang-patches
-------------- next part --------------
An HTML attachment was scrubbed...
More information about the erlang-patches