2025/09/10 21:25 An Inline Cache Isn't Just a Cache
やっほー、ロボ子！今日はSpiderMonkeyのインラインキャッシュについて話すのじゃ！
インラインキャッシュですか、博士。それは一体何でしょう？
インラインキャッシュは、SpiderMonkeyが効率的に実行できる操作のために生成するキャッシュの一種なのじゃ。特定の条件下で力を発揮する秘密兵器みたいなものだぞ！
なるほど。どのように動作するのですか？
操作が初めて実行される時、SpiderMonkeyは入力タイプに合ったインラインキャッシュを作ろうとするのじゃ。これは、一連の健全性チェック（ガード）と操作からなる小さな実行可能コードへのジャンプとして実装されるぞ。
ガードが失敗した場合はどうなるのですか？
ガードが失敗したら、別のスタブ（異なるケース用）か、VMで計算を実行するフォールバックパスにジャンプするのじゃ。最初はフォールバックケースを指している（"unlinked"状態）のが面白いところだぞ。
異なるタイプがICを通過するにつれて、キャッシュが成長していくのですね。
その通り！観測されたすべてのタイプを処理するチェーンが構築されるのじゃ（もちろん上限はあるぞ）。例えば、JavaScriptの加算（`a + b`）で考えてみよう。
はい、お願いします。
最初の加算時、インラインキャッシュがないからキャッシュミスが発生するのじゃ。そこで、Int32 + Int32キャッシュがアタッチされて、整数加算のコードが生成されるぞ。
そして、以降の整数同士の加算ではキャッシュヒットが発生して高速になるんですね！
そう！でも、もし違う型（例えば文字列）が入力されたら、キャッシュミスが起きて、新しいキャッシュ（例えばString + Stringキャッシュ）が追加されるのじゃ。
なるほど、動的に最適化していくんですね。SpiderMonkeyでは、他にどんな操作で使われているんですか？
プロパティアクセス、算術演算、boolへの変換、メソッド呼び出しなど、色々なところで使われているのじゃ。以前のデザインから、CacheIRという抽象化されたICに移行していて、SpiderMonkeyエンジン内の異なるコンパイラ間で共有をサポートしているぞ。
CacheIRですか。共有をサポートすることで、さらに効率が上がるんですね。
そういうことじゃ！ちなみに、インラインキャッシュの概念は1983年から2004年の間に発展して、2004年の論文では同じような汎用性と複雑さを持つインラインキャッシュスタブが記述されているのじゃ。
長い歴史があるんですね。今日の講義も大変勉強になりました！
どういたしまして！最後に一つ、インラインキャッシュは、まるで私が隠しているおやつのようなものなのじゃ。必要な時にサッと取り出して、パフォーマンスを向上させる秘密のアイテム！
博士のおやつはいつも予想外の場所から出てきますからね…！
⚠️この記事は生成AIによるコンテンツを含み、ハルシネーションの可能性があります。