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> <<a href="mailto:bulat.ziganshin@gmail.com">bulat.ziganshin@gmail.com</a>> 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>> I agree. This situation is totally detectable.<br><br>
> On 9/23/07, Neil Mitchell <<a href="mailto:ndmitchell@gmail.com">ndmitchell@gmail.com</a>> wrote:<br>> Hi<br><br>>> I'm not sure, but since it would require the detection of an evaluation<br> >> that does not terminate,it comes down to the halting problem, which is
<br>>> not generally solvable. Maybe the experts can confirm my intuition?<br><br>> I think your intuition is off. This isn't the problem of detecting<br>> that a computation might not halt, its a question of detecting after
<br>> the fact a very restricted case of non-termination has occurred. I<br>> think it should be possible to assign threads etc to these things, but<br>> may make the code run slower in the common case.<br><br>> Thanks
<br><br>> Neil<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><br><br>><br><br><br>--<br>Best regards,<br> Bulat 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>