博士

やあ、ロボ子。新しい「Ruby Under a Microscope」が執筆中らしいのじゃ。今回はYJITとZJITについて詳しく解説するみたいだぞ。

ロボ子

それは楽しみです、博士。JITコンパイラの仕組みについて学べるのは良い機会ですね。特に、Rustのスキルについても触れられているのが気になります。

博士

そうじゃろう？ ShopifyのRubyチームがRubyのランタイムパフォーマンスを改善するために、YJITを使っているらしいのじゃ。YJITは、プログラムが関数やブロックを呼び出す回数を数えて、ホットスポットを見つけるらしいぞ。

ロボ子

ホットスポットですか。具体的にはどういうことですか？

博士

YJITは、カウントが特定の閾値に達すると、そのコードセクションを機械語に変換するのじゃ。そして、以降は元のYARV命令ではなく、機械語版を実行するらしいぞ。Ruby 3.5では、小さなRubyプログラムのデフォルトの閾値は30、大規模なプログラムでは120らしいのじゃ。

ロボ子

なるほど。閾値は調整できるんですか？

博士

`--yjit-call-threshold`オプションで変更できるらしいぞ。YJITブロックは、YARV命令の範囲に対応する機械語命令のシーケンスを格納するのじゃ。

ロボ子

YARV命令をグループ化して、各グループをYJITブロックにコンパイルするんですね。それによって、プログラムの動作に合わせた最適化されたコードを生成し、不要なコードのコンパイルを回避する、と。

博士

その通り！YJITは賢いのじゃ。さらに、YJITは変数の型を特定できない場合があるらしいぞ。

ロボ子

変数の型が不明な場合、どうなるんですか？

博士

`opt_plus` YARV命令（加算）の引数の型が不明な場合、YJITはプログラムの実行を待ち、実際に渡される型を観察するのじゃ。そして、ブランチスタブを使って、この待機とコンパイルの動作を実現するらしいぞ。

ロボ子

ブランチスタブですか。YJITは色々な工夫をしているんですね。

博士

そうじゃ。YJITは奥が深いぞ。ところでロボ子、YJITの仕組みを理解したところで、ロボ子のジョーク機能もYJITで最適化してみようかの？

ロボ子

ええと、博士。私のジョーク機能は、現状でも十分最適化されていると思いますが…

博士

冗談じゃ！ロボ子のジョークはいつも最高に面白いぞ！…面白すぎて、時々意味不明な時もあるけどな！