]> git.ipfire.org Git - thirdparty/postgresql.git/commit
Fix missed lock acquisition while inlining new-style SQL functions.
authorTom Lane <tgl@sss.pgh.pa.us>
Tue, 31 Aug 2021 16:02:36 +0000 (12:02 -0400)
committerTom Lane <tgl@sss.pgh.pa.us>
Tue, 31 Aug 2021 16:02:36 +0000 (12:02 -0400)
commit983d7033df6e03134572eb75dd76603fb9245211
tree0825fc188dbd32fc1182f9fe495f75cdbf179b01
parenteae08e21653c356f0e9223d26379527d653b71ed
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
src/backend/catalog/pg_proc.c
src/backend/optimizer/util/clauses.c
src/backend/utils/adt/ruleutils.c
src/test/regress/expected/create_function_3.out
src/test/regress/sql/create_function_3.sql