ささだです。

shudo computer.org wrote:
> 首藤です。
> 
> 
>>　ささだです。
> 
> 
>>　命令ハンドラ中に分岐がある場合、gcc だとブロックを明後日の場所において
> 
>     ^^^^^^^^^^^^ 「VM命令のインスタンス」ですよね?

　IBM の論文に命令ハンドらって書いてあったので、ひきづられてしまいました。

> 
>>しまうことがあるので、追うのが大変なんですよね。だから dynamic
>>superinstruction (selective inlining) も出来ない。なんとかする方法はある
>>んだろうか。
> 
> 
> 1つの VM 命令インスタンスが 方々にバラまかれてしまったら、
> dynamic だけじゃなくて static superinstructions もかなり困難ではないかと。
> 制御フローを解析して、かき集めて、ジャンプ先の解決をする??????????
> なんとかバラまかれないようにできればいいのですが、
> 別の関数に閉じ込める (→空間コストが unacceptable)、くらいしか
> 方法が思い付きません。

　-fno-reorder-blocks を付けたら、ばら撒かれないようになりました。失礼し
ました。前に試したときには駄目だった記憶があるんですが、何かの勘違いだっ
たようで。

> 
> VM 命令インスタンスを C 言語で記述することで割と高い移植性が得られる
> わけだけど、上記の点とか、
> 変数のレジスタへの割り当てが自由にならないなどの残念な点もあるわけで。

　まったくそのとおりですね。

> Ertl 先生の研究では、TOS (top of stack) (や PC?) の
> レジスタへの割り当てはどう制御してるんでしょうか?
> vmgen がうまいことやってくれるんでしょうか。

　なんとなく、最近は gcc カスタム for インタプリタ、みたいなものを作るし
かないのかなぁ、とか思っています。いや、そこまでやるかは微妙ですが。


-- 
// SASADA Koichi at atdot dot net
//

--
ML: yarv-dev quickml.atdot.net
使い方: http://www.atdot.net/~ko1/quickml