Uploaded image for project: 'Couchbase Server'
  1. Couchbase Server
  2. MB-10343

Formal proof of upr failover algorithm

    XMLWordPrintable

Details

    • Task
    • Resolution: Duplicate
    • Major
    • 3.0
    • 3.0
    • None
    • Security Level: Public
    • None

    Description

      We need to review the failover algorithm formally in order to ensure that there are no edge cases that we have missed. This will also help us write tests for failover. This should include some sort of algorithm that can be reasoned about. This algorithm should also be added to the failover log documentation page.

      Attachments

        No reviews matched the request. Check your Options in the drop-down menu of this sections header.

        Activity

          People

            mikew Mike Wiederhold [X] (Inactive)
            mikew Mike Wiederhold [X] (Inactive)
            Votes:
            0 Vote for this issue
            Watchers:
            0 Start watching this issue

            Dates

              Created:
              Updated:
              Resolved:

              Gerrit Reviews

                There are no open Gerrit changes

                PagerDuty