[ruby-dev:15160] Re: Using static mark stack, GC is slow.

sheepmanさんの<[e-mail]>から
> これを回避するため、rb_gc_markするたびに実際にCのスタックの長さを
> 計って、溢れそうな時だけ、staticな領域に退避するコードを
> 書いてみました。速度的には結構改善されます。すくなくとも僕の環境では。

CVSに更新されたものを読んで、幾つか気付いた点があります。

init_mark_stack()
  memsetでの初期化は不要
gc_mark_all()
  ヒープ中なのでspecial constのチェックは不要、
  その代わり、finalizerの実行が遅延されたオブジェクトのチェックが必要
gc_mark_rest()
  memcpy() -> MEMCPY()
rb_gc_mark()
  special const等のチェックを先に行ったほうが、
  不要なものがmark_stackに入らない
  

--- gc.c.orig	Tue Nov 13 17:19:51 2001
+++ gc.c	Wed Nov 14 15:16:23 2001
@@ -356,7 +356,6 @@
 {
     mark_stack_overflow = 0;
     mark_stack_ptr = mark_stack;
-    memset(mark_stack, 0, MARK_STACK_MAX);
 }
 
 #define MARK_STACK_EMPTY (mark_stack_ptr == mark_stack)
@@ -375,8 +374,8 @@
 	for (i = 0; i < heaps_used; i++) {
 	    p = heaps[i]; pend = p + heaps_limits[i];
 	    while (p < pend) {
-		if (!(rb_special_const_p((VALUE)p))
-		    && p->as.basic.flags&FL_MARK) {
+		if ((p->as.basic.flags & FL_MARK) &&
+		    (p->as.basic.flags != FL_MARK)) {
 		    rb_gc_mark_children((VALUE)p);
 		}
 		p++;
@@ -392,8 +391,8 @@
     VALUE *p;
 
     p = (mark_stack_ptr - mark_stack) + tmp_arry;
-    memcpy(tmp_arry, mark_stack, MARK_STACK_MAX);
-	
+    MEMCPY(tmp_arry, mark_stack, VALUE, MARK_STACK_MAX);
+
     init_mark_stack();
     
     while(p != tmp_arry){
@@ -534,6 +533,10 @@
 {
     register RVALUE *obj = RANY(ptr);
 
+    if (rb_special_const_p(ptr)) return; /* special const not marked */
+    if (obj->as.basic.flags == 0) return;       /* free cell */
+    if (obj->as.basic.flags & FL_MARK) return;  /* already marked */ 
+
     if (!mark_stack_overflow){
 	int ret;
 	CHECK_STACK(ret);
@@ -544,15 +547,10 @@
 		return;
 	    }else{
 		mark_stack_overflow = 1;
-		printf("mark_stack_overflow\n");
 	    }
 	}
     }
 
-    if (rb_special_const_p((VALUE)obj)) return; /* special const not marked */
-    if (obj->as.basic.flags == 0) return;       /* free cell */
-    if (obj->as.basic.flags & FL_MARK) return;  /* already marked */ 
-    
     obj->as.basic.flags |= FL_MARK;
 
     if (mark_stack_overflow){
--
小迫＠ソフネック   渋谷区恵比寿1-15-1