pgsql: Disable parallel plans for RIGHT_SEMI joins

From: Richard Guo <rguo(at)postgresql(dot)org>
To: pgsql-committers(at)lists(dot)postgresql(dot)org
Subject: pgsql: Disable parallel plans for RIGHT_SEMI joins
Date: 2025-10-30 03:00:13
Message-ID: E1vEItZ-004B2H-1C@gemulon.postgresql.org
Views: Whole Thread | Raw Message | Download mbox | Resend email
Thread:
Lists: pgsql-committers

Disable parallel plans for RIGHT_SEMI joins

RIGHT_SEMI joins rely on the HEAP_TUPLE_HAS_MATCH flag to guarantee
that only the first match for each inner tuple is considered.
However, in a parallel hash join, the inner relation is stored in a
shared global hash table that can be probed by multiple workers
concurrently. This allows different workers to inspect and set the
match flags of the same inner tuples at the same time.

If two workers probe the same inner tuple concurrently, both may see
the match flag as unset and emit the same tuple, leading to duplicate
output rows and violating RIGHT_SEMI join semantics.

For now, we disable parallel plans for RIGHT_SEMI joins. In the long
term, it may be possible to support parallel execution by performing
atomic operations on the match flag, for example using a CAS or
similar mechanism.

Backpatch to v18, where RIGHT_SEMI join was introduced.

Bug: #19094
Reported-by: Lori Corbani <Lori(dot)Corbani(at)jax(dot)org>
Diagnosed-by: Tom Lane <tgl(at)sss(dot)pgh(dot)pa(dot)us>
Author: Richard Guo <guofenglinux(at)gmail(dot)com>
Reviewed-by: Tom Lane <tgl(at)sss(dot)pgh(dot)pa(dot)us>
Discussion: https://postgr.es/m/19094-6ed410eb5b256abd@postgresql.org
Backpatch-through: 18

Branch
------
master

Details
-------
https://git.postgresql.org/pg/commitdiff/257ee78341f2657d5c19cdaf0888f843e9bb0c33

Modified Files
--------------
src/backend/optimizer/path/joinpath.c | 21 +++++++++++++++------
src/test/regress/expected/join.out | 27 +++++++++++++++++++++++++++
src/test/regress/sql/join.sql | 20 ++++++++++++++++++++
3 files changed, 62 insertions(+), 6 deletions(-)

Browse pgsql-committers by date

  From Date Subject
Next Message Richard Guo 2025-10-30 03:04:06 pgsql: Disable parallel plans for RIGHT_SEMI joins
Previous Message David Rowley 2025-10-30 01:51:22 pgsql: Fix bogus use of "long" in AllocSetCheck()