[SERVER-48725] Specify in TLA+ multitenant migrations donor state machine protocol Created: 11/Jun/20  Updated: 29/Oct/23  Resolved: 23/Sep/20

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

Type: Task Priority: Major - P3
Reporter: Judah Schvimer Assignee: Judah Schvimer
Resolution: Fixed Votes: 0
Labels: pm-1791_milestone-A
Remaining Estimate: Not Specified
Time Spent: Not Specified
Original Estimate: Not Specified

Backwards Compatibility: Fully Compatible
Sprint: Repl 2020-06-29, Repl 2020-07-13, Repl 2020-07-27, Repl 2020-08-10, Repl 2020-08-24, Repl 2020-09-07, Repl 2020-09-21, Repl 2020-10-05
Participants:

 Description   

Specify the donor state machine protocol to ensure that the migration is guaranteed to complete given some finite amount of lag.
Should have a focus on delayed/lost messages and well-defined scope.



 Comments   
Comment by Githook User [ 21/Sep/20 ]

Author:

{'name': 'Judah Schvimer', 'email': 'judah@mongodb.com', 'username': 'judahschvimer'}

Message: SERVER-48725 Specify in TLA+ multitenant migrations donor state machine protocol
Branch: master
https://github.com/mongodb/mongo/commit/dee9d77ebfe506495ac82b5cb4ad2a97199b70da

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