Uploaded image for project: 'Core Server'
  1. Core Server
  2. SERVER-48725

Specify in TLA+ multitenant migrations donor state machine protocol

XMLWordPrintableJSON

    • Fully Compatible
    • 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

      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.

            Assignee:
            judah.schvimer@mongodb.com Judah Schvimer
            Reporter:
            judah.schvimer@mongodb.com Judah Schvimer
            Votes:
            0 Vote for this issue
            Watchers:
            2 Start watching this issue

              Created:
              Updated:
              Resolved: