]> granicus.if.org Git - python/commit
Issue #23095, asyncio: Rewrite _WaitHandleFuture.cancel()
authorVictor Stinner <victor.stinner@gmail.com>
Wed, 21 Jan 2015 22:39:51 +0000 (23:39 +0100)
committerVictor Stinner <victor.stinner@gmail.com>
Wed, 21 Jan 2015 22:39:51 +0000 (23:39 +0100)
commitd0a28dee78d099fcadc71147cba4affb6efa0c97
treedbfccff2f3a3727e942ca6518398efc236f2d83e
parent442b0adccda014e81950a38b1a56e8f06131767a
Issue #23095, asyncio: Rewrite _WaitHandleFuture.cancel()

This change fixes a race conditon related to _WaitHandleFuture.cancel() leading
to Python crash or "GetQueuedCompletionStatus() returned an unexpected event"
logs. Before, the overlapped object was destroyed too early, it was possible
that the wait completed whereas the overlapped object was already destroyed.
Sometimes, a different overlapped was allocated at the same address, leading to
unexpected completition.

_WaitHandleFuture.cancel() now waits until the wait is cancelled to clear its
reference to the overlapped object. To wait until the cancellation is done,
UnregisterWaitEx() is used with an event instead of UnregisterWait().

To wait for this event, a new _WaitCancelFuture class was added. It's a
simplified version of _WaitCancelFuture. For example, its cancel() method calls
UnregisterWait(), not UnregisterWaitEx(). _WaitCancelFuture should not be
cancelled.

The overlapped object is kept alive in _WaitHandleFuture until the wait is
unregistered.

Other changes:

* Add _overlapped.UnregisterWaitEx()
* Remove fast-path in IocpProactor.wait_for_handle() to immediatly set the
  result if the wait already completed. I'm not sure that it's safe to
  call immediatly UnregisterWaitEx() before the completion was signaled.
* Add IocpProactor._unregistered() to forget an overlapped which may never be
  signaled, but may be signaled for the next loop iteration. It avoids to
  block forever IocpProactor.close() if a wait was cancelled, and it may also
  avoid some "... unexpected event ..." warnings.
Lib/asyncio/windows_events.py
Modules/overlapped.c