<br><font size=2 face="sans-serif">Hi,</font>
<br>
<br><font size=2 face="sans-serif">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.</font>
<br>
<br><font size=2 face="sans-serif">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.</font>
<br>
<br><font size=2 face="sans-serif">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). </font>
<br>
<br><font size=2 face="sans-serif">It boils down in our case to run: $dialyzer_exec
--build_plt -r $erlang_beam_root --output_plt $actual_plt_file</font>
<br>
<br><font size=2 face="sans-serif">and indeed it is quite long (less than
two hours here, though) but terminates (provided there is enough RAM of
course).</font>
<br>
<br><font size=2 face="sans-serif">Not sure such a PLT could be generated
incrementally in a simple manner with the same global level of checking?</font>
<br>
<br><font size=2 face="sans-serif">Best regards,</font>
<br><font size=2 face="sans-serif"><br>
Olivier.<br>
---------------------------<br>
Olivier Boudeville<br>
<br>
EDF R&D : 1, avenue du Général de Gaulle, 92140 Clamart, France<br>
Département SINETICS, groupe ASICS (I2A), bureau B-226<br>
Office : +33 1 47 65 59 58 / Mobile : +33 6 16 83 37 22 / Fax : +33 1 47
65 27 13</font>
<br>
<br>
<br>
<table width=100%>
<tr valign=top>
<td width=40%><font size=1 face="sans-serif"><b>bengt.kleberg@ericsson.com</b>
</font>
<br><font size=1 face="sans-serif">Envoyé par : erlang-questions-bounces@erlang.org</font>
<p><font size=1 face="sans-serif">05/01/2012 10:53</font>
<table border>
<tr valign=top>
<td bgcolor=white>
<div align=center><font size=1 face="sans-serif">Veuillez répondre à<br>
bengt.kleberg@ericsson.com</font></div></table>
<br>
<td width=59%>
<table width=100%>
<tr valign=top>
<td>
<div align=right><font size=1 face="sans-serif">A</font></div>
<td><font size=1 face="sans-serif">undisclosed-recipients:;</font>
<tr valign=top>
<td>
<div align=right><font size=1 face="sans-serif">cc</font></div>
<td><font size=1 face="sans-serif">erlang-questions@erlang.org</font>
<tr valign=top>
<td>
<div align=right><font size=1 face="sans-serif">Objet</font></div>
<td><font size=1 face="sans-serif">Re: [erlang-questions] PLT for R15B</font></table>
<br>
<table>
<tr valign=top>
<td>
<td></table>
<br></table>
<br>
<br>
<br><tt><font size=2>Greetings,<br>
<br>
You mention that you no longer get memory exhaustion when building a PLT<br>
for OTP. Is this correct? When I did<br>
<br>
dialyzer -build_otp -r lib/*-0/ebin<br>
<br>
I run out of memory on a 4 GB Linux machine.<br>
<br>
<br>
bengt<br>
<br>
On Thu, 2012-01-05 at 10:37 +0100, Olivier BOUDEVILLE wrote:<br>
> <br>
> Hi, <br>
> <br>
> Just to report a few warnings that are output when generating the
full<br>
> PLT for R15B, as it may highlight a few minor defects: <br>
> <br>
> """ <br>
> client_server.erl:34: Call to missing or unexported function<br>
> ssl:seed/1 <br>
> client_server.erl:49: Call to missing or unexported function<br>
> ssl:peercert/2 <br>
> client_server.erl:66: Call to missing or unexported function<br>
> ssl:peercert/2 <br>
> eunit_test.erl:302: Call to missing or unexported function<br>
> eunit_test:nonexisting_function/0 <br>
> xrc.erl:124: Call to missing or unexported function<br>
> wxXmlResource:reload/2 <br>
> Unknown functions: <br>
>   asn1rt_driver_handler:load_driver/0 <br>
>   wxWindows:'Destroy'/1 <br>
>   wx_core:quit/0 <br>
> """<br>
> <br>
> On a side note, even before R15B, on some low-end computers (typically<br>
> a 32-bit laptop with only 1GB of RAM, yet with some swap) we were
not<br>
> able anymore to generate that kind of full PLT, due to memory<br>
> exhaustion. <br>
> <br>
> As for eunit_test:nonexisting_function/0, this does not look at all
as<br>
> a defect, so it might be interesting to be able to hide those expected<br>
> warnings one way or another (dialyzer suppression files anyone?).
<br>
> <br>
> Best regards, <br>
> <br>
> Olivier.<br>
> ---------------------------<br>
> Olivier Boudeville<br>
> <br>
> EDF R&D : 1, avenue du Général de Gaulle, 92140 Clamart, France<br>
> Département SINETICS, groupe ASICS (I2A), bureau B-226<br>
> Office : +33 1 47 65 59 58 / Mobile : +33 6 16 83 37 22 / Fax : +33
1<br>
> 47 65 27 13<br>
> <br>
> <br>
> Ce message et toutes les pièces jointes (ci-après le 'Message') sont<br>
> établis à l'intention exclusive des destinataires et les informations<br>
> qui y figurent sont strictement confidentielles. Toute utilisation
de<br>
> ce Message non conforme à sa destination, toute diffusion ou toute<br>
> publication totale ou partielle, est interdite sauf autorisation<br>
> expresse.<br>
> <br>
> Si vous n'êtes pas le destinataire de ce Message, il vous est interdit<br>
> de le copier, de le faire suivre, de le divulguer ou d'en utiliser<br>
> tout ou partie. Si vous avez reçu ce Message par erreur, merci de
le<br>
> supprimer de votre système, ainsi que toutes ses copies, et de n'en<br>
> garder aucune trace sur quelque support que ce soit. Nous vous<br>
> remercions également d'en avertir immédiatement l'expéditeur par<br>
> retour du message.<br>
> <br>
> Il est impossible de garantir que les communications par messagerie<br>
> électronique arrivent en temps utile, sont sécurisées ou dénuées de<br>
> toute erreur ou virus.<br>
> ____________________________________________________<br>
> <br>
> This message and any attachments (the 'Message') are intended solely<br>
> for the addressees. The information contained in this Message is<br>
> confidential. Any use of information contained in this Message not
in<br>
> accord with its purpose, any dissemination or disclosure, either whole<br>
> or partial, is prohibited except formal approval.<br>
> <br>
> If you are not the addressee, you may not copy, forward, disclose
or<br>
> use any part of it. If you have received this message in error, please<br>
> delete it and all copies from your system and notify the sender<br>
> immediately by return message.<br>
> <br>
> E-mail communication cannot be guaranteed to be timely secure, error<br>
> or virus-free.<br>
<br>
_______________________________________________<br>
erlang-questions mailing list<br>
erlang-questions@erlang.org<br>
http://erlang.org/mailman/listinfo/erlang-questions<br>
</font></tt>
<br><font face="monospace"><br>
<br>
<br>
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.<br>
<br>
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.<br>
<br>
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.<br>
____________________________________________________<br>
<br>
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.<br>
<br>
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.<br>
<br>
E-mail communication cannot be guaranteed to be timely secure, error or virus-free.</font>