2 Nov
2017
2 Nov
'17
9:08 a.m.
On Thu, 2 Nov 2017 14:57:12 +0200 Koos Zevenhoven <k7hoven@gmail.com> wrote:
Now, is the "sequentially consistent" ordering on is_tripped sufficient to guarantee that signals won't be missed on a weak-ordering platform? I *think* so, but an expert would need to check that code (or we cross our fingers and wait for a hypothetical bug report).
I think the question is: Do we know for sure that is_tripped has been stored using sequentially consistent ordering prior to the call to PyErr_CheckSignals(), even if an interruptible syscall is involved?
Yes, it is. See trip_signal() in Modules/signalmodule.c Regards Antoine.