[ruby-dev:23647] Re: NEWOBJ() in dfree

なかだです。

At Thu, 27 May 2004 16:12:05 +0900,
Yukihiro Matsumoto wrote in [ruby-dev:23637]:
> うーむ、
> 
>   * gc中にallocateしたオブジェクトにはあらかじめmarkを付けて
>     おく
> 
> という対応ではどうでしょう。OBJSETUP()に手を入れないといけま
> せんが。

[ruby-dev:23630]のパッチは、詳細にいうと二種類の修正を含んでい
ます。

(a) GC中に追加されたslot中のオブジェクトが常に回収されてしまう

(b) (おそらく)sweep中のslotを解放するためにfreelistが戻されると
    きに、使用されたVALUEがfreelistにつながれたままになってしま
    う。

あらかじめmarkしておくだけでは、(a)は改善しても(b)には効果がな
いと思います。

実際、以下のようなパッチでは10000回GCTest.newを繰り返しても落ち
なくなりましたが、20000回ではやはり落ちてしまいます。


Index: gc.c
===================================================================
RCS file: /cvs/ruby/src/ruby/gc.c,v
retrieving revision 1.176
diff -U2 -p -d -r1.176 gc.c
--- gc.c	7 May 2004 08:44:14 -0000	1.176
+++ gc.c	27 May 2004 10:02:41 -0000
@@ -379,4 +379,6 @@ rb_newobj()
     freelist = freelist->as.free.next;
     MEMZERO((void*)obj, RVALUE, 1);
+    if (rb_safe_level() >= 3) RANY(obj)->as.free.flags = FL_TAINT;
+    if (during_gc) RANY(obj)->as.free.flags |= FL_MARK;
 #ifdef GC_DEBUG
     RANY(obj)->file = ruby_sourcefile;
Index: ruby.h
===================================================================
RCS file: /cvs/ruby/src/ruby/ruby.h,v
retrieving revision 1.105
diff -U2 -p -d -r1.105 ruby.h
--- ruby.h	7 Apr 2004 06:30:14 -0000	1.105
+++ ruby.h	27 May 2004 09:55:18 -0000
@@ -289,7 +289,6 @@ VALUE rb_newobj _((void));
 #define NEWOBJ(obj,type) type *obj = (type*)rb_newobj()
 #define OBJSETUP(obj,c,t) do {\
-    RBASIC(obj)->flags = (t);\
+    RBASIC(obj)->flags = (t) | ((FL_MARK|FL_TAINT)&RBASIC(obj)->flags);\
     RBASIC(obj)->klass = (c);\
-    if (rb_safe_level() >= 3) FL_SET(obj, FL_TAINT);\
 } while (0)
 #define CLONESETUP(clone,obj) do {\


-- 
--- 僕の前にBugはない。
--- 僕の後ろにBugはできる。
    中田 伸悦