Haskell 동시성 IO 동작

Question

하스켈의 동시성을보다 깊이있게 이해하려고합니다. 이런 일이 왜

*Main Control.Concurrent> :l test.hs 
[1 of 1] Compiling Main    (test.hs, interpreted) 
Ok, modules loaded: Main. 
*Main Control.Concurrent> main 
"[1,2,3,4,5,6,7,8,9]" 
"[1,2,3,4,5,6,7,8,9]" 
"[1,2,3,4,5,6,7,8,9]" 
"[1,2,3,4,5,6,7,8,9]" 
"[1,2,3,4,5,6,7,8,9]" 
*Main Control.Concurrent> main 
"[1,2,3,4,5,6,7,8,9]" 
"[1,2,3,4,5,6,7,8,9]" 
"[1,2,3,4,5,6,7,8,9]" 
["[1,2,3,4,5,6,7,8,9]" 
?"[1,2,3,4,5,6,7,8,9]" 
1h*Main Control.Concurrent> 

이해가 안 : (두 번째 호출을보고)

import Control.Concurrent 
    main :: IO() 

    main = do 
    arr <- return $ [1..9] 
    t <- newMVar 1 
    forkIO (takeMVar t >> (print.show) arr >> putMVar t 1) 
    forkIO (takeMVar t >> (print.show) arr >> putMVar t 1) 
    forkIO (takeMVar t >> (print.show) arr >> putMVar t 1) 
    forkIO (takeMVar t >> (print.show) arr >> putMVar t 1) 
    forkIO (takeMVar t >> (print.show) arr >> putMVar t 1) 
    return() 

가 가끔 인쇄 작업이 겹치는 것을보고 내가 추적 결과를 얻을 : 나는 다음과 같은 코드가 있습니다 . [1..9]에 대한 MVar를 사용하는 것은 나쁘다.

Answer 1

때때로 내가 인쇄 작업이 표준 출력에 대한 잠금이 있기 때문에 출력은 가끔 겹치는

겹치는 것을 알 수있다. 각 스레드는 "print"를 호출하여 문자 하나를 쓰려고 시도하고 각 문자를 잠급니다. Haskell의 선점 동시성으로 인해 스레드 인쇄의 무작위 인터리빙이 표시됩니다.

바람직하지 않은 동작 인 경우 각 스레드가 인쇄하고자하는 문자열을 프린터 스레드로 보내고 차례대로 줄 단위로 출력합니다.