GHC 终结器的并发控制

如何解决GHC 终结器的并发控制

如果您有兴趣，请随时转到 GitHub 问题，其中包含所有详细信息 [1]，但我特意在此处提供问题的抽象版本，希望对 GHC 有更多了解的人可以指导我们，而无需了解所有细节。

我们正在从 Haskell 调用 C API。此 C 代码分配内存并具有 API 方法以随后释放创建的对象。我们使用 Haskell 垃圾收集器将这些释放方法注册为终结器 [2]，用于相应的对象。一切正常，无需多线程。

然而，当程序分配和释放许多对象并被多线程编译 (-threaded -rtsopts -with-rtsopts=-N) 时，段错误就会开始发生。事实证明，大多数 API 方法，包括释放方法，都引用了一个非线程安全的公共参数。

我们通过锁定此参数来同步所有 API 调用（包括终结器），从而成功摆脱了段错误。

此外，当使用 -threaded -rtsopts -with-rtsopts=-N --copying-gc 编译时，即使没有任何锁定，段错误也会消失。我在文档[3]中搜索并找到了以下句子：

设置-N还有开启并行垃圾收集器的作用

我将其理解为：-N 隐式添加了与程​​序同时运行的 --nonmoving-gc。 最后我的问题是：设置 --copying-gc 是否足以保证我们的终结器和程序的其他部分永远不会同时运行？除了这个或锁定之外还有其他选择吗？

GHC 版本： 8.10.4

1. https://github.com/IagoAbal/haskell-z3/issues/27
2. https://hackage.haskell.org/package/base-4.14.0.0/docs/Foreign-Concurrent.html
3. https://downloads.haskell.org/~ghc/latest/docs/html/users_guide/using-concurrent.html#rts-flag--N