Когда запускается сборщик мусора при вызове экспорта Haskell из C?

Когда вы инициализируете среду выполнения ghc, вы можете передать ей флаги rts через argc и argv вот так:

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

Это позволяет вам установить параметры, чтобы, например, зафиксировать меньший максимальный размер кучи или использовать алгоритм уплотнения в питомнике для дальнейшего сокращения распределения. Кроме того, обратите внимание, что существует бездействующий GC, интервал которого можно установить (или отключить), и если вы свяжете многопоточную среду выполнения, она должна работать независимо от того, вернетесь ли вы к вызову Haskell или нет.

Изменить. На самом деле я не проводил экспериментов, чтобы проверить следующее, но если мы посмотрим на источник hs_init_ghc мы видим, что он инициализирует обработчики сигналов, которые должны включать в себя обработчики таймеров, которые реагируют на SIGVTALRM и действительно запускают время, которое вызывает (в POSIX) timer_create, который должен подавать эти сигналы через равные промежутки времени. В свою очередь, это должно периодически «будить» RTS независимо от того, происходит что-либо или нет, что, в свою очередь, должно означать, что он будет запускать бездействующий сборщик мусора независимо от того, уступит ли система обратно Haskell из C. Но опять же, я только прочитал код и комментарии, сам не проверял.