<font size=2 face="sans-serif">Hello Thomas,</font>
<br>
<br><font size=2 face="sans-serif">Thanks for these pointers. I wasn't
aware that higer-order removal could be so fruitful. Would the code of
"OM" be publicly available/usable, for inspiration?</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>thomasl_erlang@yahoo.com</b>
</font>
<p><font size=1 face="sans-serif">11/10/2013 08:19</font>
<table border>
<tr valign=top>
<td bgcolor=white>
<div align=center><font size=1 face="sans-serif">Veuillez répondre à<br>
thomasl_erlang@yahoo.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">olivier.boudeville@edf.fr, tony@rogvall.se</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] "Fat"
BEAMs?</font></table>
<br>
<table>
<tr valign=top>
<td>
<td></table>
<br></table>
<br>
<br>
<br><font size=3 face="Arial">I should also add that Frej Drejhammar's
work on a tracing JIT emulator would enable cross-module inlining etc in
a somewhat different context, so it will be quite interesting to see what
comes from that. I've only seen a couple of conference presentations yet,
looking forward to more.</font>
<br>
<br><font size=3 face="Arial">Best,</font>
<br><font size=3 face="Arial">Thomas</font>
<br><font size=3 face="Arial"><br>
</font>
<br><font size=2 face="Arial">On Friday, October 11, 2013 8:09 AM, Thomas
Lindgren <thomasl_erlang@yahoo.com> wrote:</font>
<br><font size=3 face="Arial">Hi Olivier,</font>
<br>
<br><font size=3 face="Arial">Regarding cross-module optimization and inlining,
have a look at these:</font>
<br>
<br><a href="http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.21.4909"><font size=3 face="Arial">http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.21.4909</font></a>
<br><a href="http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.2.6496"><font size=3 face="Arial">http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.2.6496</font></a>
<br>
<br><font size=3 face="Arial">Appendix A of the second paper made me realize
how much work is going on inside mnesia. For one benchmark, that algorithm
decided to inline mnesia:dirty_write/2 something like 10 levels deep through
8 modules, resulting in a 1000-line function. The whole topic needs more
work though.</font>
<br>
<br><font size=3 face="Arial">Best,</font>
<br><font size=3 face="Arial">Thomas</font>
<br><font size=3 face="Arial"><br>
</font>
<br><font size=2 face="Arial">On Thursday, October 10, 2013 1:23 PM, Olivier
BOUDEVILLE <olivier.boudeville@edf.fr> wrote:</font>
<br><font size=2 face="sans-serif">Indeed! Additionally, it is quite recent.
</font><font size=3 face="Arial"><br>
</font><font size=2 face="sans-serif"><br>
It could be interesting to measure the speed-up that can actually be obtained,
possibly in various settings (native or not, with the various compilers,
etc.); maybe this could also allow to have Erlang shine a bit more in some
benchmarks!</font><font size=3 face="Arial"><br>
</font><font size=2 face="sans-serif"><br>
Thanks for the pointer (will definitively try it),</font><font size=3 face="Arial">
</font><font size=2 face="sans-serif"><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 47
65 27 13</font><font size=3 face="Arial"> <br>
<br>
</font>
<table width=100%>
<tr valign=top>
<td width=31%><font size=1 face="sans-serif"><b>tony@rogvall.se</b> </font>
<br><font size=1 face="sans-serif">10/10/2013 12:34</font><font size=3>
</font>
<td width=68%>
<table width=100%>
<tr valign=top>
<td width=13%>
<div align=right><font size=1 face="sans-serif">A</font></div>
<td width=86%><font size=1 face="sans-serif">olivier.boudeville@edf.fr</font><font size=3>
</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><font size=3>
</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] "Fat"
BEAMs?</font></table>
<br>
<br>
<table>
<tr valign=top>
<td>
<td></table>
<br></table>
<br><font size=3 face="Arial"><br>
<br>
<br>
Maybe give </font><a href=https://github.com/tonyrog/inline target=_blank><font size=3 color=blue face="Arial"><u>https://github.com/tonyrog/inline</u></font></a><font size=3 face="Arial">
a try? <br>
<br>
/Tony <br>
<br>
On 10 okt 2013, at 11:56, Olivier BOUDEVILLE <</font><a href=mailto:olivier.boudeville@edf.fr target=_blank><font size=3 color=blue face="Arial"><u>olivier.boudeville@edf.fr</u></font></a><font size=3 face="Arial">>
wrote: <br>
</font><font size=2 face="sans-serif"><br>
Hi,</font><font size=3 face="Arial"> </font><font size=2 face="sans-serif"><br>
<br>
Let's suppose that, thanks to a parse-transform, we fetched recursively
from other modules most if not all code explicitly callable from a given
module, so that the full code (ultimately calling only basic language constructs
and BIFs) ends up in a single (presumably big, unfolded, possibly inlined)
AST. <br>
<br>
Then, in the prospect of native compilation (HiPe, possibly others
like ErLLVM), I imagine that not only we should get rid of the overhead
of inter-module calls, but we would also give to the compiler the best
full view on which it could operate and generate the best code it could
manage?</font><font size=3 face="Arial"> </font><font size=2 face="sans-serif"><br>
<br>
Has this approach already been attempted? Would it have some potential
interest?</font><font size=3 face="Arial"> </font><font size=2 face="sans-serif"><br>
<br>
Thanks in advance for any hint,</font><font size=3 face="Arial"> </font><font size=2 face="sans-serif"><br>
Best regards,</font><font size=3 face="Arial"> </font><font size=2 face="sans-serif"><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 47
65 27 13</font><font size=3 face="Arial"> </font>
<br><font size=3 face="Arial"><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. </font>
<br><font size=3 face="Arial">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. </font>
<br><font size=3 face="Arial">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>
____________________________________________________ </font>
<br><font size=3 face="Arial">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. </font>
<br><font size=3 face="Arial">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. </font>
<br><font size=3 face="Arial">E-mail communication cannot be guaranteed
to be timely secure, error or virus-free. </font>
<br><font size=3 face="Arial">_______________________________________________<br>
erlang-questions mailing list</font><font size=3 color=blue face="Arial"><u><br>
</u></font><a href="mailto:erlang-questions@erlang.org" target=_blank><font size=3 color=blue face="Arial"><u>erlang-questions@erlang.org</u></font></a><font size=3 color=blue face="Arial"><u><br>
</u></font><a href="http://erlang.org/mailman/listinfo/erlang-questions" target=_blank><font size=3 color=blue face="Arial"><u>http://erlang.org/mailman/listinfo/erlang-questions</u></font></a><font size=3 face="Arial">
<br>
</font><font size=1 color=#2f2f2f face="Arial"><br>
"Installing applications can lead to corruption over time. Applications
gradually write over each other's libraries, partial upgrades occur, user
and system errors happen, and minute changes may be unnoticeable and difficult
to fix"</font><font size=3 face="Arial"> </font>
<br><font size=3 face="Arial"><br>
<br>
<br>
</font>
<br><font size=3 face="Arial"><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.</font>
<br><font size=3 face="Arial">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.</font>
<br><font size=3 face="Arial">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>
____________________________________________________</font>
<br><font size=3 face="Arial">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.</font>
<br><font size=3 face="Arial">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.</font>
<br><font size=3 face="Arial">E-mail communication cannot be guaranteed
to be timely secure, error or virus-free.</font>
<br>
<br><font size=3 face="Arial">_______________________________________________<br>
erlang-questions mailing list</font><font size=3 color=blue face="Arial"><u><br>
</u></font><a href="mailto:erlang-questions@erlang.org" target=_blank><font size=3 color=blue face="Arial"><u>erlang-questions@erlang.org</u></font></a><font size=3 color=blue face="Arial"><u><br>
</u></font><a href="http://erlang.org/mailman/listinfo/erlang-questions" target=_blank><font size=3 color=blue face="Arial"><u>http://erlang.org/mailman/listinfo/erlang-questions</u></font></a>
<br><font size=3 face="Arial"><br>
</font>
<br>
<br><font size=3 face="Arial">_______________________________________________<br>
erlang-questions mailing list</font><font size=3 color=blue face="Arial"><u><br>
</u></font><a href="mailto:erlang-questions@erlang.org"><font size=3 color=blue face="Arial"><u>erlang-questions@erlang.org</u></font></a><font size=3 color=blue face="Arial"><u><br>
</u></font><a href="http://erlang.org/mailman/listinfo/erlang-questions" target=_blank><font size=3 color=blue face="Arial"><u>http://erlang.org/mailman/listinfo/erlang-questions</u></font></a>
<br><font size=3 face="Arial"><br>
</font>
<br><p></p>
<p><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.</p>
<p>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.</p>
<p>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>
____________________________________________________</p>
<p>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.</p>
<p>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.</p>
<p>E-mail communication cannot be guaranteed to be timely secure, error or virus-free.</p>