Loading...

XML

Word

Printable

JSON

Type: Task
Resolution: Fixed
Priority: Major - P3
Fix Version/s: WT12.0.0, 8.3.0-rc0
Affects Version/s: None
Component/s: Verify
Labels:
None

Epic Link:
SPM-4352
Assigned Teams:

Storage Engines, Storage Engines - Persistence
Sprint:
SE Persistence - 2025-08-29, SE Persistence - 2025-09-12
Story Points:
5

That is the simple part of coherence verification between stable and ingest btrees. On primary node, the ingest btree should be always empty. That could be tricky for the moment of stepup/stepdown process, however the synchronization of verification with this process should be covered by https://jira.mongodb.org/browse/WT-14910

The goals of this ticket:

Check that the only way of coherence checks for primary node is checking that the ingest btree is empty
Implement this check

Please check the corresponding doc section for more details.

is blocked by

WT-14907 DisAgg verification MVP implementation

Closed

is depended on by

WT-15433 In verify assert ingest on leader never returns EBUSY

Closed

is related to

WT-15438 Failed to promote a node to primary due to reconfigure returning WT_NOTFOUND

Closed

WT-14981 Fix disagg hook to handle multithreading in tests

Closed

WT-15247 Unexpected keys observed after connection reopen for disagg

Closed

WT-15300 Set backlink LSN in __wt_disagg_put_meta

Closed

WT-15210 Change eviction to scrub eviction when the cache usage is less than eviction target

Closed

WT-14910 Review the verification synchronization model for the DisAgg mode

Closed

WT-15198 Data Validation for Leader/Follower Mode in Disagg (test/format)

Closed

WT-15240 Enable test_timestamp*.py for disagg in Evergreen

Closed

WT-15412 Add a table id as part of the WT_BLOCK_DISAGG struct

Closed

WT-15428 Bypass materialisation frontier check on standby for eviction

Closed

WT-15424 Add extra logging for disaggregated storage

Closed

WT-15389 Saved update lists with deletes are lost when building a delta

Closed

WT-14912 Define contracts of (in)valid states between stable and ingest btrees

Closed

WT-15431 test/format (disagg.mode=leader) test/mode (disagg) assertion failure upd_memsize == 0

Closed

related to

WT-14913 Implement coherence vefication for ingest and stable tables

Open

(11 is related to, 1 related to)

Assignee:: Mariam Mojid
Reporter:: Ivan Kochin
Votes:: 0 Vote for this issue
Watchers:: 1 Start watching this issue

Created:: Jul 03 2025 12:52:16 AM UTC
Updated:: Sep 19 2025 12:26:48 AM UTC
Resolved:: Sep 11 2025 06:39:36 AM UTC

Details

Description

Attachments

Issue Links

Activity

People

Dates