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
    • None
    • None
    • None
    • None
    • None
    • None
    • None

      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
            Reporter:
            Judah Schvimer
            Votes:
            0 Vote for this issue
            Watchers:
            2 Start watching this issue

              Created:
              Updated:
              Resolved: