multithreading - 为什么 putStrLn 行尾没有线程锁？

Question

当我使用 putStrLn txt从 Haskell 的几个线程中，可以将文本插入行尾，但如果我使用 putStr $ txt ++ "\n"总是有效。

这样对吗？我做错了什么？

示例 1:

thread 1: putStrLn "txt 1"
thread 2: putStrLn "txt 2"
thread 3: putStrLn "txt 3"
thread 4: putStrLn "txt 4"
thread 5: putStrLn "txt 5"

输出示例:

txt 1txt 3
txt 2txt 5txt 4

示例 2:

thread 1: putStr $ "txt 1" ++ "\n"
thread 2: putStr $ "txt 2" ++ "\n"
thread 3: putStr $ "txt 3" ++ "\n"
thread 4: putStr $ "txt 4" ++ "\n"
thread 5: putStr $ "txt 5" ++ "\n"

始终为线程输出一行:

txt 1
txt 3
txt 2
txt 5
txt 4

谢谢

更新:
我正在使用 ghc 6.12.3和 base-4.2.0.2

Answer 1

据我所知，Haskell 没有在 putStr 上提供任何线程安全保证。 , putStrLn和 friend ，所以它也可以逐个字符地交错，即使在像你一样预先进行连接时也是如此。

见 Can I ensure that Haskell performs atomic IO?有关如何正确同步 I/O 的示例。