-
Type:
Bug
-
Resolution: Unresolved
-
Priority:
Major - P3
-
None
-
Affects Version/s: None
-
Component/s: Disagg CI-blocker, History Store, Test Model, Verify
-
None
-
Storage Engines - Persistence, Storage Engines - Transactions
-
SE Persistence backlog
-
None
To reproduce:
- Check out the branch WT-16404-verify-test-model
- Then run:
./build/test/model/tools/model_test -R -w ./WT-16434.workload
You should observe the following:
Running workload from file: ./WT-16404.workload [1767934770:505948][76693:0x1f8cbec40], file:table3.wt_stable, WT_SESSION.verify: [WT_VERB_DEFAULT][ERROR]: int __hs_verify_id(WT_SESSION_IMPL *, WT_CURSOR *, WT_CURSOR_BTREE *, uint32_t), 80: the associated history store key 566794 was not found in the data store file:table3.wt_stable: WT_PANIC: WiredTiger library panic [1767934770:505976][76693:0x1f8cbec40], file:table3.wt_stable, WT_SESSION.verify: [WT_VERB_DEFAULT][ERROR]: int __hs_verify_id(WT_SESSION_IMPL *, WT_CURSOR *, WT_CURSOR_BTREE *, uint32_t), 80: the process must exit and restart: WT_PANIC: WiredTiger library panic [1767934770:505984][76693:0x1f8cbec40], file:table3.wt_stable, WT_SESSION.verify: [WT_VERB_DEFAULT][ERROR]: void __wt_abort(WT_SESSION_IMPL *), 29: aborting WiredTiger library The verification process was terminated with signal 6