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

SASADA Koichi <ko1 atdot.net> writes:

> 　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できなくなる。

で良いんでは?


				前田敦司

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