[erlang-questions] dialyzer in R11B-4
Wed Apr 25 15:58:30 CEST 2007
We will probably also distribute R11B-5 as a "pre-built OTP package"
with most platform-independent build results included (including
dialyzers initial plt).
Rickard Green, Erlang/OTP, Ericsson AB.
Kostis Sagonas wrote:
> Jay Edwards wrote:
>> On 4/25/07, *Ulf Wiger (TN/EAB)* <ulf.wiger@REDACTED
>> <mailto:ulf.wiger@REDACTED>> wrote:
>> I'll try to get back to figuring out why
>> Dialyzer crashed in the first place
>> (the reason why I tried to disable it.)
>> I've had one reproducible crash while building the Dialyzer -- it was in
>> a relatively resource constrained system, and basically I ran out of
>> swap space while generating the PLTs.
> Indeed such crashes can happen in a system that does not have enough
> memory (e.g has less than 512M of RAM).
> The Dialyzer version which will be part of R11B-5 improves significantly
> in this respect, but Erlang/OTP has no mechanism to gracefully recover
> when it runs out of memory (when it cannot allocate enough memory for a
> heap expansion).
> erlang-questions mailing list
More information about the erlang-questions