Fix infer_arbiter_index for partitioned tables master github/master
authorÁlvaro Herrera <alvherre@kurilemu.de>
Thu, 11 Dec 2025 19:56:37 +0000 (20:56 +0100)
committerÁlvaro Herrera <alvherre@kurilemu.de>
Thu, 11 Dec 2025 19:56:37 +0000 (20:56 +0100)
commit81f72115cf189b0a428d3efca2e4beb02b825111
treeeeb97b0c6fd1f59768f0f2725bfc0d0e5bc9193a
parentb65f1ad9b12767dbd45d9588ce8ed2e593dbddbf
Fix infer_arbiter_index for partitioned tables

The fix for concurrent index operations in bc32a12e0db2 started
considering indexes that are not yet marked indisvalid as arbiters for
INSERT ON CONFLICT.  For partitioned tables, this leads to including
indexes that may not exist in partitions, causing a trivially
reproducible "invalid arbiter index list" error to be thrown because of
failure to match the index.  To fix, it suffices to ignore !indisvalid
indexes on partitioned tables.  There should be no risk that the set of
indexes will change for concurrent transactions, because in order for
such an index to be marked valid, an ALTER INDEX ATTACH PARTITION must
run which requires AccessExclusiveLock.

Author: Mihail Nikalayeu <mihailnikalayeu@gmail.com>
Reported-by: Alexander Lakhin <exclusion@gmail.com>
Reviewed-by: Álvaro Herrera <alvherre@kurilemu.de>
Discussion: https://postgr.es/m/17622f79-117a-4a44-aa8e-0374e53faaf0%40gmail.com
src/backend/optimizer/util/plancat.c
src/test/regress/expected/partition_info.out
src/test/regress/sql/partition_info.sql