]> granicus.if.org Git - postgresql/commit
Raise error when affecting tuple moved into different partition.
authorAndres Freund <andres@anarazel.de>
Sat, 7 Apr 2018 20:24:10 +0000 (13:24 -0700)
committerAndres Freund <andres@anarazel.de>
Sat, 7 Apr 2018 20:24:27 +0000 (13:24 -0700)
commitf16241bef7cc271bff60e23de2f827a10e50dde8
tree3e35912975c9be3038ce3b35625d21763979a313
parent8224de4f42ccf98e08db07b43d52fed72f962ebb
Raise error when affecting tuple moved into different partition.

When an update moves a row between partitions (supported since
2f178441044b), our normal logic for following update chains in READ
COMMITTED mode doesn't work anymore. Cross partition updates are
modeled as an delete from the old and insert into the new
partition. No ctid chain exists across partitions, and there's no
convenient space to introduce that link.

Not throwing an error in a partitioned context when one would have
been thrown without partitioning is obviously problematic. This commit
introduces infrastructure to detect when a tuple has been moved, not
just plainly deleted. That allows to throw an error when encountering
a deletion that's actually a move, while attempting to following a
ctid chain.

The row deleted as part of a cross partition update is marked by
pointing it's t_ctid to an invalid block, instead of self as a normal
update would.  That was deemed to be the least invasive and most
future proof way to represent the knowledge, given how few infomask
bits are there to be recycled (there's also some locking issues with
using infomask bits).

External code following ctid chains should be updated to check for
moved tuples. The most likely consequence of not doing so is a missed
error.

Author: Amul Sul, editorialized by me
Reviewed-By: Amit Kapila, Pavan Deolasee, Andres Freund, Robert Haas
Discussion: http://postgr.es/m/CAAJ_b95PkwojoYfz0bzXU8OokcTVGzN6vYGCNVUukeUDrnF3dw@mail.gmail.com
23 files changed:
src/backend/access/heap/heapam.c
src/backend/access/heap/pruneheap.c
src/backend/access/heap/rewriteheap.c
src/backend/commands/trigger.c
src/backend/executor/execMain.c
src/backend/executor/execMerge.c
src/backend/executor/execReplication.c
src/backend/executor/nodeLockRows.c
src/backend/executor/nodeModifyTable.c
src/include/access/heapam.h
src/include/access/heapam_xlog.h
src/include/access/htup_details.h
src/include/executor/nodeModifyTable.h
src/include/storage/itemptr.h
src/test/isolation/expected/merge-update.out
src/test/isolation/expected/partition-key-update-1.out [new file with mode: 0644]
src/test/isolation/expected/partition-key-update-2.out [new file with mode: 0644]
src/test/isolation/expected/partition-key-update-3.out [new file with mode: 0644]
src/test/isolation/isolation_schedule
src/test/isolation/specs/merge-update.spec
src/test/isolation/specs/partition-key-update-1.spec [new file with mode: 0644]
src/test/isolation/specs/partition-key-update-2.spec [new file with mode: 0644]
src/test/isolation/specs/partition-key-update-3.spec [new file with mode: 0644]