MAEDA Atusi <maeda-yarv atusi.org>
 17 Sep 2004 00:21:16 +0900 / [yarv-dev:224] Re: return from orphan Proc object

　ささだです。

>> 　yield をとにかく速くするためには，という話はわかりました．
>> 三日くらい悩んでみます．easy でも full でもチェックが必要なく，
>> 速ければいいんですよね，多分．
>
>そのためには、
>
>> ProcObject{
>>   BlockObject *bobj;
>>   Environment *envlist;
>> };
>
>を渡したりBlockObjectを渡したり、じゃなくて、形を揃えておくのはどうで
>しょう?

　というのを考えてました。

　これに、こいつ自身に継続情報も詰め込んじゃおうかなあ、とか
考えてるんですが、そうすると本当にどうなるかはちょっとわかり
ません。なんか出来そうな気もするんですが、やっぱりよくわから
ないな。

　で、なんでそんな無謀なことをしようとしてるかというと、
元に戻すための stack pointer の管理と環境（の一部）の管理を
dfp というポインタひとつで賄わせてるからです。この構造変えな
きゃいけないような気がしてきました。つまり、sp だけの管理情報。
継続情報が一個増えるけど、しょうがないか。

　現在は、pc, lfp, dfp を保存してます。dfp の n個前が戻り先 sp。
　こんなこと書くと、やっぱり lfp なんて要らんといわれそうだ。

　結局、これだと scope ごとに作成するフレームのサイズは 10 word
前後になりそう。やっぱり結構でかい。

　これ 1word を積むのが嫌で、色々小細工してたんですが、あんまり
意味ないっぽいですねぇ。その辺をすっきりして、sp も積むように
すればいいかな。

>(StackProcを、名前のある引数で受けとった時は、FullProcに変換する。
>もっとがんばるなら、受けとった引数が単にcallされるだけならOKだけど、
>そうでない形でメソッドの中に表れていたらFullProcに変換。)
>
>BlockObject を渡したい時ってのは、Environmentを渡す必要がないってこと
>ですよね? (違う?)

　そのとおりです。

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


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