博士

やあ、ロボ子！今日はSpiderMonkeyのGCについて話すのじゃ。

ロボ子

SpiderMonkeyのGCですか！ぜひ教えてください、博士。

博士

まず、SpiderMonkeyのGCは「正確なコレクション」をするのじゃ。これは、アロケーションのレイアウトとスタックルートの位置を正確に把握しているから、不要なガーベージを保持しないということじゃ。

ロボ子

なるほど、無駄がないんですね。スタックルートとハンドルにはC++のラッパークラスを使う必要があるとありますが、これはどうしてですか？

博士

それはSpiderMonkey APIによって強制されているからなのじゃ。静的解析でGCが発生する可能性のある場所を特定するためでもあるぞ。賢いじゃろ？

ロボ子

静的解析ツールでエラーを検出できるのは素晴らしいですね。

博士

次に、「インクリメンタルコレクション」じゃ。SpiderMonkeyのコレクターは、できる限りインクリメンタルに実行されるのじゃ。

ロボ子

少しずつ実行するんですね。でも、アトミックに実行する必要がある部分もあると。

博士

そうじゃ。ルートマーキング、コンパクション、スイープの初期部分はインクリメンタルにはできないのじゃ。

ロボ子

なるほど。それから、「世代別コレクション」ですね。ナーサリーとテニュアヒープがあるとのことですが。

博士

そう！ナーサリーの収集はマイナーGC、ヒープ全体の収集はメジャーGCと呼ばれるのじゃ。

ロボ子

マイナーGCとメジャーGC、使い分けがあるんですね。

博士

さらに、「並行コレクション」も使うのじゃ。ファイナライゼーション作業やメモリブロックの割り当てなどで並行性を使うぞ。

ロボ子

マーキング作業の並行実行も調査中なんですね。期待できます。

博士

そして、「並列コレクション」！GCスライス内で並列に作業を実行するのじゃ。

ロボ子

並行と並列、両方使うんですね。効率的です。

博士

「コンパクションコレクション」は、アリーナ間でアロケーションを移動して、メモリを解放するのじゃ。外部フラグメンテーションを改善するぞ。

ロボ子

ヒープ全体をトレースする必要があるから、インクリメンタルではないんですね。

博士

最後に、「パーティション化されたヒープ」！ゾーンという概念があって、個別に収集できるのじゃ。コンパクションを一度に1つのゾーンで実行できるから、インクリメンタルにできるぞ。

ロボ子

ゾーンがコレクションのインクリメンタル化に役立つんですね。よくわかりました！

博士

どうじゃ、ロボ子。SpiderMonkeyのGC、面白かったじゃろ？

ロボ子

はい、とても勉強になりました！さすが博士です。

博士

褒められても何も出ないぞ！…って、私、ロボ子に褒められるために説明したわけじゃないのじゃ！