ガベージコレクションのアルゴリズムと実装 7,8章

Shinichi Tokunaga @deepneko

七章: 世代別GC

Shinichi Tokunaga @deepneko

オブジェクトに年齢という概念を導入します。

Shinichi Tokunaga @deepneko

GC1回で生き残れば1歳。

Shinichi Tokunaga @deepneko

新世代オブジェクト:生成されたばかり、旧世代オブジェクト:一定の年齢に達した

Shinichi Tokunaga @deepneko

新世代オブジェクトだけに対してGCを行えば、時間の短縮ができるはずだぜ。

Shinichi Tokunaga @deepneko

これをマイナーGCと呼びます。

Shinichi Tokunaga @deepneko

旧世代に対するGCはメジャーGCね。これは頻度を下げて行う。

Shinichi Tokunaga @deepneko

まずはDavid Ungarの世代別GCから。

Shinichi Tokunaga @deepneko

Ungarの世代別GCでは、生成領域、2つの生存領域、旧世代領域の4つに分けてヒープ領域を使います。

Shinichi Tokunaga @deepneko

あとヒープ領域とは別に記憶集合ってのが必要だよ。

Shinichi Tokunaga @deepneko

2つある生存領域をFrom空間とTo空間になるように、マイナーGCを行います。(どっちがFromでどっちがToかは動的に変わる)

Shinichi Tokunaga @deepneko

もちろん生成領域のオブジェクトもTo生存領域にコピーしなきゃだめだよ。

Shinichi Tokunaga @deepneko

一定回数のマイナーGCをくぐりぬけた者だけが旧世代領域にたどりつけるのです。

Shinichi Tokunaga @deepneko

新世代領域のオブジェクトはルートだけじゃなくて旧世代領域からも参照される可能性があるよ。

Shinichi Tokunaga @deepneko

その心は？

Shinichi Tokunaga @deepneko

マイナーGCでは旧世代領域からの参照もルートとして扱わなければいけないね。

Shinichi Tokunaga @deepneko

Javaっぽい。

Shinichi Tokunaga @deepneko

Javaか？

Shinichi Tokunaga @deepneko

記憶集合には旧世代オブジェクトから新世代オブジェクトへの参照が登録されてるよ。

Shinichi Tokunaga @deepneko

何で必要なの？

Shinichi Tokunaga @deepneko

たとえば新世代オブジェクトAを参照してる旧世代オブジェクトBがいたとしよう。

Shinichi Tokunaga @deepneko

でもAが昇格して旧世代領域にA'としてコピーされちゃったらどうする？

Shinichi Tokunaga @deepneko

Bがもつ参照をAからA'に書き換えられないよね。

Shinichi Tokunaga @deepneko

だから記憶領域には参照元(新世代オブジェクトを参照している旧世代オブジェクト)を記録しておくよ。

Shinichi Tokunaga @deepneko

図5が間違ってる・・・なんでポインタの更新が不可能なまんまなんだ・・・