Avoid race in RelationBuildDesc() affecting CREATE INDEX CONCURRENTLY.
authorNoah Misch <noah@leadboat.com>
Sun, 24 Oct 2021 01:36:38 +0000 (18:36 -0700)
committerNoah Misch <noah@leadboat.com>
Sun, 24 Oct 2021 01:36:42 +0000 (18:36 -0700)
commit2e33b43599ad3868ee180f149050444bf0a7ca15
tree058188d3e2c3b8ed91538395e24dd7e7bcadabae
parent7c949f1b3aab8f0cf02afa42c44a9dfc66188c70
Avoid race in RelationBuildDesc() affecting CREATE INDEX CONCURRENTLY.

CIC and REINDEX CONCURRENTLY assume backends see their catalog changes
no later than each backend's next transaction start.  That failed to
hold when a backend absorbed a relevant invalidation in the middle of
running RelationBuildDesc() on the CIC index.  Queries that use the
resulting index can silently fail to find rows.  Fix this for future
index builds by making RelationBuildDesc() loop until it finishes
without accepting a relevant invalidation.  It may be necessary to
reindex to recover from past occurrences; REINDEX CONCURRENTLY suffices.
Back-patch to 9.6 (all supported versions).

Noah Misch and Andrey Borodin, reviewed (in earlier versions) by Andres
Freund.

Discussion: https://postgr.es/m/20210730022548.GA1940096@gust.leadboat.com
contrib/amcheck/Makefile
contrib/amcheck/t/002_cic.pl [new file with mode: 0644]
src/backend/utils/cache/inval.c
src/backend/utils/cache/relcache.c
src/include/utils/inval.h
src/include/utils/relcache.h
src/test/perl/PostgresNode.pm
src/tools/pgindent/typedefs.list