KaigiEffect.new(name: "dak2").generate

Lightning Talks on Hakodate Tram at Rub
2026-04-25
RubyKaigi 2026

Transcript

1. KaigiEffect.new(name: "dak2").generate Daichi Kamiyama @_dak2_ Lightning Talks on Hakodate Tram at RubyKaigi 2026 2026-04-25
2. Ruby を AOT コンパイル どれくらい速い？ spinel で、 公式 Ruby gem をコンパイルする実験
3. // test subject ipaddr Ruby 同梱の default gem
4. // workload 1M 個の IP を CIDR 包含判定 10.0.0.0/8 に入るか？ — 文字列 parse · object 生成 · bit 演算の総合テスト
5. // benchmark script ipaddr_bench.rb (抜粋) cidr = ipaddr_from_str("10.0.0.0/8") n = 1_000_000 count = 0 i = 0 while i < n addr_int = (i * 2654435761) & 0xffffffff # Knuth hash a = (addr_int >> 24) & 0xff b = (addr_int >> 16) & 0xff c = (addr_int >> 8) & 0xff d = addr_int & 0xff str = a.to_s + "." + b.to_s + "." + c.to_s + "." + d.to_s ip = ipaddr_from_str(str) count = count + 1 if cidr.include?(ip) i = i + 1 end puts "matched: #{count} / #{n}"
6. 2.9x CRuby 3.15s → spinel 1.08s
7. // 最初に書いた initialize ipaddr_bench.rb class IPAddr def initialize(str) slash = find_slash(str) # local prefix = str[0, slash] # local prefixlen = str[slash + 1, str.length].to_i # local masklen = 32 - prefixlen # local @addr = parse_ipv4(prefix) # ivar @mask = (0xffffffff >> masklen) << masklen # ivar end end ごく普通の Ruby。 でも、 これが spinel では C コンパイルで死ぬ。
8. // spinel's convention initialize は 単純代入だけ @foo = foo 以外は書かない
9. // spinel の内部挙動 initialize から 2 本の C 関数 が生成される C には overload も継承も無い — 呼ばれ方ごとに別関数にするしかない sp_IPAddr_new ← IPAddr.new("...") · factory (alloc + 初期化) sp_IPAddr_initialize ← class Sub < IPAddr; def initialize ... super(...) · callable spinel_codegen.rb:9677 のコメント: “Initialize function (for super calls)”
10. // 問題はここ _initialize のループには else 節が無い spinel_codegen.rb:9719 stmts.each { |sid| if @nd_type[sid] == "InstanceVariableWriteNode" emit_raw(" self->#{ivar} = #{val};") end # ← else 節が無い } ローカル変数代入 · if/else · メソッド呼び出し — 全部 黙って捨てられる
11. // だから、こうなる Ruby の initialize def initialize(str) slash = find_slash(str) # 捨てられる prefix = str[0, slash] # 捨てられる prefixlen = str[slash+1, str.length].to_i # 捨てられる masklen = 32 - prefixlen # 捨てられる @addr = parse_ipv4(prefix) # ✓ emit @mask = (0xffffffff >> masklen) << masklen # ✓ emit end 生成された sp_IPAddr_initialize static inline void sp_IPAddr_initialize(sp_IPAddr *self, ...) { self->addr = parse_ipv4(lv_prefix); self->mask = ((4294967295 >> lv_masklen) << lv_masklen); } error: use of undeclared identifier 'lv_prefix' error: use of undeclared identifier 'lv_masklen'
12. // before → after × 失敗 — parse を初期化内で def initialize(str) slash = find_slash(str) prefix = str[0, slash] masklen = 32 - prefixlen @addr = parse_ipv4(prefix) @mask = (0xffffffff >> masklen) << masklen end ✓ 成功 — parse は外に出す def initialize(addr, mask) @addr = addr @mask = mask end def ipaddr_from_str(str) # parse して .new(...) に渡す IPAddr.new(addr, mask) end
14. あなた の KaigiEffect は？ Thank you · @_dak2_