threading.Condition
が正しくサルにパッチされているかどうかを確認しながら、threading.Thread(…).start()
はgevent.spawn(…)
とは異なる動作をしています。`gevent.spawn`がmonkeypatched` threading.Thread() `と異なるのはなぜですか?
は考えてみましょう:
from gevent import monkey; monkey.patch_all()
from threading import Thread, Condition
import gevent
cv = Condition()
def wait_on_cv(x):
cv.acquire()
cv.wait()
print "Here:", x
cv.release()
# XXX: This code yields "This operation would block forever" when joining the first thread
threads = [ gevent.spawn(wait_on_cv, x) for x in range(10) ]
"""
# XXX: This code, which seems semantically similar, works correctly
threads = [ Thread(target=wait_on_cv, args=(x,)) for x in range(10) ]
for t in threads:
t.start()
"""
cv.acquire()
cv.notify_all()
print "Notified!"
cv.release()
for x, thread in enumerate(threads):
print "Joining", x
thread.join()
注意を、具体的には、2件のコメントがXXX
で始まります。
Notified! Joining 0 Traceback (most recent call last): File "foo.py", line 30, in thread.join() File "…/gevent/greenlet.py", line 291, in join result = self.parent.switch() File "…/gevent/hub.py", line 381, in switch return greenlet.switch(self) gevent.hub.LoopExit: This operation would block forever
しかし、Thread(…).start()
(第2ブロック)は、すべてが期待どおりに動作:
(gevent.spawn
と)最初のラインを使用して、最初のthread.join()
は、例外が発生します。
これはなぜでしょうか? gevent.spawn()
とThread(…).start()
の違いは何ですか?あなたのコード内で起こる何