]> granicus.if.org Git - postgresql/commit
Fix the fallback memory barrier implementation to be reentrant.
authorAndres Freund <andres@anarazel.de>
Fri, 26 Jun 2015 15:00:01 +0000 (17:00 +0200)
committerAndres Freund <andres@anarazel.de>
Fri, 26 Jun 2015 15:00:38 +0000 (17:00 +0200)
commit1b468a131bd260c9041484f78b8580c7f232d580
tree88a756978fd4fc34613eb2360238b617b1083967
parent5ca611841bcd37c7ee8448c46c8398ef8d8edcc4
Fix the fallback memory barrier implementation to be reentrant.

This was essentially "broken" since 0c8eda62; but until more
recently (14e8803f) barriers usage in signal handlers was infrequent.

The failure to be reentrant was noticed because the test_shm_mq, which
uses memory barriers at a high frequency, occasionally got stuck on some
solaris buildfarm animals. Turns out, those machines use sun studio
12.1, which doesn't yet have efficient memory barrier support. A machine
with a newer sun studio did not fail.  Forcing the barrier fallback to
be used on x86 allows to reproduce the problem.

The new fallback is to use kill(PostmasterPid, 0) based on the theory
that that'll always imply a barrier due to checking the liveliness of
PostmasterPid on systems old enough to need fallback support. It's hard
to come up with a good and performant fallback.

I'm not backpatching this for now - the problem isn't active in the back
branches, and we haven't backpatched barrier changes for
now. Additionally master looks entirely different than the back branches
due to the new atomics abstraction. It seems better to let this rest in
master, where the non-reentrancy actively causes a problem, and then
consider backpatching.

Found-By: Robert Haas
Discussion: 55626265.3060800@dunslane.net
src/backend/port/atomics.c