Saya sedang melakukan beberapa eksperimen dengan konkurensi dan visibilitas memori dan mengalami perilaku aneh ini (lihat komentar di baris):
module Main
where
import Data.IORef
import Control.Concurrent
import System.CPUTime
import System.IO
main = do
hSetBuffering stdout NoBuffering
r <- newIORef False
putStrLn "forking..." -- PRINTED
forkIO $ f r
threadDelay 1000000
putStrLn "writeIORef" -- NEVER PRINTED
writeIORef r True
threadDelay maxBound
f :: IORef Bool -> IO ()
f r = readIORef r >>= \b-> if b then print "NEVER PRINTED" else f r
Saya berharap mungkin writeIORef
tidak terlihat oleh utas anak, tetapi utas utama tidak (tampaknya) terhenti.
Dikompilasi pada ghc 7.8.3
cabal exec ghc -- --make -fforce-recomp -O2 -threaded visibility.hs
dan jalankan dengan
./visibility +RTS -N
Apa yang sedang terjadi disini?
EDIT: Jadi mesin saya memiliki dua inti nyata dan dua inti hyperthreading, jadi dengan +RTS -N
GHC melihat 4 kemampuan. Sesuai jawaban Gabriel Gonzalez, saya mencoba yang berikut ini untuk melihat apakah mungkin penjadwal meletakkan kedua utas pada prosesor fisik yang sama:
module Main
where
import Data.IORef
import Control.Concurrent
import GHC.Conc(threadCapability,myThreadId,forkOn)
main = do
r <- newIORef False
putStrLn "going..."
(cap,_) <- threadCapability =<< myThreadId
forkOn (cap+1) $ f r -- TRIED cap+1, +2, +3....
threadDelay 1000000
putStrLn "writeIORef" -- BUT THIS STILL NEVER RUNS
writeIORef r True
threadDelay maxBound
f :: IORef Bool -> IO ()
f r = readIORef r >>= \b-> if b then print "A" else f r