Fix relcache inconsistency hazard in partition detach
authorAlvaro Herrera <alvherre@alvh.no-ip.org>
Thu, 22 Apr 2021 19:13:25 +0000 (15:13 -0400)
committerAlvaro Herrera <alvherre@alvh.no-ip.org>
Thu, 22 Apr 2021 19:13:25 +0000 (15:13 -0400)
commit8aba9322511f718f12b618470d8c07f0ee5f0700
tree89d4a6f405b4088e7c8767410e3e7c9c97c598c5
parent82b13dbc4d4b46f71ca95ce1cc15c425deff5957
Fix relcache inconsistency hazard in partition detach

During queries coming from ri_triggers.c, we need to omit partitions
that are marked pending detach -- otherwise, the RI query is tricked
into allowing a row into the referencing table whose corresponding row
is in the detached partition.  Which is bogus: once the detach operation
completes, the row becomes an orphan.

However, the code was not doing that in repeatable-read transactions,
because relcache kept a copy of the partition descriptor that included
the partition, and used it in the RI query.  This commit changes the
partdesc cache code to only keep descriptors that aren't dependent on
a snapshot (namely: those where no detached partition exist, and those
where detached partitions are included).  When a partdesc-without-
detached-partitions is requested, we create one afresh each time; also,
those partdescs are stored in PortalContext instead of
CacheMemoryContext.

find_inheritance_children gets a new output *detached_exist boolean,
which indicates whether any partition marked pending-detach is found.
Its "include_detached" input flag is changed to "omit_detached", because
that name captures desired the semantics more naturally.
CreatePartitionDirectory() and RelationGetPartitionDesc() arguments are
identically renamed.

This was noticed because a buildfarm member that runs with relcache
clobbering, which would not keep the improperly cached partdesc, broke
one test, which led us to realize that the expected output of that test
was bogus.  This commit also corrects that expected output.

Author: Amit Langote <amitlangote09@gmail.com>
Author: Álvaro Herrera <alvherre@alvh.no-ip.org>
Discussion: https://postgr.es/m/3269784.1617215412@sss.pgh.pa.us
12 files changed:
src/backend/catalog/heap.c
src/backend/catalog/pg_inherits.c
src/backend/commands/indexcmds.c
src/backend/commands/tablecmds.c
src/backend/commands/trigger.c
src/backend/executor/execPartition.c
src/backend/optimizer/util/plancat.c
src/backend/partitioning/partbounds.c
src/backend/partitioning/partdesc.c
src/include/catalog/pg_inherits.h
src/include/partitioning/partdesc.h
src/test/isolation/expected/detach-partition-concurrently-4.out