[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
processors.

Regards,
Stavros

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