blob: db67c24df72cd2742185e07a04ab73744e14bd76 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
|
{-# LANGUAGE DoRec, ScopedTypeVariables #-}
import Control.Concurrent
import Control.Exception
import Data.Array
import System.Random
import System.Environment
import Control.Monad
import GHC.Conc
import Data.IORef
main = do
r <- newIORef 0
rec
t1 <- block $ forkIO (thread r t2)
t2 <- block $ forkIO (thread r t1)
threadDelay 1000000
readIORef r >>= print . (/= 0)
thread r t = run
where
run = (unblock $ forever $ do killThread t
i <- atomicModifyIORef r (\i -> (i + 1, i))
evaluate i)
`catch` \(e::SomeException) -> run
|
