[SERVER-48724] Verify in TLA+ resumability concerns around multi-tenant migrations data syncs Created: 11/Jun/20  Updated: 06/Dec/22  Resolved: 14/Jan/21

Status: Closed
Project: Core Server
Component/s: Replication
Affects Version/s: None
Fix Version/s: None

Type: Task Priority: Major - P3
Reporter: Judah Schvimer Assignee: Backlog - Replication Team
Resolution: Won't Fix Votes: 0
Labels: pm-1791_milestone-D, pm-1791_non-cloud-blocking
Remaining Estimate: Not Specified
Time Spent: Not Specified
Original Estimate: Not Specified

Assigned Teams:
Replication
Participants:

 Description   

Extend Initial Sync Missing Document TLA+ Spec to confirm resumability semantics will not miss documents
Confirm reading with readConcern: majority with database, collection, and document ordering, and changing sync sources, as specified in design leads to a consistent sync
See SERVER-42022 for old missing document fetching behavior removal.


Generated at Thu Feb 08 05:17:55 UTC 2024 using Jira 9.7.1#970001-sha1:2222b88b221c4928ef0de3161136cc90c8356a66.