ささだです。

miura wrote:
> 発表お疲れ様でした。論文、楽しく読まさせて貰いました。

　やはり、わかりやすい内容なので、色々とつっこみを頂きました。そうい
えば、渡部先生にもご挨拶いたしました。
> 
> アイデアの概要は、特化命令を期待される引数の型によってさらに
> 特化するというものです。そして、実行時に引数の型によって命令を
> 書き換えてしまいます。

　命令オペランドに関数ポインタを渡して、それで対処するのはどうだろう
な、と思っていました。

  INSN opt_func(func) {
    ...
    (*func)(recv, arg);
    ...
  }

　関数ポインタ func を呼び出し、その中で型チェックを行い、期待したも
のではなかったら func に 別の関数ポインタを代入する感じです。

　これだと、他の特化命令も減るのでだいぶシンプルになります。ただし、
C 関数呼び出しのオーバヘッドが入るので、どうなるかはよくわかりません。

　これは前から暖めていたアイデア（一度、ruby-core に投げたことがある
が誰も取り合ってくれなかった）なのですが、今回 Float のチェックで問
題が顕著化したので、やらないとなー、と。

利点：
　特化命令が一般化できる。たとえば、拡張ライブラリ側から特化命令に対
するアプローチできる。つまり、私が知らない命令を作ることができる。

欠点：
　C の関数呼び出しが増える。

　PIC の弱い版と言うこともできるのかなぁ。違う気がするな。

-- 
// SASADA Koichi at atdot dot net

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