Qingqing Zhou <zhouqq@cs.toronto.edu> writes:
> Are we asserting that
> UNBLOCKED_SIGNAL_QUEUE() != 0
> then
> WaitForSingleObjectEx(0)==WAIT_OBJECT_0
No.
> If so, we can put this assertion in.
Only if you want it to crash every so often.
The "race condition" is that a signal delivered right about the time the
check is made may be serviced before the event is set, meaning that
after the dust settles the event will still be set when there's nothing
to do. This was true before, too, and will have no impact worse than
causing an extra entry to dispatch_signals later on.
regards, tom lane