はじめに
Qiita株式会社 Advent Calendar 2021の22日目の担当は、Qiita株式会社CX向上グループの@kyntkです！
Ruby 3.1で新たなJITであるYJITがマージされました。3.0の時点ではJITを有効化するとRailsのパフォーマンスが低下するということをなんとなく聞いたことがあったのですが、3.1ではどうなるのかが気になったので色々と調べてみました。
結論
正直恥ずかしながら、まだ私自身きちんと理解できていないので、必ず添付してある発表内容等を確認してください
また、間違った情報があるかもしれないので、そこはコメントや編集リクエストでください!!!
- Ruby 3.0でMJITを有効にすると、デフォルト設定ではRailsアプリケーションではパフォーマンスの低下が起きうる
- Ruby 3.1ではパフォーマンスは改善されたが、起動に時間がかかったり、コンパイル中のパフォーマンス低下などの問題も残っているので本番導入する場合は注意が必要
- Ruby 3.1で新たにYJITがexperimentalで導入されるが、これはRailsであってもパフォーマンスが向上される。ただしまだ対応プラットフォームが限られている
内容について
基本的にRubyKaigi Takeout 2021で話されていた内容を聞いてもらうのがいいと思うのですが、私自身最初に聞いたときに全然理解できなかったので、同じような方がいたら少しでも動画の理解の助けになればと思い書きました。
なのでより正しい情報が気になる方は、以下のセッション動画を見てもらいたいです。
- RubyKaigi Takeout 2021
- MJITに関する記事
そもそもRubyにおけるJITコンパイラとは
RubyはCなどのように開発者が実行前にコードをコンパイルすることなく実行できます。しかし、内部的にはプログラム実行時にコンパイルが行われています。ただコンパイルと言っても出力は機械語ではありません。
プログラムは字句解析と構文解析を通して抽象構文木(AST)へ変換されます。そしてこれをコンパイルし、YARV命令列と呼ばれるバイトコード命令列へ変換しています。1
(Rubyのしくみ Ruby Under a Microscope を参考)
そしてこのYARV命令列はYARV (Yet Another Ruby Virtual Machine) と呼ばれるインタプリタによって実行されます。名前の通り、YARVは仮想マシン (VM) で、セッションなどでもVMという単語が出てきますが、YARVのことを指していることが多いです。
現在のCRuby (MRI) におけるJITコンパイラはこのYARV命令列をコンパイルしています。MJITはこのYARV命令列を、実行中にCにコンパイルをし、さらに生成したCのコードをGCCを用いて機械語に変換してYARVで実行します。これにより処理の高速化を実現しています。また、JITコンパイルすることで実行時の型の情報なども使えるようになるので、コンパイル時の最適化も目指しているようです。
上記で說明したのはMJITの方式で、YJITはコンパイル先がCではなく機械語であったりと、JITコンパイラにもそれぞれ特徴があるようです。
ちなみにMJIT、YJITはデフォルトでは無効化されていて、オプションか環境変数で有効化しないと使えない状態となっています。
それぞれの特徴をより深堀り
このように、JITコンパイラごとの特徴を知ることで、それぞれが何を得意としているのかの理解が深まります。そのため、もう少しそれぞれの特徴について深ぼってみます。
MJITについて
MJITのアーキテクチャについては今年のRubyKaigi Takeout 2021のセッションでしっかり説明されていますが、こちらを理解するために過去の経緯をさかのぼって調べました。
まず、初めてJITがRubyにマージされたのはRuby 2.6でした ( Ruby 2.6.0 Released )。リリースノートには以下のように書かれています。
JITコンパイラはあらゆるRubyプログラムの実行を高速化することを目的としています。 他言語の一般的なJITコンパイラと異なり、RubyのJITコンパイラはC言語のソースコードをファイルとしてディスクに書き、通常のCコンパイラを用いてネイティブコードに変換することでJITコンパイルを行うという手法を用いています。(参考: MJIT organization by Vladimir Makarov)
またマージされた際に実装者の @k0kubun さんによってこちらに詳しく說明されています。
この記事ではRuby 2.6でマージされるまでの経緯が説明されています。
スタックベースの命令で作られているVM(YARV)をRTL命令化するというプロジェクトと、そのRTL命令上で動作するMJIT、このRTL-MJITをもとにYARV命令をベースとするYARV-MJITへ変わった経緯などが説明されています。
上記の記事を読むとRubyKaigiで出てくる、下記画像に出てくるような単語についての背景知識が分かるので理解がしやすくなると思います。
(Why Ruby's JIT was slow by Takashi Kokubun - RubyKaigi Takeout 2021 の動画11分ごろより引用)
また、以下のスライドでは、(RTL-)MJIT、YARV-MJITの処理の流れについても図解していただいているのでイメージしやすかったです。 (ただ、スタックベースの命令・レジスタベースの命令など、申し訳ないですが、未だにきちんと理解できていない部分もあります。)
以下は「Playing with ruby’s new JIT: MJIT」というマージ直後の記事の翻訳ですが、MJITの使い方などもわかって分かりやすかったです。
よく呼ばれるメソッドを対象にコンパイルをするために、--jit-min-callsというオプションで、コンパイルするまでに呼び出された数の制御をしている部分などのイメージがつかめました。
高速化に向けて
Rubyはバージョン3に向けてRuby 3x3としてパフォーマンス改善に取り組み、実際Optcarrotなどのベンチマークで高速化を実現できました。ただ、MJITはRuby 3.0.0 リリースノートにあるように
Railsのような、様々なメソッドを満遍なく呼び出すi-cacheへの負荷が大きいワークロードでは、JITがその負荷を大きくしてしまうため性能を改善できる状態にはまだ至っていません
というようにデフォルト設定ではRailsにおいてパフォーマンス改善はできていませんでした。こちらについてなぜ遅かったのかについては以下の記事で說明されています。
いくつかの遅くなっている理由に対して複数の仮説が挙げられていますが、最終的にはコンパイルの設定変更によってRailsアプリケーションにおいても高速化できたようです。具体的には、以下の画像のようにVMと比較して103%〜104%の改善が見られたようです。
とはいえ、最終的にはコンパイルの設定変更が要因でしたが、それ以外にもそれまでの3年間の間に様々な改善を積み重ねたことも大きく影響しているようでした。
(Why Ruby's JIT was slow by Takashi Kokubun - RubyKaigi Takeout 2021より引用)
また、現在もいくつかのバグや、Zeitwerk / TracePointとの非互換性など改善ポイントは残しているようで、本番稼働するにはまだハードルも残っていそうです。
その他の特徴と注意点
改めてRubyKaigi Takeout 2021のセッションに戻ります。こちらのセッションではMJITの特徴について、Rubyの他のJITコンパイラとの比較も踏まえながら說明されています。
MJITの特徴としてまず挙げられているのがMaintainabilityです。
MJITはYARVを使用しているのでVM側での新規実装を自動でサポートできたり、実装の観点でいうと、生成するのはCのコードなのでデバッグがしやすかったりするようです。ただ、最適化についてはGCCがすべてやってくれるわけではないので、やってくれていない部分を実装する必要があるようです。
実行時の最適化に関して、投機的実行やCメソッドのインライン化の說明がありました。投機的実行については、RTLがVMレベルで型情報を使いながら最適化しているのに対してMJITはJITコンパイラレベルで最適化を行っているようです。
またコンパイルの方式は、MJITは並列でコンパイルをしている一方で、YJITはメインスレッドで同期的にコンパイルを実施しているという違いがあります。これによってMITはJITコンパイルにかかる時間が比較的長くなっており、ウォームアップの時間に影響しているそうです。具体的には、1000メソッドのRailsbenchでコンパイル実行のウォームアップに5分かかったというのが説明されています。
またコンパイル時間が長くなることにより、本来はパフォーマンスを向上させたい目的のMJITによりパフォーマンスの低下を引き起こす可能性もあるという問題も指摘されています。
YJITについて
YJITは3.1.0-preview1の前にマージされたばかりです。こちらも有効化するにはオプションが必要です。また、YJITはまだexperimentalな機能となっており、対応プラットフォームも限られているようです。
また、
YJIT achieves both fast warmup time and performance improvements on most real-world software, up to 22% on railsbench, 39% on liquid-render.
とあり、experimentalでありながらパフォーマンス向上にはとても期待ができます。
YJITについても先日のRubyKaigiのセッションにて詳しい說明がありました。
こちらのセッションでは各種ベンチの結果が発表されていますが、リアルワールドに近いベンチだとすべてにおいてインタプリタとMJITよりも高いパフォーマンスを発揮していました。
互換性についてもRubyだけでなくShopifyのCI等も含めてテストが通るレベルになっているようです。
(YJIT - Building a new JIT Compiler inside CRuby by Maxime Chevalier-Boisvert - RubyKaigi Takeout 2021の動画13分ごろより引用)
YJITはRailsアプリケーションでもハイパフォーマンスが出ることを目指して作られました。YJITもMJITと同様にYARVのバイトコードをJITコンパイルしますが、生成するのはCのコードではなく直接機械語に変換するようです。
YJITの特徴として、処理を最適化するためにLazy Basic Block Versioning(LBBV)という手法をとっていることが説明されています。これはMJITのときにも軽く説明されていた、ランタイムの型情報を用いてコンパイル時に型に基づいて最適化されたコードを生成するテクニックの一つです。LBBVについての說明はRubyKaigiのセッションにて図解とともに說明されているのでこちらを見たほうが直感的に理解しやすいです。
YJITの今後
現時点でもすでにパフォーマンスが改善されていますが、現状は既存のCRubyの実装を大きく変えずに行っており、インタプリタ前提で作られたCRuby上でのパフォーマンスなので、満足のいくものではないようです。パフォーマンスを最大化させるためにはよりパフォーマンスを出しやすい設計に再デザインし、ターゲットを絞って実装しなおす必要があると言っています。
関連して、オブジェクトをよりシンプルに、効果的にするために「オブジェクトシェイプ」についても説明されています。こちらもRubyKaigiのKeynoteとして別のセッションで說明されていましたが、こちらでは說明を省きます。
そして最後に、「Ruby Committers vs the World」のセッションで少しだけ言及されていたのですが、もしかしたら今後はMJITを外してYJITだけになる可能性もあるかもしれないです。(以下動画の53:45ごろ)
このように、まだexperimentalでありながら今後に期待したいなと思えるものでした。
まとめ
結論の再掲となりますがまとめます。
正直恥ずかしながら、まだ私自身きちんと理解できていないので、必ず添付してある発表内容等を確認してください
また、間違った情報があるかもしれないので、そこはコメントや編集リクエストでください!!!
- Ruby 3.0でMJITを有効にすると、デフォルト設定ではRailsアプリケーションではパフォーマンスの低下が起きうる
- Ruby 3.1ではパフォーマンスは改善されたが、起動に時間がかかったり、コンパイル中のパフォーマンス低下などの問題も残っているので本番導入する場合は注意が必要
- Ruby 3.1で新たにYJITがexperimentalで導入されるが、これはRailsであってもパフォーマンスが向上される。ただし対応プラットフォームが限られている
今後もまだまだ改善がされていくと思うので、今後に期待しています。
個人的には引き続きわからない部分を調べて、来年はもう少し理解できているようにしたいと思います。
終わりに
明日のQiita株式会社 Advent Calendar 2021は、 @tanaka_shoya が担当しますのでお楽しみに！
その他の参考資料
参考資料は文中に記載してありますが、記載していない部分で参考にした資料を追加で記載します。
YARV
MJIT
- Ruby 3におけるMJITのベンチマークや改善ポイントについて說明されている
- 実装について
YJIT
- ruby/yjit.md at master · ruby/ruby
- YJIT: CRuby向けの新しいJITコンパイラを構築する（翻訳）｜TechRacho by BPS株式会社
- MoreVMs’21: “YJIT: Building a New JIT Compiler Inside CRuby” – Maxime Chevalier-Boisvert - YouTube