But this was a very particular case when a thread starts evaluating a node and then comes back to the same node again.<br>The general case is (of course) undecidable.<br><br><div><span class="gmail_quote">On 9/23/07, <b class="gmail_sendername">
Bulat Ziganshin</b> &lt;<a href="mailto:bulat.ziganshin@gmail.com">bulat.ziganshin@gmail.com</a>&gt; wrote:</span><blockquote class="gmail_quote" style="border-left: 1px solid rgb(204, 204, 204); margin: 0pt 0pt 0pt 0.8ex; padding-left: 1ex;">
Hello Lennart,<br><br>Sunday, September 23, 2007, 2:05:46 PM, you wrote:<br><br>i bet that general case contains too much conditions to check. program<br>may be unblocked by other thread, by OS signal, by I/O operation<br>
completion, by C thread. how for example RTS can check that we have<br>started I/O operation with completion callback which will call abort()<br>function?<br><br>&gt; I agree. This situation is totally detectable.<br><br>
&gt; On 9/23/07, Neil Mitchell &lt;<a href="mailto:ndmitchell@gmail.com">ndmitchell@gmail.com</a>&gt; wrote:<br>&gt; Hi<br><br>&gt;&gt; I&#39;m not sure, but since it would require the detection of an evaluation<br> &gt;&gt; that does not terminate,it comes down to the halting problem, which is
<br>&gt;&gt; not generally solvable. Maybe the experts can confirm my intuition?<br><br>&gt; I think your intuition is off. This isn&#39;t the problem of detecting<br>&gt; that a computation might not halt, its a question of detecting after
<br>&gt; the fact a very restricted case of non-termination has occurred. I<br>&gt; think it should be possible to assign threads etc to these things, but<br>&gt; may make the code run slower in the common case.<br><br>&gt; Thanks
<br><br>&gt; Neil<br>&gt; _______________________________________________<br>&gt; Haskell-Cafe mailing list<br>&gt; <a href="mailto:Haskell-Cafe@haskell.org">Haskell-Cafe@haskell.org</a><br>&gt;&nbsp;&nbsp;<a href="http://www.haskell.org/mailman/listinfo/haskell-cafe">
http://www.haskell.org/mailman/listinfo/haskell-cafe</a><br><br><br>&gt;<br><br><br>--<br>Best regards,<br> Bulat&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;mailto:<a href="mailto:Bulat.Ziganshin@gmail.com">Bulat.Ziganshin@gmail.com</a><br>
<br>_______________________________________________<br>Haskell-Cafe mailing list<br><a href="mailto:Haskell-Cafe@haskell.org">Haskell-Cafe@haskell.org</a><br><a href="http://www.haskell.org/mailman/listinfo/haskell-cafe">
http://www.haskell.org/mailman/listinfo/haskell-cafe</a><br></blockquote></div><br>