[erlang-patches] Parallel Dialyzer

Stavros Aronis <>
Tue Mar 20 18:48:32 CET 2012

Hi again,

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!
> Regards,
> 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!
>  Cheers,
>  Stavros & Kostis
> _______________________________________________
> erlang-patches mailing ://erlang.org/mailman/listinfo/erlang-patches
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://erlang.org/pipermail/erlang-patches/attachments/20120320/f451d82f/attachment.html>

More information about the erlang-patches mailing list