Copilot commented on code in PR #23855:
URL: https://github.com/apache/kafka/pull/23855#discussion_r4411202776


##########
group-coordinator/src/main/java/org/apache/kafka/coordinator/group/streams/StreamsTopology.java:
##########
@@ -128,6 +134,180 @@ public static StreamsTopology 
fromHeartbeatRequest(StreamsGroupHeartbeatRequestD
         return new StreamsTopology(topology.epoch(), subtopologyMap);
     }
 
+    /**
+     * Checks whether the request describes this topology without converting 
or modifying it.
+     * Subtopologies are matched by ID. Copartition groups and their topic 
indexes are compared
+     * without regard to order, but duplicate occurrences must still match. 
All other lists
+     * retain their order-sensitive comparison, including the topic lists 
referenced by indexes.
+     *
+     * @param topology The topology supplied in the heartbeat request.
+     * @return Whether the request matches this topology.
+     */
+    public boolean matches(StreamsGroupHeartbeatRequestData.Topology topology) 
{
+        if (topologyEpoch != topology.epoch()
+            || subtopologies.size() != topology.subtopologies().size()) {
+            return false;
+        }
+
+        Set<String> seenIds = new HashSet<>();
+        for (StreamsGroupHeartbeatRequestData.Subtopology requested : 
topology.subtopologies()) {
+            // Valid Streams clients send unique subtopology IDs. Reject 
duplicates so a
+            // malformed request cannot match one stored subtopology twice and 
omit another.
+            if (!seenIds.add(requested.subtopologyId())) {
+                return false;
+            }
+
+            Subtopology current = subtopologies.get(requested.subtopologyId());
+            if (current == null || !matchesSubtopology(current, requested)) {
+                return false;
+            }
+        }
+        return true;
+    }
+
+    private static Subtopology normalizeCopartitionGroups(Subtopology 
subtopology) {
+        // Copy before sorting: the record may be persisted as-is, and its 
lists
+        // may be unmodifiable or shared with the heartbeat request.
+        Subtopology copy = subtopology.duplicate();
+
+        for (CopartitionGroup group : copy.copartitionGroups()) {
+            Collections.sort(group.sourceTopics());
+            Collections.sort(group.sourceTopicRegex());
+            Collections.sort(group.repartitionSourceTopics());
+        }
+
+        copy.copartitionGroups().sort(
+            Comparator
+                .comparing(
+                    CopartitionGroup::sourceTopics,
+                    StreamsTopology::compareTopicIndexes
+                )
+                .thenComparing(
+                    CopartitionGroup::sourceTopicRegex,
+                    StreamsTopology::compareTopicIndexes
+                )
+                .thenComparing(
+                    CopartitionGroup::repartitionSourceTopics,
+                    StreamsTopology::compareTopicIndexes
+                )
+        );
+        return copy;
+    }
+
+    private static int compareTopicIndexes(List<Short> first, List<Short> 
second) {
+        for (int i = 0; i < Math.min(first.size(), second.size()); i++) {
+            int comparison = Short.compare(first.get(i), second.get(i));
+            if (comparison != 0) {
+                return comparison;
+            }
+        }
+        return Integer.compare(first.size(), second.size());
+    }
+
+    // Keep these comparisons in sync with the generated fields guarded by 
StreamsTopologyTest.
+    private static boolean matchesSubtopology(Subtopology current, 
StreamsGroupHeartbeatRequestData.Subtopology requested) {
+        return current.sourceTopics().equals(requested.sourceTopics())
+            && current.sourceTopicRegex().equals(requested.sourceTopicRegex())
+            && 
current.repartitionSinkTopics().equals(requested.repartitionSinkTopics())
+            && matchesTopicInfos(current.repartitionSourceTopics(), 
requested.repartitionSourceTopics())
+            && matchesTopicInfos(current.stateChangelogTopics(), 
requested.stateChangelogTopics())
+            && matchesCopartitionGroups(current.copartitionGroups(), 
requested.copartitionGroups());
+    }
+
+    private static boolean matchesTopicInfos(List<TopicInfo> current, 
List<StreamsGroupHeartbeatRequestData.TopicInfo> requested) {
+        if (current.size() != requested.size()) {
+            return false;
+        }
+        for (int i = 0; i < current.size(); i++) {
+            TopicInfo fromCurrent = current.get(i);
+            StreamsGroupHeartbeatRequestData.TopicInfo fromRequested = 
requested.get(i);
+            if (!fromCurrent.name().equals(fromRequested.name())
+                || fromCurrent.partitions() != fromRequested.partitions()
+                || fromCurrent.replicationFactor() != 
fromRequested.replicationFactor()
+                || !matchesTopicConfigs(fromCurrent.topicConfigs(), 
fromRequested.topicConfigs())) {
+                return false;
+            }
+        }
+        return true;
+    }
+
+    private static boolean matchesTopicConfigs(
+        List<StreamsGroupTopologyValue.TopicConfig> current,
+        List<StreamsGroupHeartbeatRequestData.KeyValue> requested
+    ) {
+        // Preserve the null handling of convertToTopicInfo for directly 
constructed requests.
+        if (current == null || requested == null) {
+            return current == null && requested == null;
+        }
+        if (current.size() != requested.size()) {
+            return false;
+        }
+        for (int i = 0; i < current.size(); i++) {
+            if (!Objects.equals(current.get(i).key(), requested.get(i).key())
+                || !Objects.equals(current.get(i).value(), 
requested.get(i).value())) {
+                return false;
+            }
+        }
+        return true;
+    }
+
+    private static boolean matchesCopartitionGroups(
+        List<CopartitionGroup> current,
+        List<StreamsGroupHeartbeatRequestData.CopartitionGroup> requested
+    ) {
+        if (current.size() != requested.size()) {
+            return false;
+        }
+
+        // TODO: Consider removing request normalization if a future protocol 
version
+        // requires canonical copartition ordering and older versions are no 
longer
+        // supported. Validate the required ordering before comparing.
+
+        // Copy before sorting to preserve the request and its index lists.
+        List<StreamsGroupHeartbeatRequestData.CopartitionGroup> 
sortedRequested =
+            new ArrayList<>(requested.size());
+
+        for (StreamsGroupHeartbeatRequestData.CopartitionGroup group : 
requested) {
+            StreamsGroupHeartbeatRequestData.CopartitionGroup copy = 
group.duplicate();
+            Collections.sort(copy.sourceTopics());
+            Collections.sort(copy.sourceTopicRegex());
+            Collections.sort(copy.repartitionSourceTopics());
+            sortedRequested.add(copy);
+        }
+
+        sortedRequested.sort(
+            Comparator.comparing(
+                    
StreamsGroupHeartbeatRequestData.CopartitionGroup::sourceTopics,
+                    StreamsTopology::compareTopicIndexes
+                )
+                .thenComparing(
+                    
StreamsGroupHeartbeatRequestData.CopartitionGroup::sourceTopicRegex,
+                    StreamsTopology::compareTopicIndexes
+                )
+                .thenComparing(
+                    
StreamsGroupHeartbeatRequestData.CopartitionGroup::repartitionSourceTopics,
+                    StreamsTopology::compareTopicIndexes
+                )
+        );
+
+        // Stored groups were already sorted by fromRecord.
+        for (int i = 0; i < current.size(); i++) {
+            if (!matchesCopartitionGroup(current.get(i), 
sortedRequested.get(i))) {

Review Comment:
   `current` is not necessarily sorted: 
`StreamsTopology.fromHeartbeatRequest(...)` and the public constructors still 
preserve the supplied ordering. For example, with a copartition group 
containing `[1, 0]`, 
`StreamsTopology.fromHeartbeatRequest(request).matches(request)` returns false 
because only the request side is sorted to `[0, 1]`. Please enforce 
normalization on every construction path or normalize both sides here, and add 
a self-match regression test using an unsorted request.



-- 
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: [email protected]

For queries about this service, please contact Infrastructure at:
[email protected]

Reply via email to