问题描述
如果您有兴趣，请随时转到 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
- https://github.com/IagoAbal/haskell-z3/issues/27
- https://hackage.haskell.org/package/base-4.14.0.0/docs/Foreign-Concurrent.html
- https://downloads.haskell.org/~ghc/latest/docs/html/users_guide/using-concurrent.html#rts-flag--N
解决方法
暂无找到可以解决该程序问题的有效方法，小编努力寻找整理中！
如果你已经找到好的解决方法，欢迎将解决方案带上本链接一起发送给小编。
小编邮箱:dio#foxmail.com (将#修改为@）