]> granicus.if.org Git - python/commit
bpo-30038: fix race condition in signal delivery + wakeup fd (#1082)
authorNathaniel J. Smith <njs@pobox.com>
Tue, 16 May 2017 21:12:11 +0000 (14:12 -0700)
committerVictor Stinner <victor.stinner@gmail.com>
Tue, 16 May 2017 21:12:11 +0000 (23:12 +0200)
commit4ae01496971624c75080431806ed1c08e00f22c7
tree158ab0632954342f129f74f99d0a09cc4142a5d9
parentfca224f117d25bdfec1bf7160b67438c4fcf6dee
bpo-30038: fix race condition in signal delivery + wakeup fd (#1082)

Before, it was possible to get the following sequence of
events (especially on Windows, where the C-level signal handler for
SIGINT is run in a separate thread):

- SIGINT arrives
- trip_signal is called
- trip_signal writes to the wakeup fd
- the main thread wakes up from select()-or-equivalent
- the main thread checks for pending signals, but doesn't see any
- the main thread drains the wakeup fd
- the main thread goes back to sleep
- trip_signal sets is_tripped=1 and calls Py_AddPendingCall to notify
  the main thread the it should run the Python-level signal handler
- the main thread doesn't notice because it's asleep

This has been causing repeated failures in the Trio test suite:
  https://github.com/python-trio/trio/issues/119
Modules/signalmodule.c