三浦です

(2) の1bit犠牲にするのを指数部にして、もし演算結果が7bitの指数で表せない
ときはIEEE 754のちゃんとしたフォーマットをヒープにとるというのはどうでしょうか？

----- 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