GHC とスペースとリーク - あどけない話

サンクのリークを防ぐには、どの式がサンクかを理解する必要がある。そのために便利なのが、GHCiの:sprint コマンドだ。MonomorphismRestriction 拡張がデフォルトで有効だった GHCi 7.6 以前は、このコマンドは直感的に動く。

> let x = 1 + 2
> let y = (x,x)
> :sprint x
x = _
> :sprint y
y = (_,_)
> print x
3
> :sprint y
y = (3,3)

GHCi 7.8 以降では、MonomorphismRestriction拡張がデフォルトで無効になった。単に式を評価する使い方なら、こちらの方が便利だ。しかし、:sprintは挙動がおかしくなってしまう。

> let x = 1 + 2
> let y = (x,x)
> :sprint x
x = _
> :sprint y
y = _    {- あれれ？ -}

MonomorphismRestriction を有効にすれば、:sprintは期待通りに動く。

> :set -XMonomorphismRestriction 
> let x = 1 + 2
> let y = (x,x)
> :sprint x
x = _
> :sprint y
y = (_,_)

問題は型が決まらないことなので、明示的に指定してもよい。

> let x = 1 + 2 :: Int
> let y = (x,x)
> :sprint x
x = _
> :sprint y
y = (_,_)

Haskellでは、基本的にデータは参照で指される。GHC 7.6 までは、即値を使うには、"!" と UNPACK プラグマの両方を指定する必要があった。

data Foo = Foo {
    bar :: {-# UNPACK #-} !Int
  , baz :: {-# UNPACK #-} !Int
  }

これはあまりにもダサい。GHC 7.8 以降では、unbox-small-strict-fieldsフラグがデフォルトで有効になっているので、即値として扱える正格なフィールドは即値となる。

data Foo = Foo {
    bar :: !Int
  , baz :: !Int
  }

マニアックなことを言うと、たとえば Int は以下のように定義される。

data Int = Int Int#

Int が参照で、Int# が即値を表す。詳しくはUnboxed values as first class citizensを参照のこと。

スレッドリークの記事で、Weak ThreadId を使えばスレッドがリークしないと書いたが、実はリークしていることが判明した。

はっきり言ってGHCのバグ。対策として、

のようにするよい。詳しくは、Weak ThreadId still leaks threadsを読んで欲しい。