<div dir="ltr">Thanks Edward! Another question...<div><br></div><div>deleteThread() calls throwToSingleThreaded(). I can update this so that it also calls throwToSingleThreaded() in the case of BlockedOnCCall_Interruptible (currently it explicitly excludes this case), but this doesn't solve the problem, because throwToSingleThreaded() doesn't seem to interrupt blocked calls at all. That functionality is in throwTo(), which is not called by throwToSingleThreaded(). Why are we using throwToSingleThreaded() in deleteThread() rather than throwTo()? Can I switch deleteThread() to use throwTo()? Or should I use throwTo() in deleteThread() only for the special case of BlockedOnCCall_Interruptible?  Or should throwToSingleThreaded() be updated to do the same thing that throwTo does for the case of BlockedOnCCall_Interruptible?</div>
<div><br></div><div>Thanks,</div><div>Andi</div></div><div class="gmail_extra"><br><br><div class="gmail_quote">On Wed, Jul 30, 2014 at 6:57 PM, Edward Z. Yang <span dir="ltr"><<a href="mailto:ezyang@mit.edu" target="_blank">ezyang@mit.edu</a>></span> wrote:<br>
<blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">Recalling when I implemented this functionality, I think not<br>
interrupting threads in the exit sequence was just an oversight,<br>
and I think we could implement it.  Seems reasonable to me.<br>
<br>
Edward<br>
<br>
Excerpts from Andreas Voellmy's message of 2014-07-30 23:49:24 +0100:<br>
<div class="HOEnZb"><div class="h5">> Hi GHCers,<br>
><br>
> I've been looking into issue #9284, which boils down to getting certain<br>
> foreign calls issued by HS threads to finish (i.e. return) in the exit<br>
> sequence of forkProcess.<br>
><br>
> There are several options for solving the particular problem in #9284; one<br>
> option is to issue the particular foreign calls causing that issue as<br>
> "interruptible" and then have the exit sequence interrupt interruptible<br>
> foreign calls.<br>
><br>
> The exit sequence, starting from hs_exit(), goes through hs_exit_(),<br>
> exitScheduler(), scheduleDoGC(), deleteAllThreads(), and then<br>
> deleteThread(), where deleteThread is this:<br>
><br>
> static void<br>
> deleteThread (Capability *cap STG_UNUSED, StgTSO *tso)<br>
> {<br>
>     // NOTE: must only be called on a TSO that we have exclusive<br>
>     // access to, because we will call throwToSingleThreaded() below.<br>
>     // The TSO must be on the run queue of the Capability we own, or<br>
>     // we must own all Capabilities.<br>
>   if (tso->why_blocked != BlockedOnCCall &&<br>
> tso->why_blocked != BlockedOnCCall_Interruptible) {<br>
>         throwToSingleThreaded(tso->cap,tso,NULL);<br>
>     }<br>
> }<br>
><br>
> So it looks like interruptible foreign calls are not interrupted in the<br>
> exit sequence.<br>
><br>
> Is there a good reason why we have this behavior? Could we change it to<br>
> interrupt TSO's with why_blocked == BlockedOnCCall_Interruptible in the<br>
> exit sequence?<br>
><br>
> Thanks,<br>
> Andi<br>
><br>
> P.S. It looks like this was introduced in commit<br>
> 83d563cb9ede0ba792836e529b1e2929db926355.<br>
</div></div></blockquote></div><br></div>