miura1729の日記

yarv2llvmの近況(自分用のメモ)

22:20 |

インライン展開処理にバグがあって--inline-blockが実は動いていなかったのですが、動くようにしました。でもまだ、バグがあるようです。bm_so_mandelbrotの実行結果がおかしくなります。--inline-blockをつけると、Fixnum#times, Array#each, Range#eachなどの組み込みのイテレータについては、ブロックもループ処理も1つの関数の中に展開されます。効果は速くなるものも遅くなるものもあるという感じです。

ブロック内のbreak, continueなどを実装し始めました。ブロック内のbreakはthrow命令にコンパイルされて例外処理(スタックのunwind)が必要になるのですが、ブロックをインライン展開することで単なるjmp命令にコンパイルすることができます。

また本物の例外処理もLinuxではinvoke/unwind命令はDwarf3の情報を使った0-costのものが生成されることを確認したので、そろそろサポートしようかなと思います。

yarv2llvmの実行速度は今のところ、ランタイム(GCやIOなど)に負荷を掛けるものじゃなければ、Ruby 1.9の10倍くらいかなという印象です。The Computer Language Benchmarks Game(http://shootout.alioth.debian.org/)の結果を見るとCなどはRuby 1.9の100倍くらいのようです。

yarv2llvmでは無理ですが、Cと同等のパフォーマンスが出せるRubyが開発できる可能性について考えています。少なくともCコンパイラの開発と同じくらいのリソースは必要だと思います。やっぱりbignumがネックになりそうですが、オーバーフロー割り込みをサポートしているCPUならあるいは・・・、と思いますが。

追記

　yarv2llvmはbignumをサポートしてないです.もしサポートすると整数演算の前後にbit演算の条件判定が入るので劇的な速度低下は間違いないと思います。オーバーフローを低コストで見つける方法ないかなー。bignumかのチェックは初めは入れなくてbignumが生成されたらそのbignumが到達できる演算にbignumかのチェックを入れるように再コンパイルするような戦略にすると良いのかなー。