More Related Content
What's hot (20)
尘谤耻产测の闯滨罢
- 6. バイトコード列の例 irep 0x20160790 nregs=11 nlocals=4 pools=3 syms=5 reps=1 file: benchmark/bm_fib.rb 14 000 OP_ENTER 2:0:0:0:0:0:0 15 001 OP_LOADSELF R4 15 002 OP_STRING R5 L(0) ; "" 15 003 OP_GETCONST R6 :Irep 15 004 OP_MOVE R7 R1 ; R1:ele 15 005 OP_GETUPVAR R8 1 0 15 006 OP_SEND R6 :disasm 2 15 007 OP_STRCAT R5 R6 15 008 OP_STRING R6 L(2) ; " n" 15 009 OP_STRCAT R5 R6 15 010 OP_SEND R4 :print 1 16 011 OP_GETUPVAR R4 1 0 16 012 OP_MOVE R5 R2 ; R2:i 16 013 OP_SEND R4 :reg_type 1 16 014 OP_LAMBDA R5 I(+1) 2 16 015 OP_SENDB R4 :each 0 16 016 OP_RETURN R4 normal
- 8. 素朴な考え 命令のフェッチ MOVE 命令の実行命令の実行命令の実行命令の実行 SEND ADD LOADI CALL この部分の実行した機械語をどこかに覚えておい て再実行すれば速くなるんじゃね?
- 9. こんな感じ 命令のフェッチ MOVE 命令の実行命令の実行命令の実行命令の実行 SEND ADD LOADI CALL MOVE 命令の生成命令の生成命令の生成命令の生成 SEND ADD LOADI CALL 既に生成された命令があれば それを実行 実行できないなら インタプリタのループに戻る 生成された機械語 実行 機械語 書き込み
- 12. mrubyのVMの状態の例 mrb->c VMのコンテクスト(Fiberとかを使わない限り変化しない) mrb->c->ci メソッドの呼び出し履歴 proc 現在実行中のブロック/メソッドのProcオブジェクト irep 現在実行中のメソッド/ブロックのプログラムコードと その付加情報（定数とかシンボルテーブルとか) pc 現在実行中の命令 syms シンボルテーブル pool 定数テーブル mrb->c->stack レジスタ(昔はregsという変数があったが今は無い) VMに戻るときはこの辺の変数を正しく設定する必要がある 常に整合を保つのではなく、VMに戻るときというのがミソ メソッド呼び出し?戻りとVMに戻る直前が主な更新ポイント LuaJITだとVMをアセンブラで書いて状態を変更しやすくしている
- 15. ガードを無くす 単純な例 OP_LOADI R3, 1 OP_ADD R2, 1, :+ OP_ADDでR3がFIXNUMであるかのチェックはいらない レジスタの型を覚えておき、確定するならガードを生成しない → これは既に実装済み もっと複雑なものは簡単にはいかないので静的に型推論を行う必要が あると思われる → これはまだ(興味がある人は後で話しましょう)
- 16. 余計なメモリアクセスを減らす 単純な例 OP_LOADI R3, 1 OP_ADD R2, 1, :+ R3は1であることをコンパイル時に覚えておき(コードは生成しない)、 ADD命令生成時にR3は1である情報を利用して即値を使う機械語を生 成する → これは既に実装済み もっと複雑なものはレジスタ割り当て(たとえばLiner Scan Register Allocation）を利用する必要があるでしょう。 → これはまだ(興味がある人は後で話しましょう)
- 18. 面倒くさいRubyの機能 ? メソッドの再定義 (make testで使いまくり) ? Fiber (h2oで使いまくり) ? send (optcarrot(ファミコンエミュレータ)で使いまくり) ? Procオブジェクト ? eval (require代わりに使ったりするから無視するわけにはいかない) だいたい自己書き換えコードかVMに丸投げで解決 あと、Cで実装されたメソッドでtarget_classをnullにするとcontextを更新出来る機能がとて も役に立っている(すごく込み入った話なので省略)
- 19. おしまい ありがとうございました