[ruby-dev:4144] Re: call/cc

前田です。

Kazuhiro HIWADA <[e-mail]> writes:

> > +    rb_gc_mark(th->thread);
> 
> ここは
> 
> +    FL_SET(th->thread, FL_MARK);
> 
> とかにしといた方がいいみたいですね。
> 
> rb_thread_save_context のなかで、rb_gc が呼ばれて thread が回収される
> のが問題みたいなので、回収を避けるために一時的に mark したいんですが、
> まだ th が不完全なこの段階で rb_gc_mark を呼ぶと iv_tbl あたりが破壊さ
> れてしまうみたいです。細かく追ってないですが。

これはたぶん別の問題なのではないでしょうか。
contextが保存される前でもオブジェクト自体は完全なので、rb_gc_mark()を呼んで
も問題ないように思います。
thread_markではth->stk_lenが0だったらそこでreturnするようになってますし。

> > Thread として保存したコンテキストは GC から永久に
> > 触られないようにすべき、、と思うものの
> > これでいいのかは、自信なし ^^;
> 
> 回収されるのはスタックではなく、スタックの複製なので問題ないんじゃない
> でしょうか ^^;。スタックの複製へのリファレンスがなくなってるときには、
> 継続を復元する手段はもうないですし。

逆に回収しないとmod_rubyみたいにずっと走り続けなければならないアプリ
ケーションでゴミがどんどん溜まって困りそうですね。

> スタックが浅くなる方向への（書き戻しを必要としない） jump を見定める事っ
> て出来ないんですかね。できたら stack の書き戻しが省けてうれしそうです
> が…。（オプションで指定とか…ってダメかな ^^;）

たぶん、そういう場合は素直にcatch/throwを使うのがよいような気がします(^^;

-- 
前田 修吾 (mailto:[e-mail])