Re: Assertion failure with barriers in parallel hash join

The following review has been posted through the commitfest application:
make installcheck-world:  tested, passed
Implements feature:       tested, passed
Spec compliant:           tested, passed
Documentation:            not tested

Hi all,

We recently encountered the same bug in the field. Oleksii Kozlov managed to come up with reproduction steps, which
reliablytrigger it. Interestingly, the bug does not only manifest as failing assertion, but also as segmentation fault;
inbuilds with disabled and with enabled (!) assertions. So it can crash production environments. We applied the
proposedpatch v3 from Melanie to the REL_14_3 branch and can confirm that with the patch neither the assertion nor the
segmentationfault still occur.
 

I have also glanced at the code and the implementation looks fine. However, I'm not an expert for the fairly involved
hashjoin state machine.
 
There seems to be no need for additional documentation.

For completeness here is the stack trace of the segmentation fault.
Like the stack trace from the assertion failure initially shared by Michael and also encountered by us, the stack trace
ofthe segmentation fault also contains ExecParallelHashJoinNewBatch().
 

#9  | Source "/opt/src/backend/executor/execMain.c", line 361, in standard_ExecutorRun
    | Source "/opt/src/backend/executor/execMain.c", line 1551, in ExecutePlan
      Source "/opt/src/include/executor/executor.h", line 257, in ExecProcNode [0x657e4d]
#8  | Source "/opt/src/backend/executor/nodeAgg.c", line 2179, in ExecAgg
      Source "/opt/src/backend/executor/nodeAgg.c", line 2364, in agg_retrieve_direct [0x66ba60]
#7  | Source "/opt/src/backend/executor/nodeAgg.c", line 581, in fetch_input_tuple
      Source "/opt/src/include/executor/executor.h", line 257, in ExecProcNode [0x66d585]
#6  | Source "/opt/src/backend/executor/nodeHashjoin.c", line 607, in ExecParallelHashJoin
    | Source "/opt/src/backend/executor/nodeHashjoin.c", line 560, in ExecHashJoinImpl
      Source "/opt/src/backend/executor/nodeHashjoin.c", line 1132, in ExecParallelHashJoinNewBatch [0x67a89b]
#5  | Source "/opt/src/backend/storage/ipc/barrier.c", line 242, in BarrierAttach
      Source "/opt/src/include/storage/s_lock.h", line 228, in tas [0x7c2a1b]
#4    Object "/lib/x86_64-linux-gnu/libpthread.so.0", at 0x7f4db364841f, in __funlockfile

--
David Geier
(SericeNow)

The new status of this patch is: Ready for Committer