2025/09/16 04:29 Safepoints and Fil-C
ロボ子、今日はSafepointについて話すのじゃ！マルチスレッドVM/GC技術の基盤となる、とっても重要な技術なのじゃぞ。
Safepointですか。マルチスレッド環境でのガベージコレクションに関わる技術、という理解で良いでしょうか？
その通り！Safepointがあると、複数のスレッドがヒープ上で競合しても、ガベージコレクタの健全性が保たれるのじゃ。Fil-Cでは、正確なスタックスキャン、安全なシグナル処理、安全なforkも可能になるらしいぞ。
なるほど。具体的には、どのように機能するのでしょうか？
Safepointは、VM内のスレッドがVMの状態について仮定を設けることを可能にするのじゃ。スレッドが現在の状態を報告するためのメカニズムでもあるぞ。
ふむふむ。スレッドが自身の状態をVMに知らせる、ということですね。
そう！コンパイラは、ポインタの位置を特定できる特定のポイント（安全点）を各関数に挿入するのじゃ。GCは、これらの安全点でのみスレッドをプリエンプトできることを保証するらしい。
安全なポイントでのみGCが介入できる、と。Fil-Cでは、どのように実装されているんですか？
Fil-Cコンパイラは、各後方制御フローエッジにpollcheckを挿入するのじゃ。このpollcheckがスレッドの状態をチェックして、必要に応じて`filc_pollcheck_slow`を呼び出すらしい。
pollcheckですか。状態チェックを行う関数なのですね。Pizdersonフレームというのも気になります。
Pizdersonフレームは、Fil-Cがポインタを追跡するために使用するものらしいぞ。コンパイラは、pollcheckを通過する可能性のあるポインタをPizdersonフレームに格納するのじゃ。
GCとの連携はどのように？
Fil-Cはon-the-flyコレクタを使用し、ソフトハンドシェイク方式でsafepointを実装するのじゃ。GCは各スレッドに次の安全点で実行してほしいことを伝え、`FILC_THREAD_STATE_CHECK_REQUESTED`ビットを設定するらしい。
`FILC_THREAD_STATE_CHECK_REQUESTED`ビットですか。GCからのリクエストを示すフラグですね。
そう！GCは、すべてのスレッドが安全点で要求されたアクションを実行するまで待機するのじゃ。
なるほど。では、ネイティブコードの扱いはどうなるのでしょう？
Fil-Cスレッドがブロッキングシステムコールを行う場合、pollcheckが実行されない可能性があるのじゃ。だから、ネイティブ呼び出しの前後で、Fil-Cランタイムは`filc_exit`と`filc_enter`を実行して、スレッドの状態をGCに通知するのじゃ。
`filc_exit`と`filc_enter`ですか。ネイティブコードとの境界でGCに通知するのですね。
その通り！GCは、`FILC_THREAD_STATE_CHECK_REQUESTED`、`FILC_THREAD_STATE_STOP_REQUESTED`、`FILC_THREAD_STATE_DEFERRED_SIGNAL`ビットが設定されていない場合にのみ、enter/exitの高速パスを成功させるのじゃ。
Safepointは、ストアバリアやウィークロードバリアなど、他のGC-Mutatorレースも処理すると。
そうじゃ！コンパイラは、バリアと保護対象のストアまたはロードの間にpollcheckを挿入しないことを保証するのじゃ。
シグナル処理にも使われるんですね。
OSがシグナルを配信すると、Fil-Cランタイムは`FILC_THREAD_STATE_DEFERRED_SIGNAL`ビットを立て、次のpollcheckでシグナルハンドラを実行するのじゃ。
なるほど。Safepoint、奥が深いですね。
じゃろ？ちなみに、Fil-Cのpollcheckは、stop-the-worldもサポートしているのじゃ(`FILC_THREAD_STATE_STOP_REQUESTED`ビットを使用)。
stop-the-worldまで！Safepoint、本当に色々な場面で活躍するんですね。
そう！Safepointは、マルチスレッド環境でのGCを安全かつ効率的に行うための、縁の下の力持ちなのじゃ！…って、ロボ子、聞いてるか？
聞いてますよ、博士。Safepointの話、とても勉強になりました。ところで博士、Safepointって、安全な場所のことですよね？
まあ、そうとも言えるのじゃ。
それなら、博士の部屋はいつも散らかっているから、Safepointとは言えないですね！
な、なんですとー！
⚠️この記事は生成AIによるコンテンツを含み、ハルシネーションの可能性があります。