[ruby-dev:15249] Re: gc.c (gc_mark_rest): declare work area as static

Yukihiro Matsumotoさんの<[e-mail]>から
> |スタックが許す限りrb_gc_mark()を再帰呼び出しするように、少しだけ変更してみました。
> |この変更が意味をもつように恣意的に書いたスクリプトでだけ、かなりGCの速度が
> |向上するのですが、ボツになると思われるのでパッチは出さないでおきます。
> |(どうして最初からそうなっていないのかが、判らないのですが。)
> 
> もったいない。なぜボツになると思われたのですか？

以下のスクリプトなんですが、
ネストの深さとデータの参照の深さの調整に苦労したので、
普通のスクリプトを書いている人には全く関係のない"改良"としか
思えなかったので。
(ただ、私のようなプログラム鑑賞派にとっては、
gc_mark_all()とgc_mark_rest()の処理の対称性が向上するので嬉しい。)

パッチのほうは、sheepmanさんの修正[ruby-dev:15242]を行ったものに対する
パッチです。

GC::disable

gc = lambda {
  puts "GC start..."
  GC::enable
  tstart = Time::now
  GC::start
  tend = Time::now
  GC::disable
  puts "GC end"

  [tstart, tend]
}

def nest(level, what, *args)
  if level == 0
    return what.call(*args)
  else
    return nest(level - 1, what)
  end
end

def make(level)
  if level == 0
    return nil
  else
    level -= 1
    if level < 11
      return [make(level)]
    else
      return [make(level), make(level)]
    end
  end
end

def interval(ts, te)
  return (te.tv_sec - ts.tv_sec) * 1000000 + (te.usec - ts.usec)
end

x = make(25)

LEVEL = 1780
t = 0
ts, te = nest(LEVEL, gc)
t += interval(ts, te)
ts, te = nest(LEVEL, gc)
t += interval(ts, te)
ts, te = nest(LEVEL, gc)
t += interval(ts, te)
ts, te = nest(LEVEL, gc)
t += interval(ts, te)
ts, te = nest(LEVEL, gc)
t += interval(ts, te)
printf("average time: %d usec.\n", t.to_f / 5.0)
# => 2739469 (original)
# =>  581386 (modify)


--- gc.c.orig	Mon Nov 26 16:10:15 2001
+++ gc.c	Mon Nov 26 16:14:42 2001
@@ -427,26 +427,23 @@
 
 #define MARK_STACK_EMPTY (mark_stack_ptr == mark_stack)
             
-static int mark_all;
-
 static void rb_gc_mark_children(VALUE ptr);
+
 static void
 gc_mark_all()
 {
     RVALUE *p, *pend;
     int i;
-    mark_all = 0;
-    while(!mark_all){
-	mark_all = 1;
-	for (i = 0; i < heaps_used; i++) {
-	    p = heaps[i]; pend = p + heaps_limits[i];
-	    while (p < pend) {
-		if ((p->as.basic.flags & FL_MARK) &&
-		    (p->as.basic.flags != FL_MARK)) {
-		    rb_gc_mark_children((VALUE)p);
-		}
-		p++;
+
+    init_mark_stack();
+    for (i = 0; i < heaps_used; i++) {
+	p = heaps[i]; pend = p + heaps_limits[i];
+	while (p < pend) {
+	    if ((p->as.basic.flags & FL_MARK) &&
+		(p->as.basic.flags != FL_MARK)) {
+		rb_gc_mark_children((VALUE)p);
 	    }
+	    p++;
 	}
     }
 }
@@ -565,6 +562,7 @@
 rb_gc_mark(ptr)
     VALUE ptr;
 {
+    int ret;
     register RVALUE *obj = RANY(ptr);
 
     if (rb_special_const_p(ptr)) return; /* special const not marked */
@@ -573,23 +571,21 @@
 
     obj->as.basic.flags |= FL_MARK;
 
-     if (mark_stack_overflow){
-	mark_all &= 0;
-     }else{
-	int ret;
-	CHECK_STACK(ret);
-	if (ret) {
+    CHECK_STACK(ret);
+    if (ret) {
+	if (!mark_stack_overflow) {
 	    if (mark_stack_ptr - mark_stack < MARK_STACK_MAX) {
 		*mark_stack_ptr = ptr;
 		mark_stack_ptr++;		
-	    }else{
+	    }
+	    else {
 		mark_stack_overflow = 1;
 	    }
-	}else{
-	    rb_gc_mark_children(ptr);
 	}
     }
-    
+    else {
+	rb_gc_mark_children(ptr);
+    }
 }
 
 void
@@ -1172,7 +1168,6 @@
     while (!MARK_STACK_EMPTY){
 	if (mark_stack_overflow){
 	    gc_mark_all();
-	    break;
 	}else{
 	    gc_mark_rest();
 	}
--
小迫＠ソフネック   渋谷区恵比寿1-15-1