簡介
在 Dubbo 中，所有負載均衡實現類均繼承自 AbstractLoadBalance，該類實現了 LoadBalance 介面，並封裝了一些公共的邏輯。所以在分析負載均衡實現之前，先來看一下 AbstractLoadBalance 的邏輯。首先來看一下負載均衡的入口方法 select，如下：
@Override
public <T> Invoker<T> select(List<Invoker<T>> invokers, URL url, Invocation invocation) {
if (invokers == null || invokers.isEmpty())
return null;
// 如果 invokers 列表中僅有一個 Invoker，直接返回即可，無需進行負載均衡
if (invokers.size() == 1)
return invokers.get(0);
// 呼叫 doSelect 方法進行負載均衡，該方法為抽象方法，由子類實現
return doSelect(invokers, url, invocation);
}
protected abstract <T> Invoker<T> doSelect(List<Invoker<T>> invokers, URL url, Invocation invocation);
複製程式碼select 方法的邏輯比較簡單，首先會檢測 invokers 集合的合法性，然後再檢測 invokers 集合元素數量。如果只包含一個 Invoker，直接返回該 Inovker 即可。如果包含多個 Invoker，此時需要通過負載均衡演算法選擇一個 Invoker。具體的負載均衡演算法由子類實現，接下來章節會對這些子類一一進行詳細分析。
AbstractLoadBalance 除了實現了 LoadBalance 介面方法，還封裝了一些公共邏輯，比如服務提供者權重計算邏輯。具體實現如下：
protected int getWeight(Invoker<?> invoker, Invocation invocation) {
// 從 url 中獲取權重 weight 配置值
int weight = invoker.getUrl().getMethodParameter(invocation.getMethodName(), Constants.WEIGHT_KEY, Constants.DEFAULT_WEIGHT);
if (weight > 0) {
// 獲取服務提供者啟動時間戳
long timestamp = invoker.getUrl().getParameter(Constants.REMOTE_TIMESTAMP_KEY, 0L);
if (timestamp > 0L) {
// 計算服務提供者執行時長
int uptime = (int) (System.currentTimeMillis() - timestamp);
// 獲取服務預熱時間，預設為10分鐘
int warmup = invoker.getUrl().getParameter(Constants.WARMUP_KEY, Constants.DEFAULT_WARMUP);
// 如果服務執行時間小於預熱時間，則重新計算服務權重，即降權
if (uptime > 0 && uptime < warmup) {
// 重新計算服務權重
weight = calculateWarmupWeight(uptime, warmup, weight);
}
}
}
return weight;
}
static int calculateWarmupWeight(int uptime, int warmup, int weight) {
// 計算權重，下面程式碼邏輯上形似於 (uptime / warmup) * weight。
// 隨著服務執行時間 uptime 增大，權重計算值 ww 會慢慢接近配置值 weight
int ww = (int) ((float) uptime / ((float) warmup / (float) weight));
return ww < 1 ? 1 : (ww > weight ? weight : ww);
}
複製程式碼上面是權重的計算過程，該過程主要用於保證當服務執行時長小於服務預熱時間時，對服務進行降權，避免讓服務在啟動之初就處於高負載狀態。服務預熱是一個優化手段，與此類似的還有 JVM 預熱。主要目的是讓服務啟動後“低功率”執行一段時間，使其效率慢慢提升至最佳狀態。
關於 AbstractLoadBalance 就先分析到這，接下來分析各個實現類的程式碼。首先，我們從 Dubbo 預設的實現類 RandomLoadBalance 看起。
1. RandomLoadBalance
RandomLoadBalance 是加權隨機演算法的具體實現，它的演算法思想很簡單。假設我們有一組伺服器 servers = [A, B, C]，他們對應的權重為 weights = [5, 3, 2]，權重總和為10。現在把這些權重值平鋪在一維座標值上，[0, 5) 區間屬於伺服器 A，[5, 8) 區間屬於伺服器 B，[8, 10) 區間屬於伺服器 C。接下來通過隨機數生成器生成一個範圍在 [0, 10) 之間的隨機數，然後計算這個隨機數會落到哪個區間上。比如數字3會落到伺服器 A 對應的區間上，此時返回伺服器 A 即可。權重越大的機器，在座標軸上對應的區間範圍就越大，因此隨機數生成器生成的數字就會有更大的概率落到此區間內。只要隨機數生成器產生的隨機數分佈性很好，在經過多次選擇後，每個伺服器被選中的次數比例接近其權重比例。比如，經過一萬次選擇後，伺服器 A 被選中的次數大約為5000次，伺服器 B 被選中的次數約為3000次，伺服器 C 被選中的次數約為2000次。
以上就是 RandomLoadBalance 背後的演算法思想，比較簡單。下面開始分析原始碼。
public class RandomLoadBalance extends AbstractLoadBalance {
public static final String NAME = "random";
private final Random random = new Random();
@Override
protected <T> Invoker<T> doSelect(List<Invoker<T>> invokers, URL url, Invocation invocation) {
int length = invokers.size();
int totalWeight = 0;
boolean sameWeight = true;
// 下面這個迴圈有兩個作用，第一是計算總權重 totalWeight，
// 第二是檢測每個服務提供者的權重是否相同
for (int i = 0; i < length; i++) {
int weight = getWeight(invokers.get(i), invocation);
// 累加權重
totalWeight += weight;
// 檢測當前服務提供者的權重與上一個服務提供者的權重是否相同，
// 不相同的話，則將 sameWeight 置為 false。
if (sameWeight && i > 0
&& weight != getWeight(invokers.get(i - 1), invocation)) {
sameWeight = false;
}
}
// 下面的 if 分支主要用於獲取隨機數，並計算隨機數落在哪個區間上
if (totalWeight > 0 && !sameWeight) {
// 隨機獲取一個 [0, totalWeight) 區間內的數字
int offset = random.nextInt(totalWeight);
// 迴圈讓 offset 數減去服務提供者權重值，當 offset 小於0時，返回相應的 Invoker。
// 舉例說明一下，我們有 servers = [A, B, C]，weights = [5, 3, 2]，offset = 7。
// 第一次迴圈，offset - 5 = 2 > 0，即 offset > 5，
// 表明其不會落在伺服器 A 對應的區間上。
// 第二次迴圈，offset - 3 = -1 < 0，即 5 < offset < 8，
// 表明其會落在伺服器 B 對應的區間上
for (int i = 0; i < length; i++) {
// 讓隨機值 offset 減去權重值
offset -= getWeight(invokers.get(i), invocation);
if (offset < 0) {
// 返回相應的 Invoker
return invokers.get(i);
}
}
}
// 如果所有服務提供者權重值相同，此時直接隨機返回一個即可
return invokers.get(random.nextInt(length));
}
}
複製程式碼RandomLoadBalance 的演算法思想比較簡單，在經過多次請求後，能夠將呼叫請求按照權重值進行“均勻”分配。當然 RandomLoadBalance 也存在一定的缺點，當呼叫次數比較少時，Random 產生的隨機數可能會比較集中，此時多數請求會落到同一臺伺服器上。這個缺點並不是很嚴重，多數情況下可以忽略。RandomLoadBalance 是一個簡單，高效的負載均衡實現，因此 Dubbo 選擇它作為預設實現。
關於 RandomLoadBalance 就先到這了，接下來分析 LeastActiveLoadBalance。
2. LeastActiveLoadBalance
LeastActiveLoadBalance 翻譯過來是最小活躍數負載均衡。活躍呼叫數越小，表明該服務提供者效率越高，單位時間內可處理更多的請求。此時應優先將請求分配給該服務提供者。在具體實現中，每個服務提供者對應一個活躍數 active。初始情況下，所有服務提供者活躍數均為0。每收到一個請求，活躍數加1，完成請求後則將活躍數減1。在服務執行一段時間後，效能好的服務提供者處理請求的速度更快，因此活躍數下降的也越快，此時這樣的服務提供者能夠優先獲取到新的服務請求、這就是最小活躍數負載均衡演算法的基本思想。除了最小活躍數，LeastActiveLoadBalance 在實現上還引入了權重值。所以準確的來說，LeastActiveLoadBalance 是基於加權最小活躍數演算法實現的。舉個例子說明一下，在一個服務提供者叢集中，有兩個效能優異的服務提供者。某一時刻它們的活躍數相同，此時 Dubbo 會根據它們的權重去分配請求，權重越大，獲取到新請求的概率就越大。如果兩個服務提供者權重相同，此時隨機選擇一個即可。關於 LeastActiveLoadBalance 的背景知識就先介紹到這裡，下面開始分析原始碼。
public class LeastActiveLoadBalance extends AbstractLoadBalance {
public static final String NAME = "leastactive";
private final Random random = new Random();
@Override
protected <T> Invoker<T> doSelect(List<Invoker<T>> invokers, URL url, Invocation invocation) {
int length = invokers.size();
// 最小的活躍數
int leastActive = -1;
// 具有相同“最小活躍數”的服務者提供者（以下用 Invoker 代稱）數量
int leastCount = 0;
// leastIndexs 用於記錄具有相同“最小活躍數”的 Invoker 在 invokers 列表中的下標資訊
int[] leastIndexs = new int[length];
int totalWeight = 0;
// 第一個最小活躍數的 Invoker 權重值，用於與其他具有相同最小活躍數的 Invoker 的權重進行對比，
// 以檢測是否“所有具有相同最小活躍數的 Invoker 的權重”均相等
int firstWeight = 0;
boolean sameWeight = true;
// 遍歷 invokers 列表
for (int i = 0; i < length; i++) {
Invoker<T> invoker = invokers.get(i);
// 獲取 Invoker 對應的活躍數
int active = RpcStatus.getStatus(invoker.getUrl(), invocation.getMethodName()).getActive();
// 獲取權重 - ⭐️
int weight = invoker.getUrl().getMethodParameter(invocation.getMethodName(), Constants.WEIGHT_KEY, Constants.DEFAULT_WEIGHT);
// 發現更小的活躍數，重新開始
if (leastActive == -1 || active < leastActive) {
// 使用當前活躍數 active 更新最小活躍數 leastActive
leastActive = active;
// 更新 leastCount 為 1
leastCount = 1;
// 記錄當前下標值到 leastIndexs 中
leastIndexs[0] = i;
totalWeight = weight;
firstWeight = weight;
sameWeight = true;
// 當前 Invoker 的活躍數 active 與最小活躍數 leastActive 相同
} else if (active == leastActive) {
// 在 leastIndexs 中記錄下當前 Invoker 在 invokers 集合中的下標
leastIndexs[leastCount++] = i;
// 累加權重
totalWeight += weight;
// 檢測當前 Invoker 的權重與 firstWeight 是否相等，
// 不相等則將 sameWeight 置為 false
if (sameWeight && i > 0
&& weight != firstWeight) {
sameWeight = false;
}
}
}
// 當只有一個 Invoker 具有最小活躍數，此時直接返回該 Invoker 即可
if (leastCount == 1) {
return invokers.get(leastIndexs[0]);
}
// 有多個 Invoker 具有相同的最小活躍數，但它們之間的權重不同
if (!sameWeight && totalWeight > 0) {
// 隨機生成一個 [0, totalWeight) 之間的數字
int offsetWeight = random.nextInt(totalWeight);
// 迴圈讓隨機數減去具有最小活躍數的 Invoker 的權重值，
// 當 offset 小於等於0時，返回相應的 Invoker
for (int i = 0; i < leastCount; i++) {
int leastIndex = leastIndexs[i];
// 獲取權重值，並讓隨機數減去權重值 - ⭐️
offsetWeight -= getWeight(invokers.get(leastIndex), invocation);
if (offsetWeight <= 0)
return invokers.get(leastIndex);
}
}
// 如果權重相同或權重為0時，隨機返回一個 Invoker
return invokers.get(leastIndexs[random.nextInt(leastCount)]);
}
}
複製程式碼上面程式碼的邏輯比較多，我們在程式碼中寫了大量的註釋，有幫助大家理解程式碼邏輯。下面簡單總結一下以上程式碼所做的事情，如下：
- 遍歷 invokers 列表，尋找活躍數最小的 Invoker
- 如果有多個 Invoker 具有相同的最小活躍數，此時記錄下這些 Invoker 在 invokers 集合中的下標，並累加它們的權重，比較它們的權重值是否相等
- 如果只有一個 Invoker 具有最小的活躍數，此時直接返回該 Invoker 即可
- 如果有多個 Invoker 具有最小活躍數，且它們的權重不相等，此時處理方式和 RandomLoadBalance 一致
- 如果有多個 Invoker 具有最小活躍數，但它們的權重相等，此時隨機返回一個即可
以上就是 LeastActiveLoadBalance 大致的實現邏輯，大家在閱讀的原始碼的過程中要注意區分活躍數與權重這兩個概念，不要混為一談。
以上分析是基於 Dubbo 2.6.4 版本進行的，由於近期 Dubbo 2.6.5 釋出了，並對 LeastActiveLoadBalance 進行了一些修改，下面簡單來介紹一下修改內容。回到上面的原始碼中，我們在上面的程式碼中標註了兩個黃色的五角星⭐️。兩處標記對應的程式碼分別如下：
int weight = invoker.getUrl().getMethodParameter(invocation.getMethodName(), Constants.WEIGHT_KEY, Constants.DEFAULT_WEIGHT);
offsetWeight -= getWeight(invokers.get(leastIndex), invocation);
複製程式碼問題出在服務預熱階段，第一行程式碼直接從 url 中取權重值，未被降權過。第二行程式碼獲取到的是經過降權後的權重。第一行程式碼獲取到的權重值最終會被累加到權重總和 totalWeight 中，這個時候會導致一個問題。offsetWeight 是一個在 [0, totalWeight) 範圍內的隨機數，而它所減去的是經過降權的權重。很有可能在經過 leastCount 次運算後，offsetWeight 仍然是大於0的，導致無法選中 Invoker。這個問題對應的 issue 為 #904，並在 pull request #2172 中被修復。具體的修復邏輯是將標註一處的程式碼修改為：
// afterWarmup 等價於上面的 weight 變數，這樣命名是為了強調該變數經過了 warmup 降權處理
int afterWarmup = getWeight(invoker, invocation);
複製程式碼另外，2.6.4 版本中的 LeastActiveLoadBalance 還要一個缺陷，即當一組 Invoker 具有相同的最小活躍數，且其中一個 Invoker 的權重值為1，此時這個 Invoker 無法被選中。缺陷程式碼如下：
int offsetWeight = random.nextInt(totalWeight);
for (int i = 0; i < leastCount; i++) {
int leastIndex = leastIndexs[i];
offsetWeight -= getWeight(invokers.get(leastIndex), invocation);
if (offsetWeight <= 0) // ❌
return invokers.get(leastIndex);
}
複製程式碼問題出在了offsetWeight <= 0上，舉例說明，假設有一組 Invoker 的權重為 5、2、1，offsetWeight 最大值為 7。假設 offsetWeight = 7，你會發現，當 for 迴圈進行第二次遍歷後 offsetWeight = 7 - 5 - 2 = 0，提前返回了。此時，此時權重為1的 Invoker 就沒有機會被選中了。該問題在 Dubbo 2.6.5 中被修復了，修改後的程式碼如下：
int offsetWeight = random.nextInt(totalWeight) + 1;
複製程式碼以上就是 Dubob 2.6.5 對 LeastActiveLoadBalance 的更新，內容不是很多，先分析到這。接下來分析基於一致性 hash 思想的 ConsistentHashLoadBalance。
3. ConsistentHashLoadBalance
一致性 hash 演算法由麻省理工學院的 Karger 及其合作者於1997年提出的，演算法提出之初是用於大規模快取系統的負載均衡。它的工作過程是這樣的，首先根據 ip 或者其他的資訊為快取節點生成一個 hash，並將這個 hash 投射到 [0, 232 - 1] 的圓環上。當有查詢或寫入請求時，則為快取項的 key 生成一個 hash 值。然後查詢第一個大於或等於該 hash 值的快取節點，併到這個節點中查詢或寫入快取項。如果當前節點掛了，則在下一次查詢或寫入快取時，為快取項查詢另一個大於其 hash 值的快取節點即可。大致效果如下圖所示，每個快取節點在圓環上佔據一個位置。如果快取項的 key 的 hash 值小於快取節點 hash 值，則到該快取節點中儲存或讀取快取項。比如下面綠色點對應的快取項將會被儲存到 cache-2 節點中。由於 cache-3 掛了，原本應該存到該節點中的快取項最終會儲存到 cache-4 節點中。
下面來看看一致性 hash 在 Dubbo 中的應用。我們把上圖的快取節點替換成 Dubbo 的服務提供者，於是得到了下圖：
這裡相同顏色的節點均屬於同一個服務提供者，比如 Invoker1-1，Invoker1-2，……, Invoker1-160。這樣做的目的是通過引入虛擬節點，讓 Invoker 在圓環上分散開來，避免資料傾斜問題。所謂資料傾斜是指，由於節點不夠分散，導致大量請求落到了同一個節點上，而其他節點只會接收到了少量請求的情況。比如：
如上，由於 Invoker-1 和 Invoker-2 在圓環上分佈不均，導致系統中75%的請求都會落到 Invoker-1 上，只有 25% 的請求會落到 Invoker-2 上。解決這個問題辦法是引入虛擬節點，通過虛擬節點均衡各個節點的請求量。
到這裡背景知識就普及完了，接下來開始分析原始碼。我們先從 ConsistentHashLoadBalance 的 doSelect 方法開始看起，如下：
public class ConsistentHashLoadBalance extends AbstractLoadBalance {
private final ConcurrentMap<String, ConsistentHashSelector<?>> selectors =
new ConcurrentHashMap<String, ConsistentHashSelector<?>>();
@Override
protected <T> Invoker<T> doSelect(List<Invoker<T>> invokers, URL url, Invocation invocation) {
String methodName = RpcUtils.getMethodName(invocation);
String key = invokers.get(0).getUrl().getServiceKey() + "." + methodName;
// 獲取 invokers 原始的 hashcode
int identityHashCode = System.identityHashCode(invokers);
ConsistentHashSelector<T> selector = (ConsistentHashSelector<T>) selectors.get(key);
// 如果 invokers 是一個新的 List 物件，意味著服務提供者數量發生了變化，可能新增也可能減少了。
// 此時 selector.identityHashCode != identityHashCode 條件成立
if (selector == null || selector.identityHashCode != identityHashCode) {
// 建立新的 ConsistentHashSelector
selectors.put(key, new ConsistentHashSelector<T>(invokers, methodName, identityHashCode));
selector = (ConsistentHashSelector<T>) selectors.get(key);
}
// 呼叫 ConsistentHashSelector 的 select 方法選擇 Invoker
return selector.select(invocation);
}
private static final class ConsistentHashSelector<T> {...}
}
複製程式碼如上，doSelect 方法主要做了一些前置工作，比如檢測 invokers 列表是不是變動過，以及建立 ConsistentHashSelector。這些工作做完後，接下來開始呼叫 ConsistentHashSelector 的 select 方法執行負載均衡邏輯。在分析 select 方法之前，我們先來看一下一致性 hash 選擇器 ConsistentHashSelector 的初始化過程，如下：
private static final class ConsistentHashSelector<T> {
// 使用 TreeMap 儲存 Invoker 虛擬節點
private final TreeMap<Long, Invoker<T>> virtualInvokers;
private final int replicaNumber;
private final int identityHashCode;
private final int[] argumentIndex;
ConsistentHashSelector(List<Invoker<T>> invokers, String methodName, int identityHashCode) {
this.virtualInvokers = new TreeMap<Long, Invoker<T>>();
this.identityHashCode = identityHashCode;
URL url = invokers.get(0).getUrl();
// 獲取虛擬節點數，預設為160
this.replicaNumber = url.getMethodParameter(methodName, "hash.nodes", 160);
// 獲取參與 hash 計算的引數下標值，預設對第一個引數進行 hash 運算
String[] index = Constants.COMMA_SPLIT_PATTERN.split(url.getMethodParameter(methodName, "hash.arguments", "0"));
argumentIndex = new int[index.length];
for (int i = 0; i < index.length; i++) {
argumentIndex[i] = Integer.parseInt(index[i]);
}
for (Invoker<T> invoker : invokers) {
String address = invoker.getUrl().getAddress();
for (int i = 0; i < replicaNumber / 4; i++) {
// 對 address + i 進行 md5 運算，得到一個長度為16的位元組陣列
byte[] digest = md5(address + i);
// 對 digest 部分位元組進行4次 hash 運算，得到四個不同的 long 型正整數
for (int h = 0; h < 4; h++) {
// h = 0 時，取 digest 中下標為 0 ~ 3 的4個位元組進行位運算
// h = 1 時，取 digest 中下標為 4 ~ 7 的4個位元組進行位運算
// h = 2, h = 3 時過程同上
long m = hash(digest, h);
// 將 hash 到 invoker 的對映關係儲存到 virtualInvokers 中，
// virtualInvokers 需要提供高效的查詢操作，因此選用 TreeMap 作為儲存結構
virtualInvokers.put(m, invoker);
}
}
}
}
}
複製程式碼ConsistentHashSelector 的構造方法執行了一系列的初始化邏輯，比如從配置中獲取虛擬節點數以及參與 hash 計算的引數下標，預設情況下只使用第一個引數進行 hash。需要特別說明的是，ConsistentHashLoadBalance 的負載均衡邏輯只受引數值影響，具有相同引數值的請求將會被分配給同一個服務提供者。ConsistentHashLoadBalance 不 關係權重，因此使用時需要注意一下。
在獲取虛擬節點數和引數下標配置後，接下來要做的事情是計算虛擬節點 hash 值，並將虛擬節點儲存到 TreeMap 中。到此，ConsistentHashSelector 初始化工作就完成了。接下來，我們來看看 select 方法的邏輯。
public Invoker<T> select(Invocation invocation) {
// 將引數轉為 key
String key = toKey(invocation.getArguments());
// 對引數 key 進行 md5 運算
byte[] digest = md5(key);
// 取 digest 陣列的前四個位元組進行 hash 運算，再將 hash 值傳給 selectForKey 方法，
// 尋找合適的 Invoker
return selectForKey(hash(digest, 0));
}
private Invoker<T> selectForKey(long hash) {
// 到 TreeMap 中查詢第一個節點值大於或等於當前 hash 的 Invoker
Map.Entry<Long, Invoker<T>> entry = virtualInvokers.tailMap(hash, true).firstEntry();
// 如果 hash 大於 Invoker 在圓環上最大的位置，此時 entry = null，
// 需要將 TreeMap 的頭節點賦值給 entry
if (entry == null) {
entry = virtualInvokers.firstEntry();
}
// 返回 Invoker
return entry.getValue();
}
複製程式碼如上，選擇的過程相對比較簡單了。首先是對引數進行 md5 以及 hash 運算，得到一個 hash 值。然後再拿這個值到 TreeMap 中查詢目標 Invoker 即可。
到此關於 ConsistentHashLoadBalance 就分析完了。在閱讀 ConsistentHashLoadBalance 原始碼之前，大家一定要先補充背景知識，不然很難看懂程式碼邏輯。
4. RoundRobinLoadBalance
本節，我們來看一下 Dubbo 中加權輪詢負載均衡的實現 RoundRobinLoadBalance。在詳細分析原始碼前，我們先來了解一下什麼是加權輪詢。這裡從最簡單的輪詢開始講起，所謂輪詢是指將請求輪流分配給每臺伺服器。舉個例子，我們有三臺伺服器 A、B、C。我們將第一個請求分配給伺服器 A，第二個請求分配給伺服器 B，第三個請求分配給伺服器 C，第四個請求再次分配給伺服器 A。這個過程就叫做輪詢。輪詢是一種無狀態負載均衡演算法，實現簡單，適用於每臺伺服器效能相近的場景下。但現實情況下，我們並不能保證每臺伺服器效能均相近。如果我們將等量的請求分配給效能較差的伺服器，這顯然是不合理的。因此，這個時候我們需要對輪詢過程進行加權，以調控每臺伺服器的負載。經過加權後，每臺伺服器能夠得到的請求數比例，接近或等於他們的權重比。比如伺服器 A、B、C 權重比為 5:2:1。那麼在8次請求中，伺服器 A 將收到其中的5次請求，伺服器 B 會收到其中的2次請求，伺服器 C 則收到其中的1次請求。
以上就是加權輪詢的演算法思想，搞懂了這個思想，接下來我們就可以分析原始碼了。我們先來看一下 2.6.4 版本的 RoundRobinLoadBalance。
public class RoundRobinLoadBalance extends AbstractLoadBalance {
public static final String NAME = "roundrobin";
private final ConcurrentMap<String, AtomicPositiveInteger> sequences =
new ConcurrentHashMap<String, AtomicPositiveInteger>();
@Override
protected <T> Invoker<T> doSelect(List<Invoker<T>> invokers, URL url, Invocation invocation) {
// key = 全限定類名 + "." + 方法名，比如 com.xxx.DemoService.sayHello
String key = invokers.get(0).getUrl().getServiceKey() + "." + invocation.getMethodName();
int length = invokers.size();
// 最大權重
int maxWeight = 0;
// 最小權重
int minWeight = Integer.MAX_VALUE;
final LinkedHashMap<Invoker<T>, IntegerWrapper> invokerToWeightMap = new LinkedHashMap<Invoker<T>, IntegerWrapper>();
// 權重總和
int weightSum = 0;
// 下面這個迴圈主要用於查詢最大和最小權重，計算權重總和等
for (int i = 0; i < length; i++) {
int weight = getWeight(invokers.get(i), invocation);
// 獲取最大和最小權重
maxWeight = Math.max(maxWeight, weight);
minWeight = Math.min(minWeight, weight);
if (weight > 0) {
// 將 weight 封裝到 IntegerWrapper 中
invokerToWeightMap.put(invokers.get(i), new IntegerWrapper(weight));
// 累加權重
weightSum += weight;
}
}
// 查詢 key 對應的對應 AtomicPositiveInteger 例項，為空則建立。
// 這裡可以把 AtomicPositiveInteger 看成一個黑盒，大家只要知道
// AtomicPositiveInteger 用於記錄服務的呼叫編號即可。至於細節，
// 大家如果感興趣，可以自行分析
AtomicPositiveInteger sequence = sequences.get(key);
if (sequence == null) {
sequences.putIfAbsent(key, new AtomicPositiveInteger());
sequence = sequences.get(key);
}
// 獲取當前的呼叫編號
int currentSequence = sequence.getAndIncrement();
// 如果最小權重小於最大權重，表明服務提供者之間的權重是不相等的
if (maxWeight > 0 && minWeight < maxWeight) {
// 使用呼叫編號對權重總和進行取餘操作
int mod = currentSequence % weightSum;
// 進行 maxWeight 次遍歷
for (int i = 0; i < maxWeight; i++) {
// 遍歷 invokerToWeightMap
for (Map.Entry<Invoker<T>, IntegerWrapper> each : invokerToWeightMap.entrySet()) {
// 獲取 Invoker
final Invoker<T> k = each.getKey();
// 獲取權重包裝類 IntegerWrapper
final IntegerWrapper v = each.getValue();
// 如果 mod = 0，且權重大於0，此時返回相應的 Invoker
if (mod == 0 && v.getValue() > 0) {
return k;
}
// mod != 0，且權重大於0，此時對權重和 mod 分別進行自減操作
if (v.getValue() > 0) {
v.decrement();
mod--;
}
}
}
}
// 服務提供者之間的權重相等，此時通過輪詢選擇 Invoker
return invokers.get(currentSequence % length);
}
// IntegerWrapper 是一個 int 包裝類，主要包含了一個自減方法。
private static final class IntegerWrapper {
private int value;
public void decrement() {
this.value--;
}
// 省略部分程式碼
}
}
複製程式碼如上，RoundRobinLoadBalance 的每行程式碼都不是很難理解，但是將它們組合在一起之後，就不是很好理解了。所以下面我們舉例進行說明，假設我們有三臺伺服器 servers = [A, B, C]，對應的權重為 weights = [2, 5, 1]。接下來對上面的邏輯進行簡單的模擬。
mod = 0：滿足條件，此時直接返回伺服器 A
mod = 1：需要進行一次遞減操作才能滿足條件，此時返回伺服器 B
mod = 2：需要進行兩次遞減操作才能滿足條件，此時返回伺服器 C
mod = 3：需要進行三次遞減操作才能滿足條件，經過遞減後，伺服器權重為 [1, 4, 0]，此時返回伺服器 A
mod = 4：需要進行四次遞減操作才能滿足條件，經過遞減後，伺服器權重為 [0, 4, 0]，此時返回伺服器 B
mod = 5：需要進行五次遞減操作才能滿足條件，經過遞減後，伺服器權重為 [0, 3, 0]，此時返回伺服器 B
mod = 6：需要進行六次遞減操作才能滿足條件，經過遞減後，伺服器權重為 [0, 2, 0]，此時返回伺服器 B
mod = 7：需要進行七次遞減操作才能滿足條件，經過遞減後，伺服器權重為 [0, 1, 0]，此時返回伺服器 B
經過8次呼叫後，我們得到的負載均衡結果為 [A, B, C, A, B, B, B, B]，次數比 A:B:C = 2:5:1，等於權重比。當 sequence = 8 時，mod = 0，此時重頭再來。從上面的模擬過程可以看出，當 mod >= 3 後，伺服器 C 就不會被選中了，因為它的權重被減為0了。當 mod >= 4 後，伺服器 A 的權重被減為0，此後 A 就不會再被選中。
以上是 2.6.4 版本的 RoundRobinLoadBalance 分析過程，2.6.4 版本的 RoundRobinLoadBalance 在某些情況下存在著比較嚴重的效能問題，該問題最初是在 issue #2578 中被反饋出來。問題出在了 Invoker 的返回時機上，RoundRobinLoadBalance 需要在mod == 0 && v.getValue() > 0 條件成立的情況下才會被返回相應的 Invoker。假如 mod 很大，比如 10000，50000，甚至更大時，doSelect 方法需要進行很多次計算才能將 mod 減為0。由此可知，doSelect 的效率與 mod 有關，時間複雜度為 O(mod)。mod 又受最大權重 maxWeight 的影響，因此當某個服務提供者配置了非常大的權重，此時 RoundRobinLoadBalance 會產生比較嚴重的效能問題。這個問題被反饋後，社群很快做了迴應。並對 RoundRobinLoadBalance 的程式碼進行了重構，將時間複雜度優化至了常量級別。這個優化可以說很好了，下面我們來學習一下優化後的程式碼。
public class RoundRobinLoadBalance extends AbstractLoadBalance {
public static final String NAME = "roundrobin";
private final ConcurrentMap<String, AtomicPositiveInteger> sequences = new ConcurrentHashMap<String, AtomicPositiveInteger>();
private final ConcurrentMap<String, AtomicPositiveInteger> indexSeqs = new ConcurrentHashMap<String, AtomicPositiveInteger>();
@Override
protected <T> Invoker<T> doSelect(List<Invoker<T>> invokers, URL url, Invocation invocation) {
String key = invokers.get(0).getUrl().getServiceKey() + "." + invocation.getMethodName();
int length = invokers.size();
int maxWeight = 0;
int minWeight = Integer.MAX_VALUE;
final List<Invoker<T>> invokerToWeightList = new ArrayList<>();
// 查詢最大和最小權重
for (int i = 0; i < length; i++) {
int weight = getWeight(invokers.get(i), invocation);
maxWeight = Math.max(maxWeight, weight);
minWeight = Math.min(minWeight, weight);
if (weight > 0) {
invokerToWeightList.add(invokers.get(i));
}
}
// 獲取當前服務對應的呼叫序列物件 AtomicPositiveInteger
AtomicPositiveInteger sequence = sequences.get(key);
if (sequence == null) {
// 建立 AtomicPositiveInteger，預設值為0
sequences.putIfAbsent(key, new AtomicPositiveInteger());
sequence = sequences.get(key);
}
// 獲取下標序列物件 AtomicPositiveInteger
AtomicPositiveInteger indexSeq = indexSeqs.get(key);
if (indexSeq == null) {
// 建立 AtomicPositiveInteger，預設值為 -1
indexSeqs.putIfAbsent(key, new AtomicPositiveInteger(-1));
indexSeq = indexSeqs.get(key);
}
if (maxWeight > 0 && minWeight < maxWeight) {
length = invokerToWeightList.size();
while (true) {
int index = indexSeq.incrementAndGet() % length;
int currentWeight = sequence.get() % maxWeight;
// 每迴圈一輪（index = 0），重新計算 currentWeight
if (index == 0) {
currentWeight = sequence.incrementAndGet() % maxWeight;
}
// 檢測 Invoker 的權重是否大於 currentWeight，大於則返回
if (getWeight(invokerToWeightList.get(index), invocation) > currentWeight) {
return invokerToWeightList.get(index);
}
}
}
// 所有 Invoker 權重相等，此時進行普通的輪詢即可
return invokers.get(sequence.incrementAndGet() % length);
}
}
複製程式碼上面程式碼的邏輯是這樣的，每進行一輪迴圈，重新計算 currentWeight。如果當前 Invoker 權重大於 currentWeight，則返回該 Invoker。下面舉例說明，假設伺服器 [A, B, C] 對應權重 [5, 2, 1]。
第一輪迴圈，currentWeight = 1，可返回 A 和 B
第二輪迴圈，currentWeight = 2，返回 A
第三輪迴圈，currentWeight = 3，返回 A
第四輪迴圈，currentWeight = 4，返回 A
第五輪迴圈，currentWeight = 0，返回 A, B, C
如上，這裡的一輪迴圈是指 index 再次變為0所經歷過的迴圈，這裡可以把 index = 0 看做是一輪迴圈的開始。每一輪迴圈的次數與 Invoker 的數量有關，Invoker 數量通常不會太多，所以我們可以認為上面程式碼的時間複雜度為常數級。
重構後的 RoundRobinLoadBalance 看起來已經很不錯了，但是在程式碼更新不久後，很快又被重構了。這次重構原因是新的 RoundRobinLoadBalance 在某些情況下選出的伺服器序列不夠均勻。比如，伺服器 [A, B, C] 對應權重 [5, 1, 1]。進行7次負載均衡後，選擇出來的序列為 [A, A, A, A, A, B, C]。前5個請求全部都落在了伺服器 A上，這將會使伺服器 A 短時間內接收大量的請求，壓力陡增。而 B 和 C 此時無請求，處於空閒狀態。而我們期望的結果是這樣的 [A, A, B, A, C, A, A]，不同伺服器可以穿插獲取請求。為了增加負載均衡結果的平滑性，社群再次對 RoundRobinLoadBalance 的實現進行了重構，這次重構參考自 Nginx 的平滑加權輪詢負載均衡。每個伺服器對應兩個權重，分別為 weight 和 currentWeight。其中 weight 是固定的，currentWeight 會動態調整，初始值為0。當有新的請求進來時，遍歷伺服器列表，讓它的 currentWeight 加上自身權重。遍歷完成後，找到最大的 currentWeight，並將其減去權重總和，然後返回相應的伺服器即可。
上面描述不是很好理解，下面還是舉例進行說明。這裡仍然使用伺服器 [A, B, C] 對應權重 [5, 1, 1] 的例子說明，現在有7個請求依次進入負載均衡邏輯，選擇過程如下：
請求編號 currentWeight 陣列 選擇結果 減去權重總和後的 currentWeight 陣列
1 [5, 1, 1] A [-2, 1, 1]
2 [3, 2, 2] A [-4, 2, 2]
3 [1, 3, 3] B [1, -4, 3]
4 [6, -3, 4] A [-1, -3, 4]
5 [4, -2, 5] C [4, -2, -2]
6 [9, -1, -1] A [2, -1, -1]
7 [7, 0, 0] A [0, 0, 0]
如上，經過平滑性處理後，得到的伺服器序列為 [A, A, B, A, C, A, A]，相比之前的序列 [A, A, A, A, A, B, C]，分佈性要好一些。初始情況下 currentWeight = [0, 0, 0]，第7個請求處理完後，currentWeight 再次變為 [0, 0, 0]。
以上就是平滑加權輪詢的計算過程，接下來，我們來看看 Dubbo-2.6.5 是如何實現上面的計算過程的。
public class RoundRobinLoadBalance extends AbstractLoadBalance {
public static final String NAME = "roundrobin";
private static int RECYCLE_PERIOD = 60000;
protected static class WeightedRoundRobin {
// 服務提供者權重
private int weight;
// 當前權重
private AtomicLong current = new AtomicLong(0);
// 最後一次更新時間
private long lastUpdate;
public void setWeight(int weight) {
this.weight = weight;
// 初始情況下，current = 0
current.set(0);
}
public long increaseCurrent() {
// current = current + weight；
return current.addAndGet(weight);
}
public void sel(int total) {
// current = current - total;
current.addAndGet(-1 * total);
}
}
// 巢狀 Map 結構，儲存的資料結構示例如下：
// {
// "UserService.query": {
// "url1": WeightedRoundRobin@123,
// "url2": WeightedRoundRobin@456,
// },
// "UserService.update": {
// "url1": WeightedRoundRobin@123,
// "url2": WeightedRoundRobin@456,
// }
// }
// 最外層為服務類名 + 方法名，第二層為 url 到 WeightedRoundRobin 的對映關係。
// 這裡我們可以將 url 看成是服務提供者的 id
private ConcurrentMap<String, ConcurrentMap<String, WeightedRoundRobin>> methodWeightMap = new ConcurrentHashMap<String, ConcurrentMap<String, WeightedRoundRobin>>();
// 原子更新鎖
private AtomicBoolean updateLock = new AtomicBoolean();
@Override
protected <T> Invoker<T> doSelect(List<Invoker<T>> invokers, URL url, Invocation invocation) {
String key = invokers.get(0).getUrl().getServiceKey() + "." + invocation.getMethodName();
// 獲取 url 到 WeightedRoundRobin 對映表，如果為空，則建立一個新的
ConcurrentMap<String, WeightedRoundRobin> map = methodWeightMap.get(key);
if (map == null) {
methodWeightMap.putIfAbsent(key, new ConcurrentHashMap<String, WeightedRoundRobin>());
map = methodWeightMap.get(key);
}
int totalWeight = 0;
long maxCurrent = Long.MIN_VALUE;
// 獲取當前時間
long now = System.currentTimeMillis();
Invoker<T> selectedInvoker = null;
WeightedRoundRobin selectedWRR = null;
// 下面這個迴圈主要做了這樣幾件事情：
// 1. 遍歷 Invoker 列表，檢測當前 Invoker 是否有
// 相應的 WeightedRoundRobin，沒有則建立
// 2. 檢測 Invoker 權重是否發生了變化，若變化了，
// 則更新 WeightedRoundRobin 的 weight 欄位
// 3. 讓 current 欄位加上自身權重，等價於 current += weight
// 4. 設定 lastUpdate 欄位，即 lastUpdate = now
// 5. 尋找具有最大 current 的 Invoker，以及 Invoker 對應的 WeightedRoundRobin，
// 暫存起來，留作後用
// 6. 計算權重總和
for (Invoker<T> invoker : invokers) {
String identifyString = invoker.getUrl().toIdentityString();
WeightedRoundRobin weightedRoundRobin = map.get(identifyString);
int weight = getWeight(invoker, invocation);
if (weight < 0) {
weight = 0;
}
// 檢測當前 Invoker 是否有對應的 WeightedRoundRobin，沒有則建立
if (weightedRoundRobin == null) {
weightedRoundRobin = new WeightedRoundRobin();
// 設定 Invoker 權重
weightedRoundRobin.setWeight(weight);
// 儲存 url 唯一標識 identifyString 到 weightedRoundRobin 的對映關係
map.putIfAbsent(identifyString, weightedRoundRobin);
weightedRoundRobin = map.get(identifyString);
}
// Invoker 權重不等於 WeightedRoundRobin 中儲存的權重，說明權重變化了，此時進行更新
if (weight != weightedRoundRobin.getWeight()) {
weightedRoundRobin.setWeight(weight);
}
// 讓 current 加上自身權重，等價於 current += weight
long cur = weightedRoundRobin.increaseCurrent();
// 設定 lastUpdate，表示近期更新過
weightedRoundRobin.setLastUpdate(now);
// 找出最大的 current
if (cur > maxCurrent) {
maxCurrent = cur;
// 將具有最大 current 權重的 Invoker 賦值給 selectedInvoker
selectedInvoker = invoker;
// 將 Invoker 對應的 weightedRoundRobin 賦值給 selectedWRR，留作後用
selectedWRR = weightedRoundRobin;
}
// 計算權重總和
totalWeight += weight;
}
// 對 <identifyString, WeightedRoundRobin> 進行檢查，過濾掉長時間未被更新的節點。
// 該節點可能掛了，invokers 中不包含該節點，所以該節點的 lastUpdate 長時間無法被更新。
// 若未更新時長超過閾值後，就會被移除掉，預設閾值為60秒。
if (!updateLock.get() && invokers.size() != map.size()) {
if (updateLock.compareAndSet(false, true)) {
try {
ConcurrentMap<String, WeightedRoundRobin> newMap = new ConcurrentHashMap<String, WeightedRoundRobin>();
// 拷貝
newMap.putAll(map);
// 遍歷修改，即移除過期記錄
Iterator<Entry<String, WeightedRoundRobin>> it = newMap.entrySet().iterator();
while (it.hasNext()) {
Entry<String, WeightedRoundRobin> item = it.next();
if (now - item.getValue().getLastUpdate() > RECYCLE_PERIOD) {
it.remove();
}
}
// 更新引用
methodWeightMap.put(key, newMap);
} finally {
updateLock.set(false);
}
}
}
if (selectedInvoker != null) {
// 讓 current 減去權重總和，等價於 current -= totalWeight
selectedWRR.sel(totalWeight);
// 返回具有最大 current 的 Invoker
return selectedInvoker;
}
// should not happen here
return invokers.get(0);
}
}
複製程式碼大家如果能夠理解平滑加權輪詢演算法的計算過程，再配合程式碼中註釋，理解上面的程式碼應該不難。
5. 總結
本篇文章對 Dubbo 中的幾種負載均衡實現進行了詳細的分析，內容比較多，大家慢慢消化。理解負載均衡程式碼邏輯的關鍵之處在於對背景知識的理解，因此大家在閱讀原始碼前，務必先了解每種負載均衡對應的背景知識。
歡迎大家加入Java高階架構群 378461078