diff options
author | Tom Lane <tgl@sss.pgh.pa.us> | 2024-06-07 13:27:26 -0400 |
---|---|---|
committer | Tom Lane <tgl@sss.pgh.pa.us> | 2024-06-07 13:27:26 -0400 |
commit | 2dc1deaea0354ce8427abd8c6b11f9c004a65f24 (patch) | |
tree | 65867ffcd35b9da53eb91524cd8ed53a46819193 /doc/src | |
parent | d92573adcb02564439086d1c257d7821606a3115 (diff) | |
download | postgresql-2dc1deaea0354ce8427abd8c6b11f9c004a65f24.tar.gz postgresql-2dc1deaea0354ce8427abd8c6b11f9c004a65f24.zip |
Fix behavior of stable functions called from a CALL's argument list.
If the CALL is within an atomic context (e.g. there's an outer
transaction block), _SPI_execute_plan should acquire a fresh snapshot
to execute any such functions with. We failed to do that and instead
passed them the Portal snapshot, which had been acquired at the start
of the current SQL command. This'd lead to seeing stale values of
rows modified since the start of the command.
This is arguably a bug in 84f5c2908: I failed to see that "are we in
non-atomic mode" needs to be defined the same way as it is further
down in _SPI_execute_plan, i.e. check !_SPI_current->atomic not just
options->allow_nonatomic. Alternatively the blame could be laid on
plpgsql, which is unconditionally passing allow_nonatomic = true
for CALL/DO even when it knows it's in an atomic context. However,
fixing it in spi.c seems like a better idea since that will also fix
the problem for any extensions that may have copied plpgsql's coding
pattern.
While here, update an obsolete comment about _SPI_execute_plan's
snapshot management.
Per report from Victor Yegorov. Back-patch to all supported versions.
Discussion: https://postgr.es/m/CAGnEboiRe+fG2QxuBO2390F7P8e2MQ6UyBjZSL_w1Cej+E4=Vw@mail.gmail.com
Diffstat (limited to 'doc/src')
-rw-r--r-- | doc/src/sgml/spi.sgml | 8 |
1 files changed, 6 insertions, 2 deletions
diff --git a/doc/src/sgml/spi.sgml b/doc/src/sgml/spi.sgml index bb3778688bd..7d154914b90 100644 --- a/doc/src/sgml/spi.sgml +++ b/doc/src/sgml/spi.sgml @@ -752,7 +752,9 @@ int SPI_execute_extended(const char *<parameter>command</parameter>, <listitem> <para> <literal>true</literal> allows non-atomic execution of CALL and DO - statements + statements (but this field is ignored unless + the <symbol>SPI_OPT_NONATOMIC</symbol> flag was passed + to <function>SPI_connect_ext</function>) </para> </listitem> </varlistentry> @@ -1893,7 +1895,9 @@ int SPI_execute_plan_extended(SPIPlanPtr <parameter>plan</parameter>, <listitem> <para> <literal>true</literal> allows non-atomic execution of CALL and DO - statements + statements (but this field is ignored unless + the <symbol>SPI_OPT_NONATOMIC</symbol> flag was passed + to <function>SPI_connect_ext</function>) </para> </listitem> </varlistentry> |