{-# LANGUAGE CPP, RankNTypes #-}
import Control.Concurrent.Async
import Control.Monad
import System.Environment
import Control.Concurrent.Chan
import Control.Concurrent.STM
-- The TQueue and TBQueue in the stm package are optimised with UNPACKs,
-- so we measure with those rather than these local versions.
--
-- import TQueue
-- import TBQueue
-- Using CPP rather than a runtime choice between channel types,
-- because we want the compiler to be able to optimise the calls.
-- #define CHAN
-- #define TCHAN
-- #define TQUEUE
-- #define TBQUEUE
#ifdef CHAN
newc = newChan
readc c = readChan c
writec c x = writeChan c x
#elif defined(TCHAN)
newc = newTChanIO
readc c = atomically $ readTChan c
writec c x = atomically $ writeTChan c x
#elif defined(TQUEUE)
newc = atomically $ newTQueue
readc c = atomically $ readTQueue c
writec c x = atomically $ writeTQueue c x
#elif defined(TBQUEUE)
newc = atomically $ newTBQueue bufsiz
readc c = atomically $ readTBQueue c
writec c x = atomically $ writeTBQueue c x
#endif
bufsiz=4096
-- Invoke this program with two command-line parameters.
-- The first should be 0, 1, or 2, specifying one of three
-- different benchmarks. The second specifies the size of the
-- test.
main = do
[stest,sn] <- getArgs -- 2000000 is a good number
let n = read sn :: Int
test = read stest :: Int
runtest n test
runtest :: Int -> Int -> IO ()
runtest n test = do
c <- newc
case test of
0 -> do
a <- async $ replicateM_ n $ writec c (1 :: Int)
b <- async $ replicateM_ n $ readc c
waitBoth a b
return ()
1 -> do
replicateM_ n $ writec c (1 :: Int)
replicateM_ n $ readc c
2 -> do
replicateM_ (n `quot` bufsiz) $ do
replicateM_ bufsiz $ writec c (1 :: Int)
replicateM_ bufsiz $ readc c