pgsql: Fix volatile-safety issue in asyncQueueReadAllNotifications(). - Mailing list pgsql-committers

From Tom Lane
Subject pgsql: Fix volatile-safety issue in asyncQueueReadAllNotifications().
Date
Msg-id E1YFmzG-00068Y-5W@gemulon.postgresql.org
Whole thread Raw
List pgsql-committers
Fix volatile-safety issue in asyncQueueReadAllNotifications().

The "pos" variable is modified within PG_TRY and then referenced
within PG_CATCH, so for strict POSIX conformance it must be marked
volatile.  Superficially the code looked safe because pos's address
was taken, which was sufficient to force it into memory ... but it's
not sufficient to ensure that the compiler applies updates exactly
where the program text says to.  The volatility marking has to extend
into a couple of subroutines too, but I think that's probably a good
thing because the risk of out-of-order updates is mostly in those
subroutines not asyncQueueReadAllNotifications() itself.  In principle
the compiler could have re-ordered operations such that an error could
be thrown while "pos" had an incorrect value.

It's unclear how real the risk is here, but for safety back-patch
to all active branches.

Branch
------
REL9_4_STABLE

Details
-------
http://git.postgresql.org/pg/commitdiff/df923be03d1123bfbc701dd9cf85cd44e1e84335

Modified Files
--------------
src/backend/commands/async.c |   10 +++++-----
1 file changed, 5 insertions(+), 5 deletions(-)


pgsql-committers by date:

Previous
From: Tom Lane
Date:
Subject: pgsql: Fix volatile-safety issue in asyncQueueReadAllNotifications().
Next
From: Tom Lane
Date:
Subject: pgsql: Fix volatile-safety issue in asyncQueueReadAllNotifications().