<html>
<head>
<meta http-equiv="Content-Type" content="text/html; charset=koi8-r">
<style type="text/css" style="display:none"><!-- p { margin-top: 0px; margin-bottom: 0px; }--></style>
</head>
<body dir="ltr" style="font-size:12pt;color:#000000;background-color:#FFFFFF;font-family:Calibri,Arial,Helvetica,sans-serif;">
<p><span style="color: rgb(33, 33, 33); font-size: 12pt;">>That's a hypothesis and not a proved theory nor even an observation. I'm sorry but I can't LGTM a performance improvement patch that were </span></p>
<p><span style="color: rgb(33, 33, 33); font-size: 12pt;">>not backed by a reasonable theory, as it would create a cargo cult.</span><br>
</p>
<div style="color: rgb(33, 33, 33);">
<div>
<div dir="ltr">
<div class="gmail_extra">
<div class="gmail_quote">
<div>> </div>
<div>>I spend a few hours to find out why the time to resolve dynamic symbols differs depending on Shift2. It looks like hash values are fairly nicely distributed, and I >couldn't figure out the reason. Unfortunately I don't have enough time to investigate
it further at the moment. Maybe we both spent too much time on this.</div>
<div>> </div>
<div>>You could spend more time on this to figure it out, but I guess that this is not the highest priority thing in your todo list. If you want to work on this, you want to take a >look at the dynamic linker and trace it to understand what's going on there.
But again I'm not sure if you want to do that now.<br>
</div>
<div><br>
</div>
<div>Thanks for your time, Rui. <span style="font-size: 12pt;">I </span><span style="font-size: 12pt;">f</span><span style="font-size: 12pt;">eel the same. It is very interesting to find the reason for me and </span><span style="font-size: 12pt;">I think tracing dynamic
linker can probably</span></div>
<div><span style="font-size: 12pt;">be a key to solution, though It should be time consuming (it already was) <span style="color: rgb(33, 33, 33); font-family: Calibri, Arial, Helvetica, sans-serif; font-size: 16px; background-color: rgb(255, 255, 255);">and</span><span style="color: rgb(33, 33, 33); font-family: Calibri, Arial, Helvetica, sans-serif; font-size: 16px; background-color: rgb(255, 255, 255);"> you
right about </span><span style="color: rgb(33, 33, 33); font-family: Calibri, Arial, Helvetica, sans-serif; font-size: 16px; background-color: rgb(255, 255, 255);">it is not highest</span><span style="color: rgb(33, 33, 33); font-family: Calibri, Arial, Helvetica, sans-serif; font-size: 16px; background-color: rgb(255, 255, 255);"> </span><span style="color: rgb(33, 33, 33); font-family: Calibri, Arial, Helvetica, sans-serif; font-size: 16px; background-color: rgb(255, 255, 255);">priority
atm.</span></span></div>
<div><span style="font-size: 12pt;"><span style="color: rgb(33, 33, 33); font-family: Calibri, Arial, Helvetica, sans-serif; font-size: 16px; background-color: rgb(255, 255, 255);">I'll suspend this patch for now.</span></span></div>
<div><span style="font-size: 12pt;"><br>
</span></div>
<div><span style="font-size: 12pt;">George.</span></div>
<div><br>
</div>
</div>
</div>
</div>
</div>
</div>
</body>
</html>