showuon commented on code in PR #16079:
URL: https://github.com/apache/kafka/pull/16079#discussion_r1625880394


##########
raft/src/main/java/org/apache/kafka/raft/LeaderState.java:
##########
@@ -435,16 +438,40 @@ private DescribeQuorumResponseData.ReplicaState 
describeReplicaState(
 
     }
 
+    /**
+     * Clear observer states that have not been active for a while and are not 
the leader.
+     */
     private void clearInactiveObservers(final long currentTimeMs) {
         observerStates.entrySet().removeIf(integerReplicaStateEntry ->
-            currentTimeMs - 
integerReplicaStateEntry.getValue().lastFetchTimestamp >= 
OBSERVER_SESSION_TIMEOUT_MS
+            currentTimeMs - 
integerReplicaStateEntry.getValue().lastFetchTimestamp >= 
OBSERVER_SESSION_TIMEOUT_MS &&
+                integerReplicaStateEntry.getKey() != localId
         );
     }
 
     private boolean isVoter(int remoteNodeId) {
         return voterStates.containsKey(remoteNodeId);
     }
 
+    private void updateVoterAndObserverStates(Set<Integer> lastVoterSet) {

Review Comment:
   I didn't see we have any unit tests for this. Could we add some to verify 
the observerState/voterState are changed as expected?



##########
raft/src/test/java/org/apache/kafka/raft/LeaderStateTest.java:
##########
@@ -272,20 +280,103 @@ public void testUpdateHighWatermarkQuorumSizeThree() {
         assertEquals(Optional.empty(), state.highWatermark());
         assertTrue(state.updateReplicaState(node2, 0, new 
LogOffsetMetadata(15L)));
         assertEquals(Optional.of(new LogOffsetMetadata(15L)), 
state.highWatermark());
-        assertFalse(state.updateLocalState(new LogOffsetMetadata(20L)));
+        assertFalse(state.updateLocalState(new LogOffsetMetadata(20L), 
voterSet));
         assertEquals(Optional.of(new LogOffsetMetadata(15L)), 
state.highWatermark());
         assertTrue(state.updateReplicaState(node1, 0, new 
LogOffsetMetadata(20L)));
         assertEquals(Optional.of(new LogOffsetMetadata(20L)), 
state.highWatermark());
         assertFalse(state.updateReplicaState(node2, 0, new 
LogOffsetMetadata(20L)));
         assertEquals(Optional.of(new LogOffsetMetadata(20L)), 
state.highWatermark());
     }
 
+    @Test
+    public void testUpdateHighWatermarkAddingFollowerToVoterStates() {
+        int node1 = 1;
+        int node2 = 2;
+        Set<Integer> originalVoterSet = mkSet(localId, node1);
+        LeaderState<?> state = newLeaderState(originalVoterSet, 10L);
+        assertFalse(state.updateLocalState(new LogOffsetMetadata(15L), 
originalVoterSet));
+        assertFalse(state.updateReplicaState(node1, 0, new 
LogOffsetMetadata(10L)));
+        assertEquals(Optional.empty(), state.highWatermark());
+
+        // updating replica state of 2 before it joins voterSet should not 
increase HW to 15L
+        assertFalse(state.updateReplicaState(node2, 0, new 
LogOffsetMetadata(15L)));
+        assertEquals(Optional.empty(), state.highWatermark());
+
+        // adding node2 to voterSet will cause HW to increase to 15L
+        Set<Integer> voterSetWithNode2 = mkSet(localId, node1, node2);
+        assertTrue(state.updateLocalState(new LogOffsetMetadata(15L), 
voterSetWithNode2));
+        assertEquals(Optional.of(new LogOffsetMetadata(15L)), 
state.highWatermark());
+
+        // HW will not update to 16L until a majority reaches it
+        assertFalse(state.updateLocalState(new LogOffsetMetadata(16L), 
voterSetWithNode2));
+        assertEquals(Optional.of(new LogOffsetMetadata(15L)), 
state.highWatermark());
+        assertTrue(state.updateReplicaState(node2, 0, new 
LogOffsetMetadata(16L)));
+        assertEquals(Optional.of(new LogOffsetMetadata(16L)), 
state.highWatermark());
+    }
+
+    @Test
+    public void testUpdateHighWatermarkRemovingFollowerFromVoterStates() {
+        int node1 = 1;
+        int node2 = 2;
+        Set<Integer> originalVoterSet = mkSet(localId, node1, node2);
+        LeaderState<?> state = newLeaderState(originalVoterSet, 10L);
+        assertFalse(state.updateLocalState(new LogOffsetMetadata(15L), 
originalVoterSet));
+        assertTrue(state.updateReplicaState(node1, 0, new 
LogOffsetMetadata(15L)));
+        assertFalse(state.updateReplicaState(node2, 0, new 
LogOffsetMetadata(10L)));
+        assertEquals(Optional.of(new LogOffsetMetadata(15L)), 
state.highWatermark());
+
+        // removing node1 should not decrement HW to 10L
+        Set<Integer> voterSetWithoutNode1 = mkSet(localId, node2);
+        assertFalse(state.updateLocalState(new LogOffsetMetadata(17L), 
voterSetWithoutNode1));
+        assertEquals(Optional.of(new LogOffsetMetadata(15L)), 
state.highWatermark());
+
+        // HW cannot change until after node2 catches up to last HW
+        assertFalse(state.updateReplicaState(node2, 0, new 
LogOffsetMetadata(14L)));

Review Comment:
   I think we can also increase leader's LEO to 16 and show that it doesn't 
increase the HWM.



-- 
This is an automated message from the Apache Git Service.
To respond to the message, please log on to GitHub and use the
URL above to go to the specific comment.

To unsubscribe, e-mail: jira-unsubscr...@kafka.apache.org

For queries about this service, please contact Infrastructure at:
us...@infra.apache.org

Reply via email to