DRIVERS-1954: SDAM should give priority to electionId over setVersion when updating topology

source/server-discovery-and-monitoring/server-discovery-and-monitoring.rst

@@ -293,10 +293,11 @@ Fields:
 
 * type: a `TopologyType`_ enum value. See `initial TopologyType`_.
 * setName: the replica set name. Default null.
-* maxSetVersion: an integer or null. The largest setVersion ever reported by
-  a primary. Default null.
 * maxElectionId: an ObjectId or null. The largest electionId ever reported by
-  a primary. Default null.
+  a primary. Default null. Part of the (``electionId``, ``setVersion``) tuple.
+* maxSetVersion: an integer or null. The largest setVersion ever reported by
+  a primary. It may not monotonically increase, as electionId takes precedence in ordering
+  Default null. Part of the (``electionId``, ``setVersion``) tuple.
 * servers: a set of ServerDescription instances.
   Default contains one server: "localhost:27017", ServerType Unknown.
 * stale: a boolean for single-threaded clients, whether the topology must
@@ -350,10 +351,10 @@ Fields:
   The client `monitors all three types of servers`_ in a replica set.
 * (=) tags: map from string to string. Default empty.
 * (=) setName: string or null. Default null.
-* (=) setVersion: integer or null. Default null.
 * (=) electionId: an ObjectId, if this is a MongoDB 2.6+ replica set member that
-  believes it is primary. See `using setVersion and electionId to detect stale primaries`_.
+  believes it is primary. See `using electionId and setVersion to detect stale primaries`_.
   Default null.
+* (=) setVersion: integer or null. Default null.
 * (=) primary: an address. This server's opinion of who the primary is.
   Default null.
 * lastUpdateTime: when this server was last checked. Default "infinity ago".
@@ -1101,30 +1102,27 @@ updateRSFromPrimary
         checkIfHasPrimary()
         return
 
-    if description.setVersion is not null and description.electionId is not null:
+    if description.electionId is not null and description.setVersion is not null:
         # Election ids are ObjectIds, see
         # "using setVersion and electionId to detect stale primaries"
         # for comparison rules.
-        if (topologyDescription.maxSetVersion is not null and
-            topologyDescription.maxElectionId is not null and (
-                topologyDescription.maxSetVersion > description.setVersion or (
-                    topologyDescription.maxSetVersion == description.setVersion and
-                    topologyDescription.maxElectionId > description.electionId
-                )
-            ):
 
+        # Null values are always considered "less than"
+        maxElectionIdIsGreater = topologyDescription.maxElectionId < serverDescription.electionId if topologyDescription.maxElectionId is not null else false
+        maxElectionIdIsEqual = topologyDescription.maxElectionId == serverDescription.electionId if topologyDescription.maxElectionId is not null else false
+        maxElectionIdIsLess = topologyDescription.maxElectionId > serverDescription.electionId if topologyDescription.maxElectionId is not null else false
+        maxSetVersionIsGreater = topologyDescription.maxSetVersion > serverDescription.setVersion if topologyDescription.maxSetVersion is not null else false
+        maxSetVersionIsLess = topologyDescription.maxSetVersion < serverDescription.setVersion if topologyDescription.maxSetVersion is not null else true
+
+        if maxElectionIdIsGreater or (maxElectionIdIsEqual and maxSetVersionIsGreater):
             # Stale primary.
-            replace description with a default ServerDescription of type "Unknown"
+            # replace description with a default ServerDescription of type "Unknown"
             checkIfHasPrimary()
             return
 
-        topologyDescription.maxElectionId = description.electionId
-
-    if (description.setVersion is not null and
-        (topologyDescription.maxSetVersion is null or
-            description.setVersion > topologyDescription.maxSetVersion)):
-
-        topologyDescription.maxSetVersion = description.setVersion
+        if maxElectionIdIsLess or (maxElectionIdIsEqual and maxSetVersionIsLess):
+            topologyDescription.maxElectionId = serverDescription.electionId;
+            topologyDescription.maxSetVersion = serverDescription.setVersion;
 
     for each server in topologyDescription.servers:
         if server.address != description.address:
@@ -1159,10 +1157,10 @@ updateRSFromPrimary
 
   See `replica set monitoring with and without a primary`_.
 
-  If the server is primary with an obsolete setVersion or electionId, it is
+  If the server is primary with an obsolete electionId or setVersion, it is
   likely a stale primary that is going to step down. Mark it Unknown and let periodic
   monitoring detect when it becomes secondary. See
-  `using setVersion and electionId to detect stale primaries`_.
+  `using electionId and setVersion to detect stale primaries`_.
 
   A note on checking "me": Unlike `updateRSWithPrimaryFromMember`, there is no need to remove the server if the address is not equal to
   "me": since the server address will not be a member of either "hosts", "passives", or "arbiters", the server will already have been
@@ -1960,7 +1958,7 @@ list are removed.
 
 .. _stale primaries:
 
-Using setVersion and electionId to detect stale primaries
+Using electionId and setVersion to detect stale primaries
 '''''''''''''''''''''''''''''''''''''''''''''''''''''''''
 
 Replica set members running MongoDB 2.6.10+ or 3.0+ include an integer called
@@ -1971,13 +1969,17 @@ protocol versions; electionIds from one protocol version must not be compared
 to electionIds from a different protocol.
 
 Because protocol version changes require replica set reconfiguration,
-clients use the tuple (setVersion, electionId) to detect stale primaries.
+clients use the tuple (electionId, setVersion) to detect stale primaries.
+The tuple order comparison MUST be checked in the order of electionId followed
+by setVersion since that order of comparison is guaranteed monotonicity.
 
-The client remembers the greatest setVersion and electionId reported by a primary,
+The client remembers the greatest electionId and setVersion reported by a primary,
 and distrusts primaries from older setVersions or from the same setVersion
 but with lesser electionIds.
-It compares setVersions as integer values.
-It compares electionIds as 12-byte big-endian integers.
+
+- It compares electionIds as 12-byte sequence i.e. memory comparison.
+- It compares setVersions as integer values.
+
 This prevents the client from oscillating
 between the old and new primary during a split-brain period,
 and helps provide read-your-writes consistency with write concern "majority"
@@ -2018,15 +2020,18 @@ reads with WriteConcern Majority and ReadPreference Primary."
 Detecting a stale primary
 `````````````````````````
 
-To prevent this scenario, the client uses setVersion and electionId to
+To prevent this scenario, the client uses electionId and setVersion to
 determine which primary was elected last. In this case, it would not consider
-A primary, nor read from it, after receiving B's hello or legacy hello response with the
-same setVersion and a greater electionId.
+"A" a primary, nor read from it because server B will have a greater electionId
+but the same setVersion.
 
 Monotonicity
 ````````````
 
-The electionId is an ObjectId compared bytewise in big-endian order.
+The electionId is an ObjectId compared bytewise in order.
+
+(ie. 000000000000000000000001 > 000000000000000000000000, FF0000000000000000000000 > FE0000000000000000000000 etc.)
+
 In some server versions, it is monotonic with respect
 to a particular servers' system clock, but is not globally monotonic across
 a deployment.  However, if inter-server clock skews are small, it can be
@@ -2420,6 +2425,18 @@ Why is auto-discovery the preferred default?
 
 Auto-discovery is most resilient and is therefore preferred.
 
+Why is it possible for maxSetVersion to go down?
+''''''''''''''''''''''''''''''''''''''''''''''''
+
+``maxElectionId`` and ``maxSetVersion`` are actually considered a pair of values
+Drivers MAY consider implementing comparison in code as a tuple of the two to ensure their always updated together:
+
+.. code:: typescript
+
+  // New tuple                        old tuple
+  { electionId: 2, setVersion: 1 } > { electionId: 1, setVersion: 50 }
+
+In this scenario, the maxSetVersion goes from 50 to 1, but the maxElectionId is raised to 2.
 
 Acknowledgments
 ---------------
@@ -2434,6 +2451,8 @@ Bernie Hackett gently oversaw the specification process.
 Changes
 -------
 
+2021-01-17: Require clients to compare (electionId, setVersion) tuples.
+
 2015-12-17: Require clients to compare (setVersion, electionId) tuples.
 
 2015-10-09: Specify electionID comparison method.

source/server-discovery-and-monitoring/tests/rs/electionId_setVersion.json

@@ -0,0 +1,92 @@
+{
+  "description": "ElectionId is considered higher precedence than setVersion",
+  "uri": "mongodb://a/?replicaSet=rs",
+  "phases": [
+    {
+      "responses": [
+        [
+          "a:27017",
+          {
+            "ok": 1,
+            "helloOk": true,
+            "isWritablePrimary": true,
+            "hosts": [
+              "a:27017",
+              "b:27017"
+            ],
+            "setName": "rs",
+            "setVersion": 1,
+            "electionId": {
+              "$oid": "000000000000000000000001"
+            },
+            "minWireVersion": 0,
+            "maxWireVersion": 6
+          }
+        ],
+        [
+          "b:27017",
+          {
+            "ok": 1,
+            "helloOk": true,
+            "isWritablePrimary": true,
+            "hosts": [
+              "a:27017",
+              "b:27017"
+            ],
+            "setName": "rs",
+            "setVersion": 2,
+            "electionId": {
+              "$oid": "000000000000000000000001"
+            },
+            "minWireVersion": 0,
+            "maxWireVersion": 6
+          }
+        ],
+        [
+          "a:27017",
+          {
+            "ok": 1,
+            "helloOk": true,
+            "isWritablePrimary": true,
+            "hosts": [
+              "a:27017",
+              "b:27017"
+            ],
+            "setName": "rs",
+            "setVersion": 1,
+            "electionId": {
+              "$oid": "000000000000000000000002"
+            },
+            "minWireVersion": 0,
+            "maxWireVersion": 6
+          }
+        ]
+      ],
+      "outcome": {
+        "servers": {
+          "a:27017": {
+            "type": "RSPrimary",
+            "setName": "rs",
+            "setVersion": 1,
+            "electionId": {
+              "$oid": "000000000000000000000002"
+            }
+          },
+          "b:27017": {
+            "type": "Unknown",
+            "setName": null,
+            "setVersion": null,
+            "electionId": null
+          }
+        },
+        "topologyType": "ReplicaSetWithPrimary",
+        "logicalSessionTimeoutMinutes": null,
+        "setName": "rs",
+        "maxSetVersion": 2,
+        "maxElectionId": {
+          "$oid": "000000000000000000000002"
+        }
+      }
+    }
+  ]
+}

source/server-discovery-and-monitoring/tests/rs/electionId_setVersion.yml

@@ -0,0 +1,62 @@
+description: ElectionId is considered higher precedence than setVersion
+uri: "mongodb://a/?replicaSet=rs"
+phases:
+  - responses:
+      - - "a:27017"
+        - ok: 1
+          helloOk: true
+          isWritablePrimary: true
+          hosts:
+            - "a:27017"
+            - "b:27017"
+          setName: rs
+          setVersion: 1
+          electionId:
+            $oid: "000000000000000000000001"
+          minWireVersion: 0
+          maxWireVersion: 6
+      - - "b:27017"
+        - ok: 1
+          helloOk: true
+          isWritablePrimary: true
+          hosts:
+            - "a:27017"
+            - "b:27017"
+          setName: rs
+          setVersion: 2 # Even though "B" reports the newer setVersion, "A" will report the newer electionId which should allow it to remain the primary
+          electionId:
+            $oid: "000000000000000000000001"
+          minWireVersion: 0
+          maxWireVersion: 6
+      - - "a:27017"
+        - ok: 1
+          helloOk: true
+          isWritablePrimary: true
+          hosts:
+            - "a:27017"
+            - "b:27017"
+          setName: rs
+          setVersion: 1
+          electionId:
+            $oid: "000000000000000000000002"
+          minWireVersion: 0
+          maxWireVersion: 6
+    outcome:
+      servers:
+        "a:27017":
+          type: RSPrimary
+          setName: rs
+          setVersion: 1
+          electionId:
+            $oid: "000000000000000000000002"
+        "b:27017":
+          type: Unknown
+          setName: null
+          setVersion: null
+          electionId: null
+      topologyType: ReplicaSetWithPrimary
+      logicalSessionTimeoutMinutes: null
+      setName: rs
+      maxSetVersion: 2
+      maxElectionId:
+        $oid: "000000000000000000000002"