[ruby-dev:17223] race condition on Queue#pop?

なんとなく thread.rb を眺めていて、Queue#pop に race condition がある
のではないかという気がしてきました。

Queue#pop は

  def pop(non_block=false)
    Thread.critical = true
    begin
      loop do
       if @que.empty?
          if non_block
            raise ThreadError, "queue empty"
          end
          @waiting.push Thread.current
          Thread.stop
        else
          return @que.shift
        end
      end
    ensure
      Thread.critical = false
    end
  end

というコードで、あるスレッド A が pop を呼び出し、最初に @que が空だっ
た場合、いったん Thread.stop で止まるわけですが、(他のスレッド B が
Queue#push を呼び出した結果)再開した時には Thread.critical は false に
なっているはずです。

従って、ループの 2回り目で、@que.empty? の直後にスレッドのコンテキスト
スイッチが起こる可能性があるように思います。そのタイミングで他の (上記
の Queue#push を呼び出したものとは異なるスレッド C が) Queue#pop を呼
び出すと、@que が空になり、さらにスレッド A にコンテキストスイッチして
処理を続けると空の @que を shift することになり、nil が返り値になる気
がします。

残念ながら、この問題を発現させるテストスクリプトを作ることはできません
でしたが、このようなことがおきない保証はどこかにあるでしょうか?
もし、保証できないなら、次のようなパッチを当てるといいんじゃないかと思
います。

Index: lib/thread.rb
===================================================================
RCS file: /src/ruby/lib/thread.rb,v
retrieving revision 1.12
diff -u -r1.12 thread.rb
--- lib/thread.rb	2002/05/29 05:20:39	1.12
+++ lib/thread.rb	2002/05/30 01:02:19
@@ -182,6 +182,7 @@
 	  end
 	  @waiting.push Thread.current
 	  Thread.stop
+	  Thread.critical = true
 	else
 	  return @que.shift
 	end

ちなみに、return @que.shift の直前に sleep 1 unless Thread.critical と
いうコードを入れれば、問題を発現させることができました。
-- 
[田中 哲][たなか あきら][Tanaka Akira]
「ふえろ! わかめちゃん作戦です$(C⊇」(Little Worker, 桂遊生丸)