The initial WT DisAgg verification implementation does not include ingest table verification, as the current session->verify() logic only validates checkpointed content, and ingest tables do not have checkpoints.
Since implementing ingest table verification requires additional effort, it was decided to address it in a separate ticket (this one).
The current idea for verifying ingest tables involves using timestamp cursors to traverse the B-tree, followed by applying the existing logic to verify the B-tree. However, the scope of this ticket also includes investigating whether this is the only (or the best) approach.
Note that this ticket does not cover verification of invariants between ingest and stable tables. It was created for investigating and implementing verification ingest tables separately using the current logic.
You can (possibly) find more information in the live document.
- is depended on by
-
WT-15607 DisAgg data validation and diagnostics tooling - follow up work
-
- Open
-
- is related to
-
WT-15886 Remove obsolete global keys; auto-increment LSN
-
- Closed
-
-
WT-15767 Fix a race condition between checkpoint and stepping up
-
- Closed
-
-
WT-15857 Standby hanging when shutting down in disagg_repl_jscore_passthrough
-
- Closed
-
-
WT-15892 race between __wt_page_in_func and a split __wt_page_out
-
- Closed
-
-
WT-15905 Fix rewrite delta causing instantiate updates twice and wrong dirty leaf count
-
- Closed
-
-
WT-15617 Design framework to rewrite pages with deltas directly into full pages
-
- Closed
-
-
WT-15830 Add stats to track how many saved update list and total number of updates processed in __wti_rec_hs_insert_updates
-
- Closed
-
-
WT-15880 Update TODO comment in test/format related to salvage
-
- Closed
-
-
WT-15906 Log update flags in bt_debug
-
- Closed
-
-
WT-15513 Run python testing under ASAN on mainline
-
- Closed
-
-
WT-15912 Fix log flooding during page sleep and when cache is full of updates or dirty pages
-
- Closed
-
-
WT-15425 Add a description to the background compaction fields
-
- Closed
-
-
WT-15903 Unexpected standard output in test_ovfl01
-
- Closed
-