[erlang-patches] Parallel Dialyzer

Gustav Simonsson <>
Wed Mar 21 09:57:01 CET 2012


Hi,

We've refetched this branch and moved it from the 'master-opu' branch to 
the 'opu' branch.

Regards,
Gustav Simonsson
Erlang/OTP team

On 2012-03-20 18:48, Stavros Aronis wrote:
> 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 
> <http://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 < 
> <mailto:>> 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
>>     <http://github.com/aronisstav/otp.git> dialyzer-parallel
>>
>>     Try it and send us any feedback you may have!
>>
>>     Cheers,
>>
>>     Stavros & Kostis
>>
>>
>>     _______________________________________________
>>     erlang-patches mailing list
>>       <mailto:>
>>     http://erlang.org/mailman/listinfo/erlang-patches
>
>

-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://erlang.org/pipermail/erlang-patches/attachments/20120321/5271dcc6/attachment.html>


More information about the erlang-patches mailing list