Use TidStore for dead tuple TIDs storage during lazy vacuum.
authorMasahiko Sawada <msawada@postgresql.org>
Tue, 2 Apr 2024 01:15:37 +0000 (10:15 +0900)
committerMasahiko Sawada <msawada@postgresql.org>
Tue, 2 Apr 2024 01:15:37 +0000 (10:15 +0900)
commit667e65aac354975c6f8090c6146fceb8d7b762d6
treeecefa5c922788f32aa643e4639561d7ba9ac1801
parentd5d2205c8ddc6670fa87474e172fdfab162b7a73
Use TidStore for dead tuple TIDs storage during lazy vacuum.

Previously, we used a simple array for storing dead tuple IDs during
lazy vacuum, which had a number of problems:

* The array used a single allocation and so was limited to 1GB.
* The allocation was pessimistically sized according to table size.
* Lookup with binary search was slow because of poor CPU cache and
  branch prediction behavior.

This commit replaces that array with the TID store from commit
30e144287a.

Since the backing radix tree makes small allocations as needed, the
1GB limit is now gone. Further, the total memory used is now often
smaller by an order of magnitude or more, depending on the
distribution of blocks and offsets. These two features should make
multiple rounds of heap scanning and index cleanup an extremely rare
event. TID lookup during index cleanup is also several times faster,
even more so when index order is correlated with heap tuple order.

Since there is no longer a predictable relationship between the number
of dead tuples vacuumed and the space taken up by their TIDs, the
number of tuples no longer provides any meaningful insights for users,
nor is the maximum number predictable. For that reason this commit
also changes to byte-based progress reporting, with the relevant
columns of pg_stat_progress_vacuum renamed accordingly to
max_dead_tuple_bytes and dead_tuple_bytes.

For parallel vacuum, both the TID store and supplemental information
specific to vacuum are shared among the parallel vacuum workers. As
with the previous array, we don't take any locks on TidStore during
parallel vacuum since writes are still only done by the leader
process.

Bump catalog version.

Reviewed-by: John Naylor, (in an earlier version) Dilip Kumar
Discussion: https://postgr.es/m/CAD21AoAfOZvmfR0j8VmZorZjL7RhTiQdVttNuC4W-Shdc2a-AA%40mail.gmail.com
14 files changed:
doc/src/sgml/config.sgml
doc/src/sgml/monitoring.sgml
src/backend/access/heap/vacuumlazy.c
src/backend/catalog/system_views.sql
src/backend/commands/vacuum.c
src/backend/commands/vacuumparallel.c
src/backend/storage/lmgr/lwlock.c
src/backend/utils/activity/wait_event_names.txt
src/include/catalog/catversion.h
src/include/commands/progress.h
src/include/commands/vacuum.h
src/include/storage/lwlock.h
src/test/regress/expected/rules.out
src/tools/pgindent/typedefs.list