-
Type:
Task
-
Resolution: Unresolved
-
Priority:
Major - P3
-
None
-
Affects Version/s: None
-
Component/s: None
-
None
-
None
-
None
-
None
-
None
-
None
-
None
-
None
Companion artifact for SERVER-118706 (resharding hang via oplogEntriesFetched overcount).
Pre-8.1 bug: increment happens BEFORE `insertOplogBatch()`; WriteConflict retry re-increments without rollback. SERVER-94800 fixed in 8.1; backport to 8.0 requested. TLC verified: fix cfg 142 states all properties pass; bug cfg produces 17-state counter-example with canonical hang signature.
Files in worktree mongo-w4-15:
- src/mongo/tla_plus/Sharding/ReshardingOplogFetchedAccounting/{*.tla, MC.cfg + comment block for bug toggle}
- jstests/sharding/resharding_oplog_fetched_overcount_audit.js
Status: Draft.
- is related to
-
SERVER-118706 Fix resharding hang where critical section never engages due to oplogEntriesFetched overcount
-
- Backlog
-
-
-
- Closed
-