三浦です

発表お疲れ様でした。論文、楽しく読まさせて貰いました。
さて、論文の4.3の最後で述べられているFloatオブジェクトのチェック
による速度低下の課題について解決方法が思いつきました。

アイデアの概要は、特化命令を期待される引数の型によってさらに
特化するというものです。そして、実行時に引数の型によって命令を
書き換えてしまいます。

opt_plusを例に挙げます。

 最初コンパイル時には現在opt_plusにあたる部分はopt_plus_virgin
命令を生成します。
opt_plus_virgin命令は次のような動作をします

  引数がfixnumのとき
      自身のopt_plus_virgin命令にあたる部分にopt_plus_fixnumに書き換える
      opt_plus_fixnumを呼び出す

  引数がfloatのとき
     自身のopt_plus_virgin命令にあたる部分にopt_plus_floatに書き換える
      opt_plus_floatを呼び出す

  引数がSTRINGの時
     自身のopt_plus_virgin命令にあたる部分にopt_plus_stringに書き換える
      opt_plus_floatを呼び出す


それぞれの命令は命令の名前になっている型を最優先で判断します。
必要な型について命令をあらかじめ用意しておきます。

例えば、opt_plus_fixnumは次のようになります。
    if  (引数がFIXNUMか) {
    }
    else if (引数が埋め込みFLOATか) {
   }
   else if
        :
        :

同様にopt_plus_stringは次のようになります。
   if  (引数がSTRINGか) {
    }
    else if (引数が埋め込みFIXNUMか) {
   }
   else if
        :
        :

命令数が激増するので、この方法が効果があるか分からないですが・・・。 


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