Hi Andrew,<div><br></div><div>Thanks for your reply. The two different exceptions you mentioned is insightful I tried your suggestion. But that does not help. The NaN errors still occur. I also tried to put extra dummy float point operations in page fault handler. And that does not help, either.</div>
<div><br></div><div>Thanks,</div><div>Jinghao<br><br><div class="gmail_quote">On Sun, Dec 2, 2012 at 2:06 AM, Andrew Baumann <span dir="ltr"><<a href="mailto:Andrew.Baumann@microsoft.com" target="_blank">Andrew.Baumann@microsoft.com</a>></span> wrote:<br>
<blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">
<div lang="EN-AU" link="#0563C1" vlink="#954F72">
<div>
<p class="MsoNormal"><span style="font-size:11.0pt;font-family:"Calibri","sans-serif";color:#1f497d">Hi Jinghao,<u></u><u></u></span></p>
<p class="MsoNormal"><span style="font-size:11.0pt;font-family:"Calibri","sans-serif";color:#1f497d"><u></u> <u></u></span></p>
<p class="MsoNormal"><span style="font-size:11.0pt;font-family:"Calibri","sans-serif";color:#1f497d">I notice that the first time you use floating point in this program is when writing to the array. There should be two different exceptions
raised and handled here: one for the page fault, and one for the first use of the floating point hardware (which we lazily context-switch). My guess is that the page-fault path, which is not heavily exercised, does not interact well with the floating point
save/restore code.<u></u><u></u></span></p>
<p class="MsoNormal"><span style="font-size:11.0pt;font-family:"Calibri","sans-serif";color:#1f497d"><u></u> <u></u></span></p>
<p class="MsoNormal"><span style="font-size:11.0pt;font-family:"Calibri","sans-serif";color:#1f497d">If you initialise the floating point hardware by doing some other floating point operations (or writing to a statically allocated
variable) beforehand, does the problem go away?<u></u><u></u></span></p>
<p class="MsoNormal"><span style="font-size:11.0pt;font-family:"Calibri","sans-serif";color:#1f497d"><u></u> <u></u></span></p>
<p class="MsoNormal"><span style="font-size:11.0pt;font-family:"Calibri","sans-serif";color:#1f497d">Andrew<u></u><u></u></span></p>
<p class="MsoNormal"><span style="font-size:11.0pt;font-family:"Calibri","sans-serif";color:#1f497d"><u></u> <u></u></span></p>
<p class="MsoNormal"><b><span lang="EN-US" style="font-size:11.0pt;font-family:"Calibri","sans-serif"">From:</span></b><span lang="EN-US" style="font-size:11.0pt;font-family:"Calibri","sans-serif""> Shi Jinghao [mailto:<a href="mailto:jhshi@cs.hku.hk" target="_blank">jhshi@cs.hku.hk</a>]
<br>
<b>Sent:</b> Saturday, 1 December 2012 02:20<br>
<b>To:</b> <a href="mailto:barrelfish-users@lists.inf.ethz.ch" target="_blank">barrelfish-users@lists.inf.ethz.ch</a><br>
<b>Subject:</b> [Barrelfish-users] A Weird Bug about Page Fault<u></u><u></u></span></p><div><div class="h5">
<p class="MsoNormal"><u></u> <u></u></p>
<p class="MsoNormal">Hi,<u></u><u></u></p>
<div>
<p class="MsoNormal"><u></u> <u></u></p>
</div>
<div>
<p class="MsoNormal">I've been developing a memory management library on Barrelfish (SCC). Recently I bumped into a very weird bug about page fault. I attached a minimal case (pgfault_test.tgz) that can reproduce this bug.<u></u><u></u></p>
</div>
<div>
<p class="MsoNormal"><u></u> <u></u></p>
</div>
<div>
<p class="MsoNormal">The work flow of the test case is as simple as following:<u></u><u></u></p>
</div>
<div>
<p class="MsoNormal"><u></u> <u></u></p>
</div>
<div>
<p class="MsoNormal">1) Allocate an array of doubles as read-only, using frame_alloc and vspace_map_one_frame_attr (or pmap->f.map, this doesn't matter)<u></u><u></u></p>
</div>
<div>
<p class="MsoNormal"><u></u> <u></u></p>
</div>
<div>
<p class="MsoNormal">2) Initiate the array, this will generate page fault<u></u><u></u></p>
</div>
<div>
<p class="MsoNormal"><u></u> <u></u></p>
</div>
<div>
<p class="MsoNormal">3) In page fault handler, remap the faulted page as read-write, using pmap->f.modify_flags<u></u><u></u></p>
</div>
<div>
<p class="MsoNormal"><u></u> <u></u></p>
</div>
<div>
<p class="MsoNormal">The weird thing is: the first touch of this array will not result in a proper value, but just NaN!<u></u><u></u></p>
</div>
<div>
<p class="MsoNormal"><u></u> <u></u></p>
</div>
<div>
<p class="MsoNormal">I've conducted several runs and found the following:<u></u><u></u></p>
</div>
<div>
<p class="MsoNormal"><u></u> <u></u></p>
</div>
<div>
<p class="MsoNormal">1) This bug will occur when the array type is double or float. Everything is fine if it's a integer array.<u></u><u></u></p>
</div>
<div>
<p class="MsoNormal"><u></u> <u></u></p>
</div>
<div>
<p class="MsoNormal">2) Only the item that caused the page fault will end in a NaN value, others items are just fine. And this applies when the faulted be anywhere within that page, not just the page start.<u></u><u></u></p>
</div>
<div>
<p class="MsoNormal"><u></u> <u></u></p>
</div>
<div>
<p class="MsoNormal">3) If you assign each array value with a constant value (say 1.0), or a int/double variable, then all items will end up with a right value. It seems only when we assign a[i] with i (or any expression contains i) will produce this bug.<u></u><u></u></p>
</div>
<div>
<p class="MsoNormal"><u></u> <u></u></p>
</div>
<div>
<div>
<p class="MsoNormal">I tested the attached code in release2012-05-25 (the revision I work on) and the latest revision (release2012-10-03).<u></u><u></u></p>
</div>
</div>
<div>
<p class="MsoNormal"><u></u> <u></u></p>
</div>
<div>
<p class="MsoNormal">I've also composed a minimal test case in sccLinux (write_fault.c). It turns out that everything is all good. No annoying NaN values.<u></u><u></u></p>
</div>
<div>
<p class="MsoNormal"><u></u> <u></u></p>
</div>
<div>
<p class="MsoNormal">This bug has bothered me for quite a few days. Really appreciate if someone can give a hint on this.<u></u><u></u></p>
</div>
<div>
<p class="MsoNormal"><u></u> <u></u></p>
</div>
<div>
<p class="MsoNormal">Thanks,<u></u><u></u></p>
</div>
<div>
<p class="MsoNormal">Jinghao<u></u><u></u></p>
</div>
</div></div></div>
</div>
</blockquote></div><br></div>