<div class="gmail_quote">On Mon, Aug 31, 2009 at 10:34 AM, Nicolas Bertolotti <span dir="ltr"><<a href="mailto:Nicolas.Bertolotti@mathworks.fr">Nicolas.Bertolotti@mathworks.fr</a>></span> wrote:<br><blockquote class="gmail_quote" style="border-left: 1px solid rgb(204, 204, 204); margin: 0pt 0pt 0pt 0.8ex; padding-left: 1ex;">
<div link="blue" vlink="purple" lang="FR">
<div>
<p><span style="font-size: 11pt; color: rgb(31, 73, 125);" lang="EN-US">TimeLimit is included in smlnj-lib/Util. It uses the structure
Engine (same location) which itself relies on MLton.Itimer.</span><br></p></div></div></blockquote><div>Ahh, I see. I have never used smlnj-lib myself. <br></div><blockquote class="gmail_quote" style="border-left: 1px solid rgb(204, 204, 204); margin: 0pt 0pt 0pt 0.8ex; padding-left: 1ex;">
<div link="blue" vlink="purple" lang="FR"><div><p><span style="font-size: 11pt; color: rgb(31, 73, 125);" lang="EN-US"></span></p>
<p><span style="font-size: 11pt; color: rgb(31, 73, 125);" lang="EN-US">10 seconds means nothing for my program. The time limit I set is
30 minutes.</span></p></div></div></blockquote><div>Is the time it takes to fail the same on computers with different processing speeds? ie: on a computer twice as slow will it crash in 20 seconds or still 10 seconds?<br>
</div><blockquote class="gmail_quote" style="border-left: 1px solid rgb(204, 204, 204); margin: 0pt 0pt 0pt 0.8ex; padding-left: 1ex;"><div link="blue" vlink="purple" lang="FR"><div><p><span style="font-size: 11pt; color: rgb(31, 73, 125);" lang="EN-US"></span></p>
<p><span style="font-size: 11pt; color: rgb(31, 73, 125);" lang="EN-US">The computation we perform in the application is pure mathematics</span></p></div></div></blockquote><div>This is very odd. It reproducibly fails after 10s each time? What is the failure message anyway? <br>
<br>One way to debug the problem might be to watch what system calls the program is doing right before it dies. There are a few tools for windows that work like 'strace' in Unix. I've found them useful in debugging problems like this in my own programs, but I don't recall the name of the one I used most recently. I think it may have been straceNT [1].<br>
<br></div><blockquote class="gmail_quote" style="border-left: 1px solid rgb(204, 204, 204); margin: 0pt 0pt 0pt 0.8ex; padding-left: 1ex;"><div link="blue" vlink="purple" lang="FR"><div><span style="font-size: 11pt; color: rgb(31, 73, 125);" lang="EN-US">Please note that I also could not manage to extract a sample
program that reproduces the issue (I experienced it using Windows XP) … it
would have been too easy.</span> <br></div></div></blockquote><div> </div><div>If you could try slowly eliminating your program until the problem disappears, we might find what the interaction is.<br><br>[1] <<a href="http://www.intellectualheaven.com/default.asp?BH=projects&H=strace.htm">http://www.intellectualheaven.com/default.asp?BH=projects&H=strace.htm</a>><br>
</div></div>