[erlang-questions] PLT for R15B

[Olivier BOUDEVILLE]

Hi,

Not exactly, the computers we use routinely have at least 8GB of RAM, so 
we hadn't noticed anything until trying to do the same with older laptops.

I was thinking that due to the better compactness of 32-bit VMs and to the 
potential use of swap (I *suppose* it was used indeed) this could have 
worked on these computers, but even in a lean and mean context with as 
much memory freed as possible before launching Dialyzer, this could not do 
the trick.

Actually we integrated some time ago an automatic PLT generation into our 
custom script to install Erlang (from sources), this is why we ended up 
generating the PLT on different kinds of computers (not knowing to what 
extent we could build once for all a PLT for a given Erlang version; 
architectures and paths may differ, possibly causing issues). 

It boils down in our case to run: $dialyzer_exec --build_plt -r 
$erlang_beam_root --output_plt $actual_plt_file

and indeed it is quite long (less than two hours here, though) but 
terminates (provided there is enough RAM of course).

Not sure such a PLT could be generated incrementally in a simple manner 
with the same global level of checking?

Best regards,

Olivier.
---------------------------
Olivier Boudeville

EDF R&D : 1, avenue du Général de Gaulle, 92140 Clamart, France
Département SINETICS, groupe ASICS (I2A), bureau B-226
Office : +33 1 47 65 59 58 / Mobile : +33 6 16 83 37 22 / Fax : +33 1 47 
65 27 13



bengt.kleberg@REDACTED 
Envoyé par : erlang-questions-bounces@REDACTED
05/01/2012 10:53
Veuillez répondre à
bengt.kleberg@REDACTED


A
undisclosed-recipients:;
cc
erlang-questions@REDACTED
Objet
Re: [erlang-questions] PLT for R15B






Greetings,

You mention that you no longer get memory exhaustion when building a PLT
for OTP. Is this correct? When I did

dialyzer -build_otp -r lib/*-0/ebin

I run out of memory on a 4 GB Linux machine.


bengt

On Thu, 2012-01-05 at 10:37 +0100, Olivier BOUDEVILLE wrote:
> 
> Hi, 
> 
> Just to report a few warnings that are output when generating the full
> PLT for R15B, as it may highlight a few minor defects: 
> 
> """ 
> client_server.erl:34: Call to missing or unexported function
> ssl:seed/1 
> client_server.erl:49: Call to missing or unexported function
> ssl:peercert/2 
> client_server.erl:66: Call to missing or unexported function
> ssl:peercert/2 
> eunit_test.erl:302: Call to missing or unexported function
> eunit_test:nonexisting_function/0 
> xrc.erl:124: Call to missing or unexported function
> wxXmlResource:reload/2 
> Unknown functions: 
>   asn1rt_driver_handler:load_driver/0 
>   wxWindows:'Destroy'/1 
>   wx_core:quit/0 
> """
> 
> On a side note, even before R15B, on some low-end computers (typically
> a 32-bit laptop with only 1GB of RAM, yet with some swap) we were not
> able anymore to generate that kind of full PLT, due to memory
> exhaustion. 
> 
> As for eunit_test:nonexisting_function/0, this does not look at all as
> a defect, so it might be interesting to be able to hide those expected
> warnings one way or another (dialyzer suppression files anyone?). 
> 
> Best regards, 
> 
> Olivier.
> ---------------------------
> Olivier Boudeville
> 
> EDF R&D : 1, avenue du Général de Gaulle, 92140 Clamart, France
> Département SINETICS, groupe ASICS (I2A), bureau B-226
> Office : +33 1 47 65 59 58 / Mobile : +33 6 16 83 37 22 / Fax : +33 1
> 47 65 27 13
> 
> 
> Ce message et toutes les pièces jointes (ci-après le 'Message') sont
> établis à l'intention exclusive des destinataires et les informations
> qui y figurent sont strictement confidentielles. Toute utilisation de
> ce Message non conforme à sa destination, toute diffusion ou toute
> publication totale ou partielle, est interdite sauf autorisation
> expresse.
> 
> Si vous n'êtes pas le destinataire de ce Message, il vous est interdit
> de le copier, de le faire suivre, de le divulguer ou d'en utiliser
> tout ou partie. Si vous avez reçu ce Message par erreur, merci de le
> supprimer de votre système, ainsi que toutes ses copies, et de n'en
> garder aucune trace sur quelque support que ce soit. Nous vous
> remercions également d'en avertir immédiatement l'expéditeur par
> retour du message.
> 
> Il est impossible de garantir que les communications par messagerie
> électronique arrivent en temps utile, sont sécurisées ou dénuées de
> toute erreur ou virus.
> ____________________________________________________
> 
> This message and any attachments (the 'Message') are intended solely
> for the addressees. The information contained in this Message is
> confidential. Any use of information contained in this Message not in
> accord with its purpose, any dissemination or disclosure, either whole
> or partial, is prohibited except formal approval.
> 
> If you are not the addressee, you may not copy, forward, disclose or
> use any part of it. If you have received this message in error, please
> delete it and all copies from your system and notify the sender
> immediately by return message.
> 
> E-mail communication cannot be guaranteed to be timely secure, error
> or virus-free.

_______________________________________________
erlang-questions mailing list
erlang-questions@REDACTED
http://erlang.org/mailman/listinfo/erlang-questions




Ce message et toutes les pièces jointes (ci-après le 'Message') sont établis à l'intention exclusive des destinataires et les informations qui y figurent sont strictement confidentielles. Toute utilisation de ce Message non conforme à sa destination, toute diffusion ou toute publication totale ou partielle, est interdite sauf autorisation expresse.

Si vous n'êtes pas le destinataire de ce Message, il vous est interdit de le copier, de le faire suivre, de le divulguer ou d'en utiliser tout ou partie. Si vous avez reçu ce Message par erreur, merci de le supprimer de votre système, ainsi que toutes ses copies, et de n'en garder aucune trace sur quelque support que ce soit. Nous vous remercions également d'en avertir immédiatement l'expéditeur par retour du message.

Il est impossible de garantir que les communications par messagerie électronique arrivent en temps utile, sont sécurisées ou dénuées de toute erreur ou virus.
____________________________________________________

This message and any attachments (the 'Message') are intended solely for the addressees. The information contained in this Message is confidential. Any use of information contained in this Message not in accord with its purpose, any dissemination or disclosure, either whole or partial, is prohibited except formal approval.

If you are not the addressee, you may not copy, forward, disclose or use any part of it. If you have received this message in error, please delete it and all copies from your system and notify the sender immediately by return message.

E-mail communication cannot be guaranteed to be timely secure, error or virus-free.
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://erlang.org/pipermail/erlang-questions/attachments/20120105/418dbb38/attachment.htm>