从C调用Haskell导出时垃圾收集器何时运行？

Question

当导出要从C调用的Haskell函数时,何时收集Haskell的垃圾？如果C拥有main,则无法预测下一次调用Haskell.在运行单线程Haskell或没有并行GC时,这个问题尤为重要.

Answer 1

当您初始化运行时时ghc，您可以通过 argc 和 argv 向其传递 rts 标志，如下所示：

  RtsConfig conf = defaultRtsConfig;
  conf.rts_opts_enabled = RtsOptsAll;
  hs_init_ghc(&argc, &argv, conf);

这使您可以设置选项，例如修复较小的最大堆大小或在托儿所上使用压缩算法以进一步减少分配。此外，请注意，有一个空闲 GC，其间隔可以设置（或禁用），并且如果链接线程运行时，则无论您是否返回到 Haskell 调用，它都应该运行。

编辑：我实际上并没有进行实验来验证以下内容，但是如果我们查看hs_init_ghc 的源代码，我们会发现它初始化信号处理程序，其中应该包括响应的计时器处理程序SIGVTALRM，并且实际上它还启动时间，它调用（在 POSIX 上）timer_create应该定期抛出这些信号。反过来，无论是否发生任何事情，这都应该定期“唤醒”RTS，这反过来意味着无论系统是否从 C 返回到 Haskell，它都将运行空闲 GC。但同样，我只阅读了代码和注释，我自己没有测试过。