Fix race condition in win32 signal handling.
authorMagnus Hagander <magnus@hagander.net>
Sun, 31 Jan 2010 17:16:25 +0000 (17:16 +0000)
committerMagnus Hagander <magnus@hagander.net>
Sun, 31 Jan 2010 17:16:25 +0000 (17:16 +0000)
commit27554860c087ff249a853e4622be4580c2fda0d9
treefad9af2c60ee521245a50b9f44031311827b368f
parent0c969e1fec43a34381d8702dce66571d04ee9441
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.
src/backend/port/win32/signal.c