pgsql: Fix missed lock acquisition while inlining new-style SQL functio

From: Tom Lane <tgl(at)sss(dot)pgh(dot)pa(dot)us>
To: pgsql-committers(at)lists(dot)postgresql(dot)org
Subject: pgsql: Fix missed lock acquisition while inlining new-style SQL functio
Date: 2021-08-31 16:02:47
Message-ID: E1mL6Dn-00037J-3l@gemulon.postgresql.org
Views: Raw Message | Whole Thread | Download mbox | Resend email
Thread:
Lists: pgsql-committers

Fix missed lock acquisition while inlining new-style SQL functions.

When starting to use a query parsetree loaded from the catalogs,
we must begin by applying AcquireRewriteLocks(), to obtain the same
relation locks that the parser would have gotten if the query were
entered interactively, and to do some other cleanup such as dealing
with later-dropped columns. New-style SQL functions are just as
subject to this rule as other stored parsetrees; however, of the
places dealing with such functions, only init_sql_fcache had gotten
the memo. In particular, if we successfully inlined a new-style
set-returning SQL function that contained any relation references,
we'd either get an assertion failure or attempt to use those
relation(s) sans locks.

I also added AcquireRewriteLocks calls to fmgr_sql_validator and
print_function_sqlbody. Desultory experiments didn't demonstrate any
failures in those, but I suspect that I just didn't try hard enough.
Certainly we don't expect nearby code paths to operate without locks.

On the same logic of it-ought-to-have-the-same-effects-as-the-old-code,
call pg_rewrite_query() in fmgr_sql_validator, too. It's possible
that neither code path there needs to bother with rewriting, but
doing the analysis to prove that is beyond my goals for today.

Per bug #17161 from Alexander Lakhin.

Discussion: https://postgr.es/m/17161-048a1cdff8422800@postgresql.org

Branch
------
master

Details
-------
https://git.postgresql.org/pg/commitdiff/589be6f6c732a20e2bcaa02560de464ebbd48af2

Modified Files
--------------
src/backend/catalog/pg_proc.c | 23 +++++++++++++++++++--
src/backend/optimizer/util/clauses.c | 9 +++++++++
src/backend/utils/adt/ruleutils.c | 16 +++++++++++----
src/test/regress/expected/create_function_3.out | 27 ++++++++++++++-----------
src/test/regress/sql/create_function_3.sql | 9 +++++++--
5 files changed, 64 insertions(+), 20 deletions(-)

Browse pgsql-committers by date

  From Date Subject
Next Message Tomas Vondra 2021-08-31 16:35:49 pgsql: Fix lookup error in extended stats ownership check
Previous Message Andrew Dunstan 2021-08-31 13:16:07 Re: pgsql: Avoid using ambiguous word "positive" in error message.