Upgrade to Pro
— share decks privately, control downloads, hide ads and more …
Speaker Deck
Features
Speaker Deck
PRO
Sign in
Sign up for free
Search
Search
Ruby in Ruby - Building an AOT Compiler with Ruby
Search
MATSUMOTO Katsuyoshi
September 25, 2024
Programming
0
180
Ruby in Ruby - Building an AOT Compiler with Ruby
MATSUMOTO Katsuyoshi
September 25, 2024
Tweet
Share
More Decks by MATSUMOTO Katsuyoshi
See All by MATSUMOTO Katsuyoshi
(私的)RubyKaigi の歩き方
katsyoshi
0
1.2k
Building Ruby Native Extension using Ruby
katsyoshi
0
1.9k
ちいさなクラウド業者やってみた
katsyoshi
0
180
fluentdとxlsx
katsyoshi
0
130
mikutterとJubatusとfluentd
katsyoshi
0
11k
ZFSでNASやってはまったこと
katsyoshi
0
2k
Asakusa.rbに一年間通ったらこうなった
katsyoshi
1
2.6k
mikutterとJubatusで遊んでみた
katsyoshi
0
590
BeagleBoard-xM向けに td-agent-armhf.debをつ くってみた
katsyoshi
0
810
Other Decks in Programming
See All in Programming
Serverless Rust: Your Low-Risk Entry Point to Rust in Production (and the benefits are huge)
lmammino
1
130
社内フレームワークとその依存性解決 / in-house framework and its dependency management
vvakame
1
570
JavaScriptツール群「UnJS」を5分で一気に駆け巡る!
k1tikurisu
9
1.8k
GoとPHPのインターフェイスの違い
shimabox
2
200
データの整合性を保つ非同期処理アーキテクチャパターン / Async Architecture Patterns
mokuo
53
18k
Java Webフレームワークの現状 / java web framework at burikaigi
kishida
9
2.2k
XStateを用いた堅牢なReact Components設計~複雑なClient Stateをシンプルに~ @React Tokyo ミートアップ #2
kfurusho
1
940
React 19アップデートのために必要なこと
uhyo
2
630
Open source software: how to live long and go far
gaelvaroquaux
0
650
Lottieアニメーションをカスタマイズしてみた
tahia910
0
130
第3回 Snowflake 中部ユーザ会- dbt × Snowflake ハンズオン
hoto17296
4
380
Djangoアプリケーション 運用のリアル 〜問題発生から可視化、最適化への道〜 #pyconshizu
kashewnuts
1
250
Featured
See All Featured
Helping Users Find Their Own Way: Creating Modern Search Experiences
danielanewman
29
2.4k
GraphQLの誤解/rethinking-graphql
sonatard
68
10k
Why You Should Never Use an ORM
jnunemaker
PRO
55
9.2k
Six Lessons from altMBA
skipperchong
27
3.6k
Being A Developer After 40
akosma
89
590k
Bash Introduction
62gerente
611
210k
[RailsConf 2023] Rails as a piece of cake
palkan
53
5.3k
Facilitating Awesome Meetings
lara
52
6.2k
Building Better People: How to give real-time feedback that sticks.
wjessup
367
19k
Creating an realtime collaboration tool: Agile Flush - .NET Oxford
marcduiker
27
1.9k
The Art of Delivering Value - GDevCon NA Keynote
reverentgeek
10
1.3k
Making Projects Easy
brettharned
116
6k
Transcript
Ruby in Ruby Building an AOT Compiler with Ruby katsyoshi
Repro Inc.
self
self 開発者募集中!!! Rails や Kafka をやりたい/できるひと 上記以外にも Go での配信基盤開発や Java/Objective-C
などでAndroid/iOS SDK開発も
self Twitter, GitHub, bluesky…: katsyoshi Hobbies: keyboard, fishing, watching football…
Work: Rails Application Programmer
My Gems fluent-plugins fluent-plugin-serialport… itamae-plugins itamae-plugin-resource-pip… irb-theme-dracula vaporware-compiler considering rename…
Dragon Book Club: Member フロントエンドエンジニアの集まり コンパイラーとしての話です そろそろ読みたいと思い20年が経ち… @spikeolaf「#lr-parser にいる人は全員参 加するのはあたりまえだよなあ???
しゃーない行くかー よみたかったしな!
Introduction AOT コンパイラーつくるぞ Matz も言ってたしそろそろ欲しいよね とりあえずうごくもの作ろう
Self Motivation コンパイラーつくったことないし一度作って みるのもいいよね 直接バイナリー作たい!! アセンブラー書いて機械語書いてみたい! 幸い資料も実装もたくさんあるしな!
Simmilar Implementations LLVM Backends: RubyMotion うーん… Rust Backends: monoruby もうやってるひといるしな
Go Backends: goruby もうやってるひといるしな Ruby でやるぞ!!!
C Language Compile Flow C言語でコンパイルすると上図のようになる これらの流れを Ruby でもできるようにするぞ! 全部一旦実装する!
Create Components Compiler Assembler Linker
Compiler 整数演算と簡単な制御構文が使えるようにす る 四則演算 変数 条件分岐 if, while
Compiler Ruby が AST(Abstruct Syntax Tree) を持っ ている Ruby からアクセス可能
Compiler RubyVM::AbstructSyntaxTree.parse 木構造なので辿るだけで大丈夫 x86_64 Assembly 言語へ変換
Assembler 中間言語表現からオブジェクトファイルを生 成 今回は x86_64 Assembly を選択 決まった中間言語表現から Binary Format
へ変換するだけ ということで Format を決めましょう
Binary Format Linux ELF
ELF Executable and Linking Format Linux などの Unix 系 OS
で動作するバイナ リフォーマット
Structure of ELF ELF Header Sections Section Headers
Structure of ELF
ELF Header ELF オブジェクトファイルのヘッダー ファイルサイズなどが書かれている 0x40 bytes
ELF Header
Sections Text Section: 本体 Data Section, BSS Section, Note Section
今回はサポートしないHeaderと必要最低限の実装 Symtab Section Strtab Section Shstrtab Section
Sections: Text Section プログラムの本体
Section Headers 各 Section の開始点など情報を持つ部分
Structure of ELF 完全理解した あとは実装するだけ!
Assembler Assembly 言語から機械語へ変換する 今回はx86_64のELFへ変換
Learn x86_64 Machine Language 次に機械語を覗いてみよう 基本的に Assembly に書いてある命令をその まま変換すればいい
Learn x86_64 Machine Language
Learn x86_64 Machine Language やりたいこと: 64bit で加算したい 加算命令: ADD REX.W
01 と書いてあるやつを選べばよさそう
Linker オブジェクトファイルと実行に必要なライブ ラリを繋げてくれて実行ファイルを作ってく れるやつ 今回はここはできあいの mold, gold, lld で
Current ((1 + 2) * 3) / (5-4) 上記のコードをx86_64 Assembly
言語にコ ンパイル コンパイルされた Assembly 言語から ELF のオブジェクトファイルへアセンブル ELF のオブジェクトファイルと必要なライブ ラリをリンクし実行ファイルを生成
Current まだまだ実装たりない 簡単なコードを AST からネイティブに変換 しただけ Linker もない
Futures Linker を作る 構文サポート 制御構文、クラス、メソッド…
Conclusion Compiler、Assembler を作ってみた 現状としてはまだまだ ベンチマークとれるレベルまで持っていく