Fix bugs in GetSafeSnapshotBlockingPids(), introduced in 96003717645
authorAndres Freund <andres@anarazel.de>
Thu, 9 Feb 2023 02:19:36 +0000 (18:19 -0800)
committerAndres Freund <andres@anarazel.de>
Thu, 9 Feb 2023 02:19:36 +0000 (18:19 -0800)
commit49c2c5fcb1e1e4311f08687f78dd9121330ae637
tree8d56c301e62aa99fc8dc8662f429242523f6f0d7
parent969509c3f2e3b4c32dcf264f9d642b5ef01319f3
Fix bugs in GetSafeSnapshotBlockingPids(), introduced in 96003717645

While removing the use of SHM_QUEUE from predicate.c, in 96003717645, I made
two mistakes in GetSafeSnapshotBlockingPids():
- Removed the check for output_size
- Previously, when the first loop didn't find a matching proc, sxact would be
  NULL. But with naive use of dlist_foreach() it ends up as the value of the
  last iteration.

The second issue is the cause of occasional failures in the deadlock-hard and
deadlock-soft isolation tests that we have been observing on CI. The issue was
very hard to reproduce, as it requires the transactions.sql regression test to
run at the same time as the deadlock-{hard,soft} isolation test.

I did not find other similar mistakes in 96003717645.

Discussion: https://postgr.es/m/20230208221145.bwzhancellclrgia@awork3.anarazel.de
src/backend/storage/lmgr/predicate.c