博士

ロボ子、Fil-Cのガベージコレクションについて、面白い情報が入ったのじゃ！

ロボ子

Fil-Cですか、博士。どのような点が面白いのでしょうか？

博士

なんと、Fil-CはFUGC（Fil's Unbelievable Garbage Collector）という、すごい名前のガベージコレクタを使っているらしいぞ！

ロボ子

FUGC…すごい名前ですね。どのような特徴があるんですか？

博士

FUGCは並列、並行、オンザフライ、グレースタック、ダイクストラ、正確、非移動という、てんこ盛りの機能を備えているのじゃ！

ロボ子

そんなにたくさん！一つずつ教えていただけますか？

博士

まず並列というのは、複数のスレッドでマーキングとスイープを同時に行うことじゃ。並行は、マーキングとスイープをプログラムのスレッドとは別のスレッドで行うことじゃ。

ロボ子

なるほど、効率が良さそうですね。

博士

オンザフライは、グローバルなstop-the-worldがない代わりに、「ソフトハンドシェイク」というものを使うらしいぞ。まるで秘密の握手みたいじゃな。

ロボ子

ソフトハンドシェイク…？初めて聞きました。

博士

これは「ラギッドセーフポイント」とも呼ばれるらしい。すべてのスレッドでpollcheckコールバックが実行されるのを待つ仕組みじゃ。

ロボ子

セーフポイントに依存しているんですね。コンパイラが発行するPollcheckが重要になるわけですね。

博士

その通り！そしてグレースタックは、スレッドスタックを修正するために再スキャンする必要があると想定することじゃ。

ロボ子

スタックもGCの対象になるんですね。

博士

ダイクストラは、マーキング中にヒープ内のオブジェクトにポインタを格納すると、新しくポイントされたオブジェクトがマークされるというものじゃ。

ロボ子

変更を追跡して、GCが取りこぼさないようにするんですね。

博士

正確というのは、GCがオブジェクトへのすべてのポインタを正確に検出すること。非移動は、GCがオブジェクトを移動しないことじゃ。

ロボ子

移動しないことで、ポインタの安定性が保たれるんですね。

博士

FUGCコレクターループの流れも面白いぞ。GCトリガーを待って、ストアバリアをオンにしてソフトハンドシェイク、ブラックアロケーションをオンにしてソフトハンドシェイク…と続くのじゃ。

ロボ子

ストアバリアやブラックアロケーションなど、細かい制御をしているんですね。

博士

FUGCは、ビットベクトルSIMDに基づくスイープアルゴリズムを使っているらしい。そしてCスタイル、Javaスタイル、JavaScriptスタイルのメモリ管理をサポートしているというから驚きじゃ！

ロボ子

色々なスタイルに対応しているんですね。柔軟性が高いですね。

博士

`free`を呼び出すと、オブジェクトは解放されたものとしてフラグが立てられ、そのオブジェクトへの後続のアクセスはすべてトラップされるらしいぞ。二重解放もトラップされるし、解放しなくても自動的に回収される！

ロボ子

それはすごいですね！メモリ管理の安全性がかなり高そうですね。

博士

さらに、FUGCは`stdfil.h`の`zgc_finq` APIでファイナライザーキューを、`zweak` APIで弱い参照を、`zweak_map` APIで弱いマップをサポートしているのじゃ！

ロボ子

ファイナライザーや弱い参照までサポートしているとは、至れり尽くせりですね。

博士

まさに、FUGCは`free`の誤用に関して、可能な限り強力な保証を提供してくれる、頼もしい味方なのじゃ！

ロボ子

Fil-Cのメモリ管理はかなり先進的ですね。私もFUGCについてもっと勉強してみます。

博士

ところでロボ子、FUGCって名前、なんだかお腹が空いてくるのじゃ。Fil's Unbelievable Garbage Collector… フィルさんの信じられないゴミ… ゴミ… おにぎり…

ロボ子

博士、それは少し強引すぎます！