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

当从C导出 Haskell函数时,何时收集Haskell的垃圾？如果C拥有主机,那么无法预测下一次呼叫到Haskell.运行单线程Haskell或没有并行GC时,这个问题特别重要.

解决方法

初始化ghc运行时,您可以通过argc和argv like so传递rts标志：

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

这样,您可以使set options修复较小的最大堆大小,或在托儿所使用压缩算法来进一步减少分配.此外,请注意,有一个空闲GC,其间隔可以设置(或禁用),如果链接线程运行时,则应该运行,无论您是否回馈到Haskell调用.

编辑：我没有真正进行实验来验证以下内容,但是如果我们看看source of hs_init_ghc,我们看到它初始化信号处理程序,其中应该包括响应SIGVTALRM的timer handlers,并且它也启动时间,POSIX)timer_create应该定期抛出这些信号.反过来,这定期应该“唤醒”RTS,无论是否发生任何事情,反过来又应该意味着它将运行空闲的GC,无论系统是否从C恢复到Haskell.但同样,我只读了代码和评论,没有测试这个我自己.