MAEDA Atusi <maeda-yarv atusi.org> wrote :
    [ [yarv-dev:198] Re: return from orphan Proc object ]
    at 16 Sep 2004 12:11:34 +0900

　ささだです．

> 前田(敦)@大岡山へ出張中です。

　ソフトウェア科学会ですかー．


>> 　Proc オブジェクトの生成時にヒープにコピーしないと、ライト
>> バリアみたいなものが必要になると思うんですが、どうでしょう。
>> call/cc をそうやりました、って論文が情報処理学会PROであった
>> 気がするけれど、ペイするのかなぁ、って印象でした。
> 
>  継続の生成におけるスタックコピーの遅延
> 鵜川始陽、皆川宜久、小宮常康、八杉昌宏、湯淺太一
> 情報処理学会論文誌「プログラミング」Vol.44 No.SIG13
> ですね。

　はい．


>> >前田さんへのフォローに書きましたが、returnできる場所から
>> >returnしないのはまずいのではないかと思います。
>> 
>> 　うう、そうですか。困ったなぁ。
>> 
>> 　いつ、どうやって「これ以降 return 禁止」と教えてあげればい
>> いのか。
> 
> Common Lispのblock/return-fromやtagbody/goの実装は(単純な場合はもちろ
> ん「スタックレベルを合わせてジャンプ」ですみますが)、一般には動的にス
> タックをサーチする大域脱出になります(ensureみたいな処理がありますから、
> 当然ですね)。
> 
> ユニークなデータ(たとえばconsセル)をblockに入った時に脱出タグとして作
> り、スタックに積む。
> 
> return-from は内部的には (exit-searching-tag unique-id value)のように
> 実装され、unique-idはクロージャの環境に閉じ込められる。
> 
> blockから出てしまうと、unique-idを目印に持つblockのフレームがスタック
> から無くなるので、return-fromできなくなる。
> 
> で良いんでは?

　それで出来ることはわかっているんですが，その「ユニークな何か」
を積むための空間的，時間的コスト，どちらかというと一個フレーム
に一個積むときの，その時間的コストですか．そいつが嫌です．

　今のところ，Java風の例外テーブルによる管理でうまくいっている
ので，そいつ（Orphan からの return を「エラーにする」）のため
だけに何か積む方法にするのは嫌だなぁ，と考えています．

　とくに，ensure は，特にコストもなく（ensure であることで何
か命令を実行することなく）実装できましたので，結構いいんじゃ
ないかと考えてます．

　ジャンプするときは，スタックをがりがり巻き戻してます．

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

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