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

Specify in TLA+ multitenant migrations donor state machine protocol

    XMLWordPrintableJSON

Details

    • 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

    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.

      Attachments

        Activity

          People

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

            Dates

              Created:
              Updated:
              Resolved: