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

ひわだです。

From: [e-mail] (Shugo Maeda)
Subject: [ruby-dev:4144] Re: call/cc
Date: Wed, 13 Jan 1999 19:36:09 +0900

> 前田です。

> > 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するようになってますし。

乗り掛かった船なんで、もうちょっと追い掛けてみました。rb_gc_mark 自体
には問題なさそうですが ^^;、

1. gc_mark で rb_cContinuation にマークがつく
2. でも sweep が起らなかったらマークは残ったまま
3. ここで rb_cContinuation の ivar_tbl を更新する
4. rb_gc が起動される
5. rb_cContinuation は既にマークされてるので ivar_tbl にマークが届かない
6. ivar_tbl の __classpath__ が回収される

のは問題みたいです。例えば、rb_gc_mark してると…

% ./miniruby -e 'call_cc{};p Continuation;GC.start;p Continuation'
Continuation
/tmp/rb002576:1: [BUG] class path is not set properly
Abort

マークじゃなくて、こんな風にすべきだったみたい ^^;。

--- eval.c.orig Thu Jan 14 02:20:00 1999
+++ eval.c      Thu Jan 14 02:15:56 1999
@@ -6824,2 +6824,3 @@ rb_call_cc(self)
 {
+    volatile VALUE cont;
     thread_t th = ALLOC(struct thread);
@@ -6853,4 +6854,4 @@ rb_call_cc(self)
 
-    th->thread = Data_Wrap_Struct(rb_cContinuation, thread_mark,
-                                 thread_free, th);
+    th->thread = cont = Data_Wrap_Struct(rb_cContinuation, thread_mark,
+                                        thread_free, th);

でも irb はまた別みたいです。とほほ。

> > スタックが浅くなる方向への（書き戻しを必要としない） jump を見定める事っ
> > て出来ないんですかね。できたら stack の書き戻しが省けてうれしそうです
> > が…。（オプションで指定とか…ってダメかな ^^;）
> 
> たぶん、そういう場合は素直にcatch/throwを使うのがよいような気がします(^^;

ですね ^^;;;。