いよいよ発表の日。朝、4時に目が覚めてWebDBを読んだり、Twitterを読んだりしてました。5時過ぎにまた寝て6時に起きました。うだうだして7時に朝食。650円だったのですが、ごはんお代わり自由、コーヒー飲み放題とかなりお得でした。 食後またうだうだして…
RubyKaigi2010に行って、しゃべってきました。毎年行きたいと思っていたのですが、お祭りだ商工会だで行けなかったのですが、今年はちょうど予定がかぶらなくてばっちりでした。金曜日はさすがに仕事が休めなかったので、土曜日の2日目からです。初めにスタ…
Marshalモジュールは特殊なオブジェクトや拡張ライブラリで定義したオブジェクトに対応するために、Marshalしたいオブジェクトのクラスにメソッドを定義することでMarshalの仕方をカスタマイズできます。それも、カスタマイズの方法は３通りあります。 marsh…
YTLJitはコンパイル速度を上げるために、コンパイル途中の情報(VMと呼んでいる)をファイルに保存できるようにする予定です。VMはProcオブジェクトを多用しているので、ProcオブジェクトをMarshal出来るようにしました。結構込み入った話で、忘れそうなので仕…
kwatchさんの日記を読んで( http://d.hatena.ne.jp/kwatch/20100616/1276650107 )、未使用変数を指摘するプログラムを考えてみました。バイトコードを解析するという方針で、プログラムを作ってみました。Ruby1.9でしか動かないです。http://gist.github.com…
まめめもでku-ma-meさんがパターンマッチを使って面白そうなことをしておられるので、私もやってみました。 http://d.hatena.ne.jp/ku-ma-me/20100522/p1 やっぱり実践的な使い方をするといろいろ問題点が出てきて良いですね。最新版のプログラム(matcher.rb…
いま、ytljitというネイティブコードに落とせるVMを作っているのですが、Rubyにパターンマッチがないために時々悔しい思いをしています。日曜日にGaucheのコード(compile.scm)を読んでいてパターンマッチを上手に使って簡潔に書いてあるのを見て自分でも作る…
追記 2/16 この方法だとレジスタの寿命が必ずネストしてなくてはいけないことになる。実際に使われているところを解析すればいいのだが、せっかくだからレジスタの寿命がlexicalに見えていたほうが嬉しい。ちょっと検討してみる。 結局、寿命解析をするよう…
ytlのアセンブラはRubyにアロケートしたメモリにバイナリを生成してJITで実行できるようになりました。でも、いろいろ試していたらバグがいっぱい出てきて直さないといけないです。特に、間接アドレッシングの当りは全然だめです。こんな感じでプログラムが…
いまは、非常に忙しいです。忙しいので、こんなことをしていてはいけないのですが、プログラムを作っています。これが楽しい。で、なにを作っているかというと、Rubyでアセンブラを作っているのです。http://github.com/miura1729/ytljit初めにアセンブラを…
yarv2llvmを作成していて、メソッド呼出毎にさまざまにコンパイルの仕方を変える必要があることがわかりました。 例えば、eachは多くの場合インライン化する必要があるし、String#packは第1引数のテンプレートを見て型推論を行う必要があるし、newはエスケー…
私の知る範囲の動的に型づけされた言語の実現方法の資料をまとめてみました。英語は苦手なんで日本語中心です。 こういうのがあるよとか、こんなところにリンクしないでくれとかありましたら教えてください。 思い出したら追加します。変更履歴2009/12/13 初…
ひょんなことから短歌作成プログラムを作ることになりました。 もっと優先順位の高いやらなければいけいないことが多いので、忘れないようにメモをします。 基本的な考え方 基本的な考え方は５・７・５・７・７になるように単語をランダムに並べる 単に並べ…
各データについて１つづつあり、データと型オブジェクトの橋渡しを行うRubyTypeについての検討事項をここに書きます。 RubyTypeと型オブジェクトを分離する方針は非常にうまく行くのでこれからも継続する デバッグ情報、@name, @line_noは便利なので今後も必…
なんか、yarv2llvmのデバッグがはまってきたので作り直す場合に同じ失敗を繰り返さないようにするためのメモ。思い出したら順次書いておきます。 add_same_typeによる型の関連づけ → ユニフケーション のサイクルは複数回繰り返さなければならない場合がある…
新しいソフトウエアを作ったので、公開したいと思います。 そこで、このソフトウエアを公開するに当たってどんな影響があるかどうか調査したいと思います。 もし、ご意見のある方がいましたら、コメント・トラックバックまたは、github, twitter(どちらもID…
今まで、twitterは面白そうだなーと思っていて、いろいろな人の呟きをROMしていたのですが、だれもfollowしてもらえないと悲しいなとおもってやりませんでした。 でも、CSNagoyaの飲み会でその話をしたら、followしてあげるよって言って貰えたので、始めるこ…
CSNagoyaという団体に混ぜてもらって、RHG読書会に参加しました。yarv2llvmを宣伝させてくれるというので、宣伝してきました。私がなんか書くより、id:lequeさんの方が面白いと思うので、そちらを見てください。 http://d.hatena.ne.jp/leque/20091004/p1Typ…
http://web.yl.is.s.u-tokyo.ac.jp/pl/abclf/ipa-final/reports/html/contents.html
ずいぶん久しぶりですが、私が仕事で使っているRubyプログラムの一部を紹介します。 その4となってますが、前のはここにあります。http://d.hatena.ne.jp/miura1729/20090428/1240924372 その1 http://d.hatena.ne.jp/miura1729/20090430/1241083520 その2 h…
Ruby 1.9.2 preview1にアップデートしたところ、yarv2llvmが動かなくなりました。 よく見ると、rb_get_method_bodyが無くなっている模様です。おそらく、nodeをGC対象外にする話の一貫じゃないかなと思います。ちょっと追ってみると、vm_method.cで定義され…
相変わらずbm_so_*.rbを動かそうとしています。現状はこんな感じです。動かないものの理由もだいたい調べています。ファイル名の後に*がついているのはbm_so_*.rbを書き換えて動かしたものです。 こうしてみるとbm_so_*.rbっていろいろな機能がまんべんなく…
私はHANI（埴短歌会）という短歌の会(結社)に入会して短歌を勉強させてもらっているのですが(その割には全然上達しない)、会のメンバーで友達の小夜さんが短歌添削ブログを始めたので紹介します。 http://hanitankakai.blog62.fc2.com/彼女の批評力はすごく…
yarv2llvmでHello Worldが動くようになりました.こんなプログラムです。 m = LLVM::Module.new('hello') LLVM::ExecutionEngine.get(m) p_char = LLVM::pointer(Type::Int8Ty) ftype = LLVM::function(Type::Int32Ty, [p_char]) ftype = ftype.to_raw printf…
bm_so_nsieve.rbを動くようにしています。これも、一見簡単だと思ったのですが曲者が隠れていました. Flags = ("\x1" * ( 2 ** n * 10_000)).unpack("c*") String#unpackの型推論は完全には不可能かと思います。幸い、unpackのテンプレート文字列はリテラル…
現状のbenchmark/bm_so_*.rbの状況です。動くプログラムがちょっと増えました.速度は基本的に変わっていないですが、bm_so_mandelbroat.rbだけはかなり速くなっています.多分、無駄な型変換が解消されたからじゃないかなと思っています。あと、出力を/dev/nu…
追記 2009/8/25 nagachikaさん、ブックマークのコメントありがとうございます。正直この日記にコメントが付くとは思っていなかったのでうれしかったし、ビックリしました. 同じ名前の変数を、違う型として扱われるプログラム中の区間を区切って別物として扱…
bm_so_count_word.rbが少し変更して動くようになりました。まだ、File#joinが動かないのでこんな感じに変更します。 #!/usr/bin/ruby # -*- mode: ruby -*- # $Id: wc-ruby.code,v 1.4 2004/11/13 07:43:32 bfulgham Exp $ # http://www.bagley.org/~doug/sh…
2009/8/16追記 bm_so_concatenate.rbとbm_so_fannkuch.rbが動くようになりました。コンパイルしないといけないランタイムが増えたため全体的に速度が落ちています.これまで計算主体のベンチマークが動くように作ってきましたが、bm_so_concatenate.rbとbm_so…
8月4日追記 この方法だとうまくいかない場合がありました。bm_so_mandelbrotを試していたのですが、このプログラムでは、ループカウンタを浮動小数点演算の式の中で使っています。この方法だとループカウンタが浮動小数点型になってしまいます。多分動くので…
