Fix parallel-safety check of expressions and predicate for index builds
authorMichael Paquier <michael@paquier.xyz>
Wed, 6 Mar 2024 08:23:56 +0000 (17:23 +0900)
committerMichael Paquier <michael@paquier.xyz>
Wed, 6 Mar 2024 08:23:56 +0000 (17:23 +0900)
commiteae7be600be715b2f393b018fc4b98c5b89296da
treeaa09d2d410e98bd4be1b0235e9649fa0ef5af62a
parent3e76a806cbb0f8a6cf3ba7a3b371643fa1e0fe96
Fix parallel-safety check of expressions and predicate for index builds

As coded, the planner logic that calculates the number of parallel
workers to use for a parallel index build uses expressions and
predicates from the relcache, which are flattened for the planner by
eval_const_expressions().

As reported in the bug, an immutable parallel-unsafe function flattened
in the relcache would become a Const, which would be considered as
parallel-safe, even if the predicate or the expressions including the
function are not safe in parallel workers.  Depending on the expressions
or predicate used, this could cause the parallel build to fail.

Tests are included that check parallel index builds with parallel-unsafe
predicate and expressions.  Two routines are added to lsyscache.h to be
able to retrieve expressions and predicate of an index from its pg_index
data.

Reported-by: Alexander Lakhin
Author: Tender Wang
Reviewed-by: Jian He, Michael Paquier
Discussion: https://postgr.es/m/CAHewXN=UaAaNn9ruHDH3Os8kxLVmtWqbssnf=dZN_s9=evHUFA@mail.gmail.com
Backpatch-through: 12
src/backend/optimizer/plan/planner.c
src/backend/utils/cache/lsyscache.c
src/include/utils/lsyscache.h
src/test/regress/expected/btree_index.out
src/test/regress/sql/btree_index.sql