[ruby-dev:31031] Re: [BUG] queue 0x424010 freed with live thread(s) waiting

なかだです。

At Sat, 26 May 2007 01:44:25 +0900,
[e-mail] wrote in [ruby-dev:30822]:
> > > 次のスクリプトのようなQueueを待ってるスレッドがある状態で
> > > メインスレッドが終了するケースで
> > >  [BUG] queue 0x424010 freed with live thread(s) waiting
> > > となりました。
> > 
> > r12068でwait_condvar()が常にmutexを再ロックするようになったせい
> > のようです。
> 
> [ruby-dev:30809]でも、ロックしたままforkすると[BUG]になります。

1.8.6-p36には[ruby-dev:30822]じゃなくて[ruby-dev:30809]が入って
いますが、再現テストはないものの[ruby-Bugs-11507]でエラーが起き
るという報告が来ています。

とりあえずrelock_mutexはたしかにまずそうなので以下のようなパッ
チを出してみたのですが、[ruby-dev:30653]に対する影響がよくわか
りません。再現するはずと思ったのですが、手元ではなぜか起きませ
んでした。どなたか確認できるでしょうか。


Index: ext/thread/thread.c
===================================================================
--- ext/thread/thread.c	(revision 12567)
+++ ext/thread/thread.c	(working copy)
@@ -13,7 +13,4 @@
 #include <intern.h>
 #include <rubysig.h>
-#include <node.h>
-
-enum rb_thread_status rb_thread_status _((VALUE));
 
 static VALUE rb_cMutex;
@@ -263,8 +260,8 @@ wait_list_cleanup(List *list)
 }
 
-static void
+static VALUE
 wait_list(List *list)
 {
-    rb_ensure(wait_list_inner, (VALUE)list, wait_list_cleanup, (VALUE)list);
+    return rb_ensure(wait_list_inner, (VALUE)list, wait_list_cleanup, (VALUE)list);
 }
 
@@ -447,20 +444,4 @@ rb_mutex_lock(VALUE self)
 }
 
-static VALUE
-relock_mutex(Mutex *mutex)
-{
-    VALUE current = rb_thread_current();
-
-    switch (rb_thread_status(current)) {
-      case THREAD_RUNNABLE:
-      case THREAD_STOPPED:
-	lock_mutex(mutex);
-	break;
-      default:
-	break;
-    }
-    return Qundef;
-}
-
 /*
  * Document-method: unlock
@@ -676,5 +657,5 @@ wait_condvar(ConditionVariable *condvar,
 	wake_thread(waking);
     }
-    rb_ensure(wait_list, (VALUE)&condvar->waiting, relock_mutex, (VALUE)mutex);
+    rb_ensure(wait_list, (VALUE)&condvar->waiting, lock_mutex, (VALUE)mutex);
 }
 


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