Ruby书JavaVM话.pptVIP

Rava～Rubyで書いたJavaVMの話～ 東京農工大学　工学部 情報コミュニケーション工学科 並木研究室　　笹田耕一 ラバとは 学名 Equus asinus? X ?Equus caballus ロバのオスと、ウマのメスの雑種 繁殖力のない一代雑種 丈夫でおとなしい 別の種が交雑して子供を作る（しかもそいつには繁殖力がない）という異常なものでも、利用価値があれば騾馬のようにふつうの生き物になってしまう例。(現代中国語動物名リスト＜馬＞ より) Rava とは pure Ruby な JavaVM インタプリタ言語による JavaVM Java バイトコードを実行 開発は５＋α日 Rava とは(Demo) C で書かれた SDL(Simple DirectMedia Layer)を Ruby 用に Wrap した Ruby/SDL で、 Java で SDL を使うプログラムを書いて、 そのネイティブコードを Rava で動かす 各四角形は別スレッドで動いている Rava の用途 ネイティブメソッドを Ruby で記述できる Java プログラミングのプロトタイプに利用 Ruby が動いてJavaVM が無い環境でJava が動く（そんな環境は無いかも） 教育用ソフトウェア（自分用） ジョークソフト（重要） Ruby とは 国産オブジェクト指向言語 Perl みたいな Smalltalk Smalltalk みたいな Perl じゃない 最近の言語の主要な機能を押さえている GC / Thread / 例外など 関連研究 Jalapeno - Java による JavaVM の実装 Kawa / MScheme Java による Scheme 処理系 JRuby - Java による Ruby の実装 java-module - Ruby から Java を利用 C 拡張ライブラリ Rava 開発動機(1) 「メモリーマネージメント」チュートリアル ＧＣなんて、自分で実装するものじゃないよね Ruby がマイブームだった Ruby では開発が楽そうだっ GC / Thread は勝手にやってくれる JavaVM は去年一個作った(C++) 誰もやっていなそうだ 卒論?ゼミの準備で忙しかった Rava 開発動機(2) 卒論 マルチスレッドアーキテクチャ →OChiMuS プロセッサ（農工大中條研） 「マルチスレッドアーキテクチャにおける 　　ユーザレベルスレッドライブラリの試作と評価」 スレッドを扱えるプログラミング言語による JavaVM の実装 今後、JavaVM を開発していく上でのプロトタイプ、及び練習用（自分用教育ソフト） Rava 発表の経緯 Slashdot.jp でアレゲなネタとして掲載 並木先生から、10月の終わりごろ 「伊知地さんから Rava のこと聞きたいって頼まれた。PTT で発表よろしく」 現在に至る JavaVM Summary スタックマシン 各Javaスレッドに一つのスタックを持つ バイトコード各命令は型付けされている ロード?ストア?算術?条件分岐?オブジェクト オブジェクト操作?メソッド起動?スタック操作 マシン独立なクラスファイル GC / 例外 / スレッド Rava の機能 クラスファイルのロード バイトコードの解釈実行 未実装バイトコードあり Ruby によるネイティブメソッドの記述実行 例外処理機 スレッド管理 とりあえずスレッド生成が出来る、程度 セキュリティなどは、とりあえず無視 Ruby のセキュリティモデルとあわせることは可能か？ Rava 全体構成 実装：クラスローダ(1) クラスファイルの定義どおり読み込み super class（クラス階層?継承関係の管理） コンスタントプール メソッド定義（ハッシュテーブルで保持） バイトコード列（数値の配列として読み込み） 例外テーブル インターフェース定義（ハッシュテーブルで保持） フィールド定義（ハッシュテーブルで保持） クラスファイルベリファイはしない 実装：クラスローダ(2) クラス階層 読み込んだクラスの基底クラスが無ければ、先にそれをロードする ロード終了時には、そのクラスの親にあたるクラスは必ずロードされている 親クラスへのリファレンスを保持しておく 実装：内部表現(1) 整数型 Java表現 singed : byte(8bit) , short(16bit) , int(32bit) ,long(singed 64bit) char(unsigned 16bit) boolian(1bit) Ruby 表現 Fixnum(signed 31bit) Bignum(