登壇その後 - ZJIT への興味とハック

2026/09/05 RubyKaigi 2026 Followup LT 資料
https://rhc.connpass.com/event/392503/

Transcript

1. 登壇その後 - ZJIT への興味と Hack - RubyKaigi 2026 follow up | 2026-09-05 Daichi Kamiyama (@_dak2_)
2. 1 自己紹介
3. 自己紹介 Daichi Kamiyama（@_dak2_） • • 株式会社タイミー バックエンド / 新規事業開発
4. 来年の RubyKaigi 2027 予習をしました Hideji Beer / 日向夏ラガー
5. 2 本編
6. 本日のお品書き • 登壇の振り返り • ZJIT への興味 • 今後
8. 興味を引かれた セッションがあった
10. FFI スタイルの Ruby を C 拡張に自動変 換する FFX + ZJIT トランポリンの jump 命令の直後に型情 報を仕込み、ZJIT のコンパイル時だけ読 む
11. 興味深い Hack だった かっこいい！！！
12. ZJIT は型をどう扱ってる？ 気になって読み始めた
13. つまり、あまり自分の発表に 関する進捗はありません！
14. 3 ZJIT の仕組み
15. YARV bytecode  HIR (SSA)  optimize()  LIR  機械語
16. • 何度か実行し、型を観測（プロファイ ル） • 「この値は◦◦型」を収集 • それを根拠に速い機械語を吐く
17. 4 例: 割り算を速く
19. プロファイルの結果、`a` も `b` も `Integer` だった。 じゃあ CPU の割り算命令を直接呼び出 す形に置き換えていい？
20. ちょっと待って、 Integer って2種類ある
21. • Fixnum ◦ 63ビット 符号付き整数 ◦ ポインタ埋め込みの値 • Bignum ◦ 多倍長 ◦ ヒープ上
22. • CRuby ◦ 実行時に値を見て判断(FIXNUM_P) • ZJIT ◦ コンパイル時に解決したい
23. Fixnum か Bignum の 判別を型レベルで表現
25. • u64 は 64ビット の符号なし整数 • 1u64 は u64 型の整数リテラル • << はシフト演算
26. • コンパイル時には「この値が取りうる 型」を1つに断定できない ◦ → 型を「可能性の集合」として持つ
27. 5 割り算が Fixnum にならない
28. • さっきの `div`、Fixnum / Fixnum の 結果も必ず Fixnum？ • 割り算は絶対値が小さくなるから、ほ ぼ Yes
29. • FIXNUM_MIN / -1 が例外 ◦ Fixnum の範囲は負側が 1 つ広い（2 の補 数） ◦ 最小値の符号反転だけ溢れる
30. 桁あふれしてBignum
31. ZJIT は HIR の命令に「結果の型」を宣言してい る 下流の最適化が「Fixnum 確定」と信じて guard を消していた = miscompile
32. • Expected ◦ 0 • Actual ◦ false
33. 6 FixnumDiv の戻 り値の型を直す
34. https://github.com/ruby/ruby/pull/17165
35. 面白い
36. • 実行時プロファイルして型をハンドリ ングする奥深さ • 必要に応じてインタプリタへside exit する、安全側に倒す設計
37. 7 とはいえ
38. Method-Ray（自作型検査器）を改善 するための準備もしていました
40. Ruby RBS の crate を拡 充する 自分の gem で使いたい強い気持ちがある
41. 8 まとめ
42. 実装を読んで小さな違和感を 追うと、Ruby本体への貢献 につながる
43. Hack 楽しんでいきたい
44. カジュアル面談はこちらから！