Check CommitPointEventuallyPropagates, NeverRollbackCommitted and NeverRollbackBeforeCommitPoint

XMLWordPrintableJSON

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

      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:
            A. Jesse Jiryu Davis
            Reporter:
            A. Jesse Jiryu Davis
            Votes:
            0 Vote for this issue
            Watchers:
            3 Start watching this issue

              Created:
              Updated:
              Resolved: