5
Để làm quen với STM trong Haskell, tôi đã viết các giải pháp sau đây để các vấn đề triết gia ăn:Điều gì là sai với giải pháp sau đây cho "nhà triết học ăn uống"?
import Control.Concurrent
import Control.Concurrent.STM
import Control.Monad
import System.Random
type Fork = TVar Bool
type StringBuffer = TChan String
philosopherNames :: [String]
philosopherNames = map show ([1..] :: [Int])
logThinking :: String -> StringBuffer -> STM()
logThinking name buffer = writeTChan buffer $ name ++ " is thinking..."
logEating :: String -> StringBuffer -> STM()
logEating name buffer = writeTChan buffer $ name ++ " is eating..."
firstLogEntry :: StringBuffer -> STM String
firstLogEntry buffer = do empty <- isEmptyTChan buffer
if empty then retry
else readTChan buffer
takeForks :: Fork -> Fork -> STM()
takeForks left right = do leftUsed <- readTVar left
rightUsed <- readTVar right
if leftUsed || rightUsed
then retry
else do writeTVar left True
writeTVar right True
putForks :: Fork -> Fork -> STM()
putForks left right = do writeTVar left False
writeTVar right False
philosopher :: String -> StringBuffer -> Fork -> Fork -> IO()
philosopher name out left right = do atomically $ logThinking name out
randomDelay
atomically $ takeForks left right
atomically $ logEating name out
randomDelay
atomically $ putForks left right
randomDelay :: IO()
randomDelay = do delay <- getStdRandom(randomR (1,3))
threadDelay (delay * 1000000)
main :: IO()
main = do let n = 8
forks <- replicateM n $ newTVarIO False
buffer <- newTChanIO
forM_ [0 .. n - 1] $ \i ->
do let left = forks !! i
right = forks !! ((i + 1) `mod` n)
name = philosopherNames !! i
forkIO $ forever $ philosopher name buffer left right
forever $ do str <- atomically $ firstLogEntry buffer
putStrLn str
Khi tôi biên dịch và chạy giải pháp của tôi, dường như không có vấn đề đồng thời hiển nhiên tồn tại: Mỗi nhà triết học sẽ cuối cùng ăn và không có nhà triết học nào được ưa thích. Tuy nhiên, nếu tôi loại bỏ các randomDelay báo cáo từ philosopher, biên dịch và chạy, đầu ra của chương trình của tôi trông giống như sau:
1 is thinking...
1 is eating...
1 is thinking...
1 is eating...
2 is thinking...
2 is eating...
2 is thinking...
2 is eating...
2 is thinking...
2 is eating...
2 is thinking...
About 2500 lines later...
2 is thinking...
2 is eating...
2 is thinking...
3 is thinking...
3 is eating...
3 is thinking...
3 is eating...
And so on...
gì đang xảy ra trong trường hợp này?
Nếu đây là bài tập về nhà, vui lòng thêm tab bài tập về nhà. – Gray
Nó không phải là bài tập về nhà, tôi đọc về STM trong thế giới thực Haskell và tôi đang cố gắng làm quen với nó. – Alexandros
với thiết lập của tôi (Thử nghiệm Debian 6, ghc 7.4.1, runhaskell/ghc -O2 --make philosophers.hs) Tôi không nghĩ rằng mình có vấn đề - các nhà triết học 1 ..8 đang ăn và suy nghĩ mỗi lần lượt. Phiên bản ghc của bạn là gì và bạn đang biên dịch hay sử dụng ghci? – epsilonhalbe