haskell - 线程无限期阻塞 - Haskell - Acid State

Question

我担心酸状态会生成许多事件文件和检查点，用户“stepcut”告诉我在酸中有一个名为 createArchive 的解决方案的实现，它删除旧事件......
问题是，当我使用它时，我收到此错误:

<fileName.exe>: thread blocked indefinitely in an MVar operation

我认为它应有 w7 权限，但是当我在“管理员”下运行它时，我无法看到控制台，但事件文件仍然存在，所以我认为它不起作用。

如果我通过 ghci 运行代码，我不会收到错误，但它会锁定控制台，所以我需要 CtrlC 才能继续工作。

有人得到这个错误吗？

Answer 1

这当然与权限无关。尝试从空 MVar 读取时出现错误没有人可以写入，或者类似地尝试将值放入 MVar那已经满了，不会被清空。这意味着某人的代码中存在错误。

如果薇薇安(在评论中)是正确的，这与 this GHC bug 有关然后 this related bug建议使用 -fno-state-hack 编译可能足以解决您的问题。看起来这个 bug 至少从 GHC 7.2.2 开始就存在了，但在(迄今为止未发布的)GHC 7.4.2 中得到了修复。

或者，它可能只是 acid-state 中的一个错误。 ，这似乎大量使用了 MVar s。在这种情况下，您应该确保使用的是最新版本的库，然后尝试生成一个简单的测试用例，以便其他人可以验证问题。