GHCでコンパイルするプログラムでヒープメモリサイズを制限する

モチベーション

Haskell(GHC)プログラムで誤った再帰関数を書いて無限ループさせると多くの場合、サンクも無限に発生する。サンクはヒープに積まれ、そしてデフォルトでヒープのサイズ上限はない(ghc 7.10.3時点)ので、あっと言う間にシステムのメモリを食いつぶししてしまい、非常に危険である。

ヒープメモリサイズに上限を設けるには

RTSオプションを使う。

$ ghc -rtsopts Main.hs
$ ./Main +RTS -M64m

あるいは環境変数GHCRTSも食ってくれる。

$ GHCRTS="-M64m" ./Main

注意点:

• -rtsoptsをつけてリンクしておかないと実行時にRTSオプションを食ってくれない。リンク時にRTSオプションを設定しておくには

    $ ghc -with-rtsopts="-M64m" Main.hs
  

  とする。

• runghcでは環境変数GHCRTSを使う方法のみが有効らしい http://stackoverflow.com/questions/29339643/how-can-i-pass-rts-options-to-runghc

参考

• debugging - Is there a way to limit the memory, ghci can have? - Stack Overflow
• 4.17. Running a compiled program