[erlang-patches] Parallel Dialyzer
Wed Mar 21 09:57:01 CET 2012
We've refetched this branch and moved it from the 'master-opu' branch to
the 'opu' branch.
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.
> 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!
> 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!
>> Stavros & Kostis
>> erlang-patches mailing list
-------------- next part --------------
An HTML attachment was scrubbed...
More information about the erlang-patches