ふと思い立って YARV からの JIT コンパイラを Xbyak で書き始めてみました。 x86 と x86_64 を両方サポートするつもりだったけど、とりあえず適当にやりすぎて x86_64 に依存しまくってしまったのでとりあえず現状そっちだけ。今度 x86 対応はちゃんとやる。あと Windows と MacOSX もたぶんまだだめ(調べられる環境すらない)。 http://shinh.skr.jp/tmp/yajit.tgz YA なのはなんか他にやってた人いるみたいだし、私の記憶が確かなら YARV にも昔そういう最適化フラグあったような。実装されてたかは知らんけど。 とりあえず動くコードもあれば動かんコードも…って感じです。速いかというと…遅い気がする。とりあえずブロック呼び出しごとに mprotect してるとかがあまりに問題外すぎる気がする。とりあえずこんなとても恣意的なベ

YARV ベリファイアを試作してみました。製作時間一晩、リファクタリング一晩なので適当です。不正なバイトコードを食わせると例外を投げます。 # encoding: utf-8 # bad_example.rb require "verifier" # ヘッダ header = [ "YARVInstructionSequence/SimpleDataFormat", 1, 1, 1, { :arg_size=>0, :local_size=>1, :stack_max=>3 }, "<dummy>", "foo.rb", :top, [], 0, [] ] # バイトコード本体 (スタックマシン) body = [ [:getlocal, 10000], # 10000 番目のローカル変数を読む [:leave] # 終わり ] bytecode = header + [body] # バ

「GWもする事はコーディング」の会で VM のディスパッチの高速化に Context threading なる手法があることを教わりました。 現在採用している Direct Threaded という手法よりも高速になったという論文を読みます。 「Context Threading: A flexible and efficient dispatch technique for virtual machine interpreters - Marc Berndl, Benjamin Vitale, Mathew Zaleski and Angela Demke Brown」。 まだ理解度4割ほどですが Abstract やら本文を読んだまとめです。 まとめ 最近の深いパイプラインの CPU アーキテクチャでは分岐予測によりパフォーマンスを向上させておりそれに頼っている部分がある。 Direc

もっと早く紹介しようと思ったのに、忙しすぎた。 例によってトラックバックは上手くいかないので、ひげぽんさんが拾ってくれることを期待。 Virtual Machinesお勧め。 全体としてはスタックベースのVMについて、浅く広く書かれています。所々にLispの文字が見えますが、Lisp用のアーキテクチャについてはあまり載っていません。 目次から chap1 Introduction：ここでLispとかSECDマシーンが少し出てきます。 chap2 VMs for Prtability BCPL：BCPLという言語を使ってVMにどのような命令があるのかの説明。 chap3 The Java Virtual Machine：Java VMの説明 25ページほど chap4 DIY VMs：ALEXという俺様VMの説明。仕様と問題提起 chap5 More Stack-Based VMs：オブジェ