(cache) trace_funcを実装しました

2008-12-15

trace_funcを実装しました

19:18 |

yarv2llvmをスピードアップするにはprofilerがいるなーと思い、set_trace_func相当のものを作りました。set_trace_funcのそのままだとtrace_funcが設定されているかどうかを静的にチェックするのが面倒そうなので、YARV2LLVM#trace_funcというメソッドがあれば、それをYARVのtrace命令のタイミングで呼ぶようにしました。

    YARV2LLVM::compile(<<-EOS, {})
module YARV2LLVM
  def trace_func(event, line)
    p line
  end
end

def fib(n)
  if n < 2 then
    1
  else
    fib(n - 1) + fib(n - 2)
  end
end
EOS

こんな感じでコンパイルしておいて、fib(3)とすると、

こんな感じで実行したメソッドの行番号が表示されます。trace_funcはllvmのオプティマイザーでインライン化されますのでオーバヘッドがかなり小さくなりそうです。今のところ、この機能はprofileというブランチを切ってそこに入っています。

コメントを書く

ささだ 2008/12/15 19:50 すばらしい．

miura1729 2008/12/15 20:31 ありがとうございます
でも本当にすばらしいのはllvmの最適化ですね。
trace_funcをインライン化するって発想は無かったです。でも、そうすると定数畳み込みと合せて、処理の必要の無いイベントはオーバヘッド無しになります。
llvmの強力な最適化があれば、もう少し過激にリフィレクティブな機能が入れられるかなって考えています。

ささだ 2008/12/15 22:21 LLVMの最適化の部分がわからなかったんですが，実行時書き換えで trace_func を有効・無効に変更するってことでしょうか．

miura1729 2008/12/16 06:25 説明が足りずすみません
イベントの番号はtrace命令の引数から取っているので、定数になるわけです。そう考えると、たとえばtrace_funcが
if (event == CALL)
:
elsif (event == RETURN)
:
end
とかという内容だった場合、trace_funcがインライン化されると、eventが定数なのでif文の条件が静的に決まります。だから、この条件にない例えばLINEとかのイベントはdead code削除で最終的には何もなかったことになるんじゃないかなと思います。

トラックバック - http://d.hatena.ne.jp/miura1729/20081215/1229336295

リンク元

		2008/12
日	月	火	水	木	金	土
	1	2	3	4	5	6
7	8	9	10	11	12	13
14	15	16	17	18	19	20
21	22	23	24	25	26	27
28	29	30	31

miura1729の日記

2008-12-15

trace_funcを実装しました