jeffkbkim commented on code in PR #14182: URL: https://github.com/apache/kafka/pull/14182#discussion_r1313213976
########## group-coordinator/src/main/java/org/apache/kafka/coordinator/group/assignor/OptimizedUniformAssignmentBuilder.java: ########## @@ -0,0 +1,399 @@ +/* + * Licensed to the Apache Software Foundation (ASF) under one or more + * contributor license agreements. See the NOTICE file distributed with + * this work for additional information regarding copyright ownership. + * The ASF licenses this file to You under the Apache License, Version 2.0 + * (the "License"); you may not use this file except in compliance with + * the License. You may obtain a copy of the License at + * + * http://www.apache.org/licenses/LICENSE-2.0 + * + * Unless required by applicable law or agreed to in writing, software + * distributed under the License is distributed on an "AS IS" BASIS, + * WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied. + * See the License for the specific language governing permissions and + * limitations under the License. + */ +package org.apache.kafka.coordinator.group.assignor; + +import org.apache.kafka.common.Uuid; +import org.apache.kafka.coordinator.group.common.TopicIdPartition; +import org.slf4j.Logger; +import org.slf4j.LoggerFactory; + +import java.util.ArrayList; +import java.util.Collections; +import java.util.HashMap; +import java.util.HashSet; +import java.util.Iterator; +import java.util.LinkedList; +import java.util.List; +import java.util.Map; +import java.util.Queue; +import java.util.Set; + +import static java.lang.Math.min; + +/** + * Assigns Kafka partitions to members of a consumer group ensuring a balanced distribution with + * considerations for sticky assignments and rack-awareness. + * The order of priority of properties during the assignment will be: balance > rack matching (when applicable) > stickiness. + * + * <p> Here's the step-by-step breakdown of the assignment process: + * + * <ul> + * <li> Compute the quotas of partitions for each member based on the total partitions and member count.</li> + * <li> For existing assignments, retain partitions based on the determined quota and member's rack compatibility. + * <li> If a partition's rack mismatches with its member, track it with its prior owner.</li> + * <li> Identify members that haven't fulfilled their partition quota or are eligible to receive extra partitions.</li> + * <li> Derive the unassigned partitions by taking the difference between total partitions and the sticky assignments.</li> + * <li> Depending on members needing extra partitions, select members from the potentially unfilled list and add them to the unfilled list.</li> + * <li> Proceed with a round-robin assignment adhering to rack awareness. + * For each unassigned partition, locate the first compatible member from the unfilled list.</li> + * <li> If no rack-compatible member is found, revert to the tracked current owner. + * If that member can't accommodate the partition due to quota limits, resort to a generic round-robin assignment.</li> + * </ul> + */ +public class OptimizedUniformAssignmentBuilder extends UniformAssignor.AbstractAssignmentBuilder { + private static final Logger log = LoggerFactory.getLogger(OptimizedUniformAssignmentBuilder.class); + private final AssignmentSpec assignmentSpec; + private final SubscribedTopicDescriber subscribedTopicDescriber; + // List of topics subscribed to by all members. + private final List<Uuid> subscriptionList; + private final RackInfo rackInfo; + // Count of members to receive an extra partition beyond the minimum quota, + // to account for the distribution of the remaining partitions. + private int remainingMembersToGetExtraPartition; + // Map of members to the remaining number of partitions needed to meet the minimum quota, + // including members eligible for an extra partition. + private final Map<String, Integer> potentiallyUnfilledMembers; + // Members mapped to the remaining number of partitions needed to meet the full quota. + // Full quota = minQuota + one extra partition (if applicable). + private Map<String, Integer> unfilledMembers; + private List<TopicIdPartition> unassignedPartitions; + private final Map<String, MemberAssignment> newAssignment; + // Tracks the current owner of each partition when using rack-aware strategy. + // Current refers to the existing assignment. + private final Map<TopicIdPartition, String> currentPartitionOwners; + // Indicates if a rack aware assignment can be done. + // True if racks are defined for both members and partitions. + boolean useRackAwareStrategy; + + OptimizedUniformAssignmentBuilder(AssignmentSpec assignmentSpec, SubscribedTopicDescriber subscribedTopicDescriber) { + this.assignmentSpec = assignmentSpec; + this.subscribedTopicDescriber = subscribedTopicDescriber; + subscriptionList = new ArrayList<>(assignmentSpec.members().values().iterator().next().subscribedTopicIds()); + + RackInfo rackInfo = new RackInfo(assignmentSpec, subscribedTopicDescriber, subscriptionList); + this.rackInfo = rackInfo; + + potentiallyUnfilledMembers = new HashMap<>(); + unfilledMembers = new HashMap<>(); + newAssignment = new HashMap<>(); + + // Without rack-aware strategy, tracking current owners of unassigned partitions is unnecessary + // as all sticky partitions are retained until a member meets its quota. + if (rackInfo.memberRacks.isEmpty() || rackInfo.partitionRacks.isEmpty()) { + this.useRackAwareStrategy = false; + currentPartitionOwners = Collections.emptyMap(); + } else { + this.useRackAwareStrategy = true; + currentPartitionOwners = new HashMap<>(); + } + } + + @Override + protected GroupAssignment buildAssignment() { + int totalPartitionsCount = 0; + // Removes the current topic from subscriptionList if the topic doesn't exist in the topic metadata. + Iterator<Uuid> iterator = subscriptionList.iterator(); + while (iterator.hasNext()) { + Uuid topicId = iterator.next(); + int partitionCount = subscribedTopicDescriber.numPartitions(topicId); + if (partitionCount == -1) { + log.warn("Members are subscribed to topic " + topicId + " which doesn't exist in the topic metadata."); + iterator.remove(); + } else { + totalPartitionsCount += partitionCount; + } + } + + if (subscriptionList.isEmpty()) { + log.info("The subscription list is empty, returning an empty assignment"); + return new GroupAssignment(Collections.emptyMap()); + } + + // The minimum required quota that each member needs to meet for a balanced assignment. + // This is the same for all members. + final int minQuota; + int numberOfMembers = assignmentSpec.members().size(); + minQuota = (int) Math.floor(((double) totalPartitionsCount) / numberOfMembers); + remainingMembersToGetExtraPartition = totalPartitionsCount % numberOfMembers; + + assignmentSpec.members().forEach((memberId, assignmentMemberSpec) -> + newAssignment.put(memberId, new MemberAssignment(new HashMap<>())) + ); + + Set<TopicIdPartition> allAssignedStickyPartitions = computeAssignedStickyPartitions(minQuota); + + unassignedPartitions = getUnassignedPartitions(allAssignedStickyPartitions); + unfilledMembers = getUnfilledMembers(); + + if (!isTotalUnassignedPartitionsEqualsTotalRemainingAssignments()) { + log.warn("Number of available partitions is not equal to the total requirement"); + } + + if (useRackAwareStrategy) rackAwareRoundRobinAssignment(); + unassignedPartitionsRoundRobinAssignment(); + + return new GroupAssignment(newAssignment); + } + + /** + * Retrieves a set of partitions that were currently assigned to members and will be retained in the new assignment, + * by ensuring that the partitions are still relevant based on current topic metadata and subscriptions. + * If rack awareness is enabled, it ensures that a partition's rack matches the member's rack. + * + * <p> For each member, it: + * <ul> + * <li> Finds the valid current assignment considering topic subscriptions and metadata.</li> + * <li> If current assignments exist, retains up to the minimum quota of assignments.</li> + * <li> If there are members that should get an extra partition, assigns the next partition after the retained ones.</li> + * <li> For members with assignments not exceeding the minimum quota, + * it identifies them as potentially unfilled members and tracks the remaining quota.</li> + * </ul> + * + * @return A set containing all the sticky partitions that have been retained in the new assignment. + */ + private Set<TopicIdPartition> computeAssignedStickyPartitions(Integer minQuota) { + Set<TopicIdPartition> allAssignedStickyPartitions = new HashSet<>(); + + assignmentSpec.members().forEach((memberId, assignmentMemberSpec) -> { + // Remove all the topics that aren't in the subscriptions or the topic metadata anymore. + // If rack awareness is enabled, only add partitions if the consumers rack matches the partitions rack. + List<TopicIdPartition> validCurrentAssignment = getValidCurrentAssignment(memberId, assignmentMemberSpec.assignedPartitions()); + + int currentAssignmentSize = validCurrentAssignment.size(); + int remaining = minQuota - currentAssignmentSize; + + if (currentAssignmentSize > 0) { + int retainedPartitionsCount = min(currentAssignmentSize, minQuota); + for (int i = 0; i < retainedPartitionsCount; i++) { + newAssignment.get(memberId) + .targetPartitions() + .computeIfAbsent(validCurrentAssignment.get(i).topicId(), k -> new HashSet<>()) + .add(validCurrentAssignment.get(i).partition()); + allAssignedStickyPartitions.add(validCurrentAssignment.get(i)); + } + + // The extra partition is located at the index "retainedPartitionsCount" from the current step. + if (remaining < 0 && remainingMembersToGetExtraPartition > 0) { + newAssignment.get(memberId) + .targetPartitions() + .computeIfAbsent(validCurrentAssignment.get(retainedPartitionsCount).topicId(), k -> new HashSet<>()) + .add(validCurrentAssignment.get(retainedPartitionsCount).partition()); + allAssignedStickyPartitions.add(validCurrentAssignment.get(retainedPartitionsCount)); + remainingMembersToGetExtraPartition--; + } + } + if (remaining >= 0) { + potentiallyUnfilledMembers.put(memberId, remaining); + } + }); + + return allAssignedStickyPartitions; + } + + /** + * Filters the current assignment of partitions for a given member. + * + * If a partition is assigned to a member not subscribed to its topic or + * if the rack-aware strategy is to be used but there is a mismatch, + * the partition is excluded from the valid assignment and stored for future consideration. + * + * @param memberId The Id of the member whose assignment is being validated. + * @param assignedPartitions The partitions currently assigned to the member. + * + * @return List of valid partitions after applying the filters. + */ + private List<TopicIdPartition> getValidCurrentAssignment(String memberId, Map<Uuid, Set<Integer>> assignedPartitions) { + List<TopicIdPartition> validCurrentAssignmentList = new ArrayList<>(); + + assignedPartitions.forEach((topicId, currentAssignment) -> { + List<Integer> currentAssignmentList = new ArrayList<>(currentAssignment); + if (subscriptionList.contains(topicId)) { Review Comment: can we just use subscriptionSet instead of subscriptionList? it doesn't seem like we need a list to do any of the other operations. -- 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
