<div dir="ltr">When an unsafe call is made, the OS thread currently running on the HEC makes the call without releasing the HEC. If the main thread was on the run queue of the HEC making the foreign unsafe call when the foreign call was made, then no other HECs will pick up the main thread. Hence the two sleep calls in your program happen sequentially instead of concurrently.<div>
<br></div><div>I&#39;m not completely sure what is causing the busy wait, but here is one guess: when a GC is triggered on one HEC, it signals to all the other HECs to stop the mutator and run the collection.  This waiting may be a busy wait, because the wait is typically brief.  If this is true, then since one thread is off in a unsafe foreign call, there is one HEC that refuses to start the GC and all the other HECs are busy-waiting for the signal.  The GC could be triggered by a period of inactivity.  Again, this is just a guess - you might try to verify this by turning off the periodic triggering of GC and checking whether the start GC barrier is a busy-wait.<div>
<br></div></div></div><div class="gmail_extra"><br><br><div class="gmail_quote">On Mon, May 6, 2013 at 7:29 AM, Herbert Valerio Riedel <span dir="ltr">&lt;<a href="mailto:hvr@gnu.org" target="_blank">hvr@gnu.org</a>&gt;</span> wrote:<br>
<blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">Hello,<br>
<br>
Recently, I stumbled over E.Z.Yang&#39;s &quot;Safety first: FFI and<br>
threading&quot;[1] post and then while experimenting with unsafe-imported FFI<br>
functions I&#39;ve noticed a somewhat surprising behaviour:<br>
<br>
Consider the following contrived program:<br>
<br>
--8&lt;---------------cut here---------------start-------------&gt;8---<br>
import Foreign.C<br>
import Control.Concurrent<br>
import Control.Monad<br>
import Data.Time.Clock.POSIX (getPOSIXTime)<br>
<br>
foreign import ccall unsafe &quot;unistd.h sleep&quot; c_sleep_unsafe :: CUInt -&gt; IO CUInt<br>
<br>
main :: IO ()<br>
main = do<br>
    putStrLnTime &quot;main started&quot;<br>
    _ &lt;- forkIO (sleepLoop 10 &gt;&gt; putStrLnTime &quot;sleepLoop finished&quot;)<br>
    yield<br>
    putStrLnTime &quot;after forkIO&quot;<br>
    threadDelay (11*1000*1000) -- 11 seconds<br>
    putStrLnTime &quot;end of main&quot;<br>
  where<br>
    putStrLnTime s = do<br>
        t &lt;- getPOSIXTime<br>
        putStrLn $ init (show t) ++ &quot;\t&quot; ++ s<br>
<br>
    sleepLoop n = do<br>
        n&#39; &lt;- c_sleep_unsafe n<br>
        unless (n&#39; == 0) $ do<br>
            putStrLnTime &quot;c_sleep_unsafe got interrupted&quot;<br>
            sleepLoop n&#39;<br>
<br>
--8&lt;---------------cut here---------------end---------------&gt;8---<br>
<br>
When compiled with GHC-7.6.3/linux/amd64 with &quot;-O2 -threaded&quot; and<br>
executed with &quot;+RTS -N4&quot;, the following output is emitted:<br>
<br>
 1367838802.137419      main started<br>
 1367838812.137727      after forkIO<br>
 1367838812.137783      sleepLoop finished<br>
 1367838823.148733      end of main<br>
<br>
which shows that the forkIO of the unsafe ccall effectively blocks the<br>
main thread;<br>
<br>
Moreover, when looking at the process table, I saw that 3 threads were<br>
occupying 100% CPU time each for 10 seconds until the &#39;after forkIO&#39; was<br>
emitted.<br>
<br>
So what is happening here exactly, why do the 3 remaining HECs busy-wait<br>
during that FFI call instead of continuing the execution of the main<br>
thread?<br>
<br>
Do *all* foreign unsafe ccalls (even short ones) cause N-1 HECs to spend<br>
time in some kind of busy looping?<br>
<br>
<br>
 [1]: <a href="http://blog.ezyang.com/2010/07/safety-first-ffi-and-threading/" target="_blank">http://blog.ezyang.com/2010/07/safety-first-ffi-and-threading/</a><br>
<br>
Cheers,<br>
  hvr<br>
<br>
_______________________________________________<br>
Glasgow-haskell-users mailing list<br>
<a href="mailto:Glasgow-haskell-users@haskell.org">Glasgow-haskell-users@haskell.org</a><br>
<a href="http://www.haskell.org/mailman/listinfo/glasgow-haskell-users" target="_blank">http://www.haskell.org/mailman/listinfo/glasgow-haskell-users</a><br>
</blockquote></div><br></div>