dshash: revise sequential scan support.
authorAndres Freund
Mon, 4 Apr 2022 21:32:52 +0000 (14:32 -0700)
committerAndres Freund
Mon, 4 Apr 2022 21:32:52 +0000 (14:32 -0700)
commit909eebf27b9e6aaa78fb3338f7d8fbc7fa174247
tree7554eb4996fce99f6cb5f0c2f71a3856c411ca2b
parent55e566fc4bc866d73541a3b28be5454bf8d666b0
dshash: revise sequential scan support.

The previous coding of dshash_seq_next(), on the first call, accessed
status->hash_table->size_log2 without holding a partition lock and without
guaranteeing that ensure_valid_bucket_pointers() had ever been called.

That oversight turns out to not have immediately visible effects, because
bucket 0 is always in partition 0, and ensure_valid_bucket_pointers() was
called after acquiring the partition lock.  However,
PARTITION_FOR_BUCKET_INDEX() with a size_log2 of 0 ends up triggering formally
undefined behaviour.

Simplify by accessing partition 0, without using PARTITION_FOR_BUCKET_INDEX().

While at it, remove dshash_get_current(), there is no convincing use
case. Also polish a few comments.

Author: Andres Freund 
Reviewed-By: Thomas Munro
Discussion: https://postgr.es/m/CA+hUKGL9hY_VY=+oUK+Gc1iSRx-Ls5qeYJ6q=dQVZnT3R63Taw@mail.gmail.com
src/backend/lib/dshash.c
src/include/lib/dshash.h