Re: eliminate xl_heap_visible to reduce WAL (and eventually set VM on-access)
Melanie Plageman <melanieplageman@gmail.com>
Commits
GET /api/v1/messages/:b64id/commits
the thread's linked commits as JSON, with link sources.
API reference →
-
Remove table_scan_analyze_next_tuple unneeded parameter OldestXmin
- 284925508ae6 19 (unreleased) landed
-
Simplify visibility check in heap_page_would_be_all_visible()
- 3efe58febc3c 19 (unreleased) landed
-
Eliminate use of cached VM value in lazy_scan_prune()
- 648a7e28d7c2 19 (unreleased) landed
-
Combine visibilitymap_set() cases in lazy_scan_prune()
- 21796c267d0a 19 (unreleased) landed
-
Fix const qualification in prune_freeze_setup()
- 4877391ce894 19 (unreleased) landed
-
Simplify vacuum visibility assertion
- bd298f54a0d6 19 (unreleased) landed
-
Split heap_page_prune_and_freeze() into helpers
- e135e044572e 19 (unreleased) landed
-
Assert that cutoffs are provided if freezing will be attempted
- cd38b7e77315 19 (unreleased) landed
-
Split PruneFreezeParams initializers to one field per line
- 1e14edcea5e1 19 (unreleased) landed
-
Refactor heap_page_prune_and_freeze() parameters into a struct
- 1937ed70621e 19 (unreleased) landed
-
Make heap_page_is_all_visible independent of LVRelState
- 3e4705484e0c 19 (unreleased) landed
-
Inline TransactionIdFollows/Precedes[OrEquals]()
- 43b05b38ea4d 19 (unreleased) landed
-
Add helper for freeze determination to heap_page_prune_and_freeze
- c8dd6542bae4 19 (unreleased) landed
-
Bump XLOG_PAGE_MAGIC after xl_heap_prune change
- 4a8fb58671d3 19 (unreleased) landed
-
Correct prune WAL record opcode name in comment
- ae8ea7278c16 19 (unreleased) landed
-
Add error codes when vacuum discovers VM corruption
- 8ec97e78a771 19 (unreleased) landed
-
Remove unused xl_heap_prune member, reason
- 4b5f206de2bb 19 (unreleased) landed
-
Remove unneeded VM pin from VM replay
- 3399c265543e 19 (unreleased) landed
-
Add assert and log message to visibilitymap_set
- e3d5ddb7ca91 19 (unreleased) landed
-
Add error codes to some corruption log messages
- fd6ec93bf890 13.0 cited
Attachments
- v10-0002-Add-error-codes-to-vacuum-VM-corruption-case-log.patch (text/x-patch) patch v10-0002
- v10-0003-Eliminate-xl_heap_visible-in-COPY-FREEZE.patch (text/x-patch) patch v10-0003
- v10-0001-Remove-unused-xl_heap_prune-member-reason.patch (text/x-patch) patch v10-0001
- v10-0004-Make-heap_page_is_all_visible-independent-of-LVR.patch (text/x-patch) patch v10-0004
- v10-0005-Eliminate-xl_heap_visible-from-vacuum-phase-III.patch (text/x-patch) patch v10-0005
- v10-0006-Use-xl_heap_prune-record-for-setting-empty-pages.patch (text/x-patch) patch v10-0006
- v10-0009-Find-and-fix-VM-corruption-in-heap_page_prune_an.patch (text/x-patch) patch v10-0009
- v10-0008-Combine-vacuum-phase-I-VM-update-cases.patch (text/x-patch) patch v10-0008
- v10-0010-Keep-all_frozen-updated-too-in-heap_page_prune_a.patch (text/x-patch) patch v10-0010
- v10-0007-Combine-lazy_scan_prune-VM-corruption-cases.patch (text/x-patch) patch v10-0007
- v10-0012-Eliminate-xl_heap_visible-from-vacuum-phase-I-pr.patch (text/x-patch) patch v10-0012
- v10-0011-Update-VM-in-pruneheap.c.patch (text/x-patch) patch v10-0011
- v10-0014-Remove-xl_heap_visible-entirely.patch (text/x-patch) patch v10-0014
- v10-0013-Rename-PruneState.freeze-to-attempt_freeze.patch (text/x-patch) patch v10-0013
- v10-0016-Use-GlobalVisState-to-determine-page-level-visib.patch (text/x-patch) patch v10-0016
- v10-0018-Unset-all-visible-sooner-if-not-freezing.patch (text/x-patch) patch v10-0018
- v10-0015-Rename-GlobalVisTestIsRemovableXid-to-GlobalVisX.patch (text/x-patch) patch v10-0015
- v10-0017-Inline-TransactionIdFollows-Precedes.patch (text/x-patch) patch v10-0017
- v10-0020-Add-helper-functions-to-heap_page_prune_and_free.patch (text/x-patch) patch v10-0020
- v10-0019-Allow-on-access-pruning-to-set-pages-all-visible.patch (text/x-patch) patch v10-0019
- v10-0021-Reorder-heap_page_prune_and_freeze-parameters.patch (text/x-patch) patch v10-0021
- v10-0022-Set-pd_prune_xid-on-insert.patch (text/x-patch) patch v10-0022
On Fri, Sep 5, 2025 at 6:20 PM Melanie Plageman <melanieplageman@gmail.com> wrote: > > > On 2025-09-02 19:11:01 -0400, Melanie Plageman wrote: > > > From dd98177294011ee93cac122405516abd89f4e393 Mon Sep 17 00:00:00 2001 > > > From: Melanie Plageman <melanieplageman@gmail.com> > > > Date: Wed, 27 Aug 2025 08:50:15 -0400 > > > Subject: [PATCH v8 01/22] Remove unneeded VM pin from VM replay > > I didn't push it yet because I did a new version that actually > eliminates the asserts in heap_multi_insert() before calling > visibilitymap_set() -- since they are redundant with checks inside > visibilitymap_set(). 0001 of attached v9 is what I plan to push, > barring any objections. I pushed this, so rebased v10 is attached. I've added one new patch: 0002 adds ERRCODE_DATA_CORRUPTED to the existing log messages about VM/data corruption in vacuum. Andrey Borodin earlier suggested this, and I had neglected to include it. - Melanie