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

Begin TLA+ spec for Merge

XMLWordPrintableJSON

    • Type: Icon: Task Task
    • Resolution: Won't Do
    • Priority: Icon: Major - P3 Major - P3
    • None
    • Affects Version/s: None
    • Component/s: None
    • Labels:
      None
    • Serverless
    • Server Serverless 2021-08-23, Server Serverless 2021-08-30, Server Serverless 2021-09-06, Server Serverless 2021-09-13, Server Serverless 2021-09-20, Server Serverless 2021-09-27, Server Serverless 2021-10-04

      Copy and enhance MultiTenantMigrations.tla to specify the slice merge algorithm. For this ticket, we'll restrict ourselves to the protocol of the Begin Implementing Merge project; we'll add more details to the TLA+ spec as we design them in later Merge projects.

            Assignee:
            backlog-server-serverless [DO NOT USE] Backlog - Server Serverless (Inactive)
            Reporter:
            jesse@mongodb.com A. Jesse Jiryu Davis
            Votes:
            0 Vote for this issue
            Watchers:
            2 Start watching this issue

              Created:
              Updated:
              Resolved: