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

Check CommitPointEventuallyPropagates, NeverRollbackCommitted and NeverRollbackBeforeCommitPoint

    • Type: Icon: New Feature New Feature
    • Resolution: Fixed
    • Priority: Icon: Major - P3 Major - P3
    • 4.3.4
    • Affects Version/s: None
    • Component/s: Replication
    • Labels:
      None
    • Fully Compatible
    • Repl 2020-02-10

      NeverRollbackCommitted and NeverRollbackBeforeCommitPoint hold for small replica sets in RaftMongo.tla, and CommitPointEventuallyPropagates should hold for all model configurations. Enable them in MCRaftMongo.cfg, and move commentary about them to that file.

            Assignee:
            jesse@mongodb.com A. Jesse Jiryu Davis
            Reporter:
            jesse@mongodb.com A. Jesse Jiryu Davis
            Votes:
            0 Vote for this issue
            Watchers:
            3 Start watching this issue

              Created:
              Updated:
              Resolved: