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

Update TLA+ spec for reconfig to model arbiters

    XMLWordPrintableJSON

Details

    • Task
    • Status: Open
    • Major - P3
    • Resolution: Unresolved
    • None
    • None
    • None
    • None
    • Replication
    • v5.0
    • Repl 2021-07-12, Repl 2021-07-26, Repl 2021-08-09, Repl 2021-08-23, Repl 2021-09-06

    Attachments

      Issue Links

        is related to

        Bug - A problem which impairs or prevents the functions of the product. SERVER-56670 Ensure reconfig cannot roll back committed writes in replica sets with multiple arbiters

        • Major - P3 - Major loss of function.
        • Closed
        related to

        Bug - A problem which impairs or prevents the functions of the product. SERVER-55376 Reconfig can roll back committed writes in PSA sets

        • Major - P3 - Major loss of function.
        • Closed

        Activity

          People

            backlog-server-repl Backlog - Replication Team
            samy.lanka@mongodb.com Samyukta Lanka
            Votes:
            0 Vote for this issue
            Watchers:
            4 Start watching this issue

            Dates

              Created:
              Updated: