三浦です

単精度の浮動小数点をRVALUEに埋め込むpoor man's versionを作り
始めました。
今のところp 1.0 + 1.0をすると2.0と表示されます。それ以上難しいことす
るとうまく動きません。

作っていって気が付いたのですが、正式な高速化開発に当たって次の
ような問題があるんじゃないかなと思います。

  Float関係のテストパターンがいっぱい欲しい
      開発していて、Floatのテストパターンがいっぱいいるなと思いました。
   ある値だとうまくいくけど、別の値だとだめになるというのが良くあります。
   テストパターンのランダム生成も検討した方がいいかもしれないです。
   poor man's versionを作ったときのテストパターンも積極的に公開したい
   と思います。

 Floatの標準ベンチマークが欲しい
      せっかく高速化しても自作のベンチマークだけで効果が出ても悲しい
   ので標準ベンチマークが欲しいなと思いました。そのベンチマークの候補と
   して大域環境光レンダラのminilight(http://www.hxa7241.org/minilight/minilight.html)
   を推したいと思います。
   ただ、多分このプログラムは精度が要求されないと思う(確かめていない
   ですけど)ので、精度が要求されるプログラムなんかもあるといいのでは
   ないかなと思いますが、その手の話は全然分からないです。

実装の詳細

(3)の指数部を削る方式で、fixnumに泣いてもらってfixnumの領域に押し込
むようにしました。fixnumは30bitを越えるとbignumになってしまいます。
フォーマットは
   xxxxxxxxxxxxxxxxxxxxxxxxxxxx11   FIXNUM
   xxxxxxxxxxxxxxxxxxxxxxxxxxxx01   FIXFLOAT
となります。FIXFLOATは矛盾に満ちた名前なのですが、個人的に
しっくり来るので使っています。何かいい名前があったら教えて
ください。

後は、ほとんどのFLOATはRFLAOT(var)->valueでアクセスしている様ですが、
これをRFLOAT_VALUE(var)で置き換えます。RFLOAT_VALUE(var)は次のような
定義です。
#define RFLOAT_VALUE(obj)  \
   ((FIXFLOAT_P(obj)) ? rb_value2float(obj) : (RFLOAT(obj)->value))

後は、insns.defなどをFIXFLOATの分岐を追加したりしています。

GCとかmarshalとか問題になりそうですが、まだ何も考えていません。


----- Original Message ----- 
From: "SASADA Koichi" <ko1 atdot.net>
To: <yarv-dev quickml.atdot.net>
Sent: Tuesday, November 20, 2007 7:08 PM
Subject: [yarv-dev:1122] 考えている案


> 　ささだです．
>
> 　Float の高速化ですが，いくつか案があり，それぞれ得失があります．
> で，とりあえず 64bit 前提に考えています．
>
> 　高速化は，主に Float の「埋め込み」によって行おうと考えています．
> 要するに，Fixnum と Bignum の関係です．Fixnum はヒープ上にメモリをア
> ロケートしていません．Float はヒープ上にメモリをアロケートしているの
> で，たくさん数値計算をすると GC が発生します．
>
>
> (1) 単精度にする
>
> 　一番安易な解決方法です．64bit CPU なら 32 bit まるまる使っても安心．
>
> (2) 1bit，精度を犠牲にする
>
> 　一番現実的かな，と思っています．数値計算にどれくらい影響を与える
> か，わかりません．この辺の評価ってどうすればいいんでしょうか．
>
> (3) 頑張って精度を保証する
>
> 　IEEE754 の規格に則って，exp をやりくりして，1 bit 〜 3 bit 捻出す
> る方法です．細々とした計算が必要になるため，オーバヘッドは大きいです
> が，精度が保証できるため難しい検証やらは不要です（今まで通り，で終わ
> り）．
>
>
> 　例えば，(2) ってどれくらい「やばい」んでしょうか．
>
> -- 
> // SASADA Koichi at atdot dot net
>
> --
> ML: yarv-dev quickml.atdot.net
> Info: http://www.atdot.net/~ko1/quickml 



--
ML: yarv-dev quickml.atdot.net
Info: http://www.atdot.net/~ko1/quickml