diff options
author | Magnus Hagander <magnus@hagander.net> | 2010-01-31 17:16:27 +0000 |
---|---|---|
committer | Magnus Hagander <magnus@hagander.net> | 2010-01-31 17:16:27 +0000 |
commit | e00881bd738aec4df3d374d63c0aac80ecac02af (patch) | |
tree | 7f3a6d30527c4cc46e236de72bc89275b1bfd56c /src/backend/regex | |
parent | e488941ac5a00308069c6fa5fe5e9bcfe4e3031f (diff) |
Fix race condition in win32 signal handling.
There was a race condition where the receiving pipe could be closed by the
child thread if the main thread was pre-empted before it got a chance to
create a new one, and the dispatch thread ran to completion during that time.
One symptom of this is that rows in pg_listener could be dropped under
heavy load.
Analysis and original patch by Radu Ilie, with some small
modifications by Magnus Hagander.
Diffstat (limited to 'src/backend/regex')
0 files changed, 0 insertions, 0 deletions