pgsql: Fix Portal snapshot tracking to handle subtransactions properly.

From: Tom Lane <tgl(at)sss(dot)pgh(dot)pa(dot)us>
To: pgsql-committers(at)lists(dot)postgresql(dot)org
Subject: pgsql: Fix Portal snapshot tracking to handle subtransactions properly.
Date: 2021-10-01 15:10:38
Message-ID: E1mWKBK-0006c6-AJ@gemulon.postgresql.org
Views: Raw Message | Whole Thread | Download mbox | Resend email
Thread:
Lists: pgsql-committers

Fix Portal snapshot tracking to handle subtransactions properly.

Commit 84f5c2908 forgot to consider the possibility that
EnsurePortalSnapshotExists could run inside a subtransaction with
lifespan shorter than the Portal's. In that case, the new active
snapshot would be popped at the end of the subtransaction, leaving
a dangling pointer in the Portal, with mayhem ensuing.

To fix, make sure the ActiveSnapshot stack entry is marked with
the same subtransaction nesting level as the associated Portal.
It's certainly safe to do so since we won't be here at all unless
the stack is empty; hence we can't create an out-of-order stack.

Let's also apply this logic in the case where PortalRunUtility
sets portalSnapshot, just to be sure that path can't cause similar
problems. It's slightly less clear that that path can't create
an out-of-order stack, so add an assertion guarding it.

Report and patch by Bertrand Drouvot (with kibitzing by me).
Back-patch to v11, like the previous commit.

Discussion: https://postgr.es/m/ff82b8c5-77f4-3fe7-6028-fcf3303e82dd@amazon.com

Branch
------
REL_11_STABLE

Details
-------
https://git.postgresql.org/pg/commitdiff/5abbda98594d2cd1f7687577030dbb7a3d1e3d13

Modified Files
--------------
src/backend/access/transam/xact.c | 1 +
src/backend/tcop/pquery.c | 27 +++++++++++++++------
src/backend/utils/mmgr/portalmem.c | 4 ++++
src/backend/utils/time/snapmgr.c | 17 ++++++++++++-
src/include/utils/portal.h | 4 ++++
src/include/utils/snapmgr.h | 1 +
.../plpgsql/src/expected/plpgsql_transaction.out | 28 ++++++++++++++++++++++
src/pl/plpgsql/src/sql/plpgsql_transaction.sql | 21 ++++++++++++++++
8 files changed, 95 insertions(+), 8 deletions(-)

Browse pgsql-committers by date

  From Date Subject
Next Message Tom Lane 2021-10-01 19:00:07 pgsql: Avoid believing incomplete MCV-only stats in get_variable_range(
Previous Message Robert Haas 2021-10-01 13:45:47 Re: pgsql: Document XLOG_INCLUDE_XID a little better