Dubbo 就是靠它嶄露頭角!(身為開源框架很重要的一點)
Hola,我是 yes。
經過了 RPC 核心和 Dubbo 微內核兩篇文章後,今天終於要稍稍深入一波 Dubbo 了。
作為一個通用的 RPC 框架,性能是很重要的一環,而易用性和擴展性也極為重要。
簡單地、無侵入式地擴展和訂製 RPC 各階段功能是很多團隊的述求,Dubbo 就滿足了這些需求。
它通過微內核設計和 SPI 擴展,使得一些有特殊需求的業務團隊可以在 Dubbo 中實現自己的擴展,而不需要修改源碼。
Dubbo 的成功離不開這樣的設計,今天咱們就來盤一盤 Dubbo 是如何實現無侵入擴展的,其間還會看到 Dubbo 的 IOC 和 AOP。
還有先打個預防針,今天的內容程式碼有點多的,畢竟想要深入剖析,源碼必不可少,剛好也順帶提一下看源碼的小技巧。
所以建議電腦上看,更加清晰和舒適。
還有如果有沒看過源碼的同學,來緊跟 Dubbo 這個系列吧,到時候再也不怕被面試官問看過源碼沒了。
SPI
Dubbo 就是利用 SPI (Service Provider Interface)來實現擴展機制的。
這個 SPI 想必你們都很熟悉,在大學寫資料庫大作業的時候就碰到了,訪問資料庫需要用到 java.sql.Driver
。
市面上的資料庫五花八門,每個資料庫廠商都有自己的實現,所以肯定需要訂製一個介面,這樣我們面向介面編程即可。
而具體的實現則可以通過配置來載入,JDK SPI 這時候就派上用場了。
其實一點都不神奇,就是約定一個地方,載入的時候就去那個地方找實現類。
約定一個地方直白點說就是程式碼裡面寫死了一個目錄,這個目錄就是 META-INF/services/
。
然後在這個目錄下創建一個文件,用介面全限定名來命名,文件內容就是實現類的全限定名。
到時候要實現類就根據介面名來這裡找,然後實例化就行了。
挺簡單的吧,這就是 JDK SPI,但是它不滿足 Dubbo 的需求。
因為 Dubbo 把自身的一些實現也剝離出來成為擴展,而這些實現還是有點多的,也不需要全部用上。
如果用 JDK SPI 會把配置文件裡面的類全部載入,這就導致資源的浪費。用的時候還需要遍歷過去才能找到對應的實現。
所以 Dubbo 就在 JDK SPI 的基礎上實現了個 Dubbo 的 SPI,可以根據指定的名稱按需載入實現類,比如拿 Cluster 來說就有這麼多實現類。
約定的地方改了一下,一共有三個目錄。
- META-INF/dubbo/internal/ :這裡是存放 Dubbo 內部使用的 SPI 配置文件。
- META-INF/dubbo/ :這裡是存放用戶自定義 SPI 配置文件。
- META-INF/services/:兼容 JDK SPI
然後文件裡面的內容是key=value
形式,這樣就可以根據 key 找到對應的實現類。
然後在註解上可以配置默認的 key 來選擇默認的實現類,比如 Cluster 默認的實現是 failover。
也可以通過 URL 參數來選擇實現類。
還有像 JDK SPI 擴展點載入失敗的話,連擴展點名稱都拿不到,到時候報錯也不知道哪裡出問題。
而 Dubbo SPI 則不會吃了錯誤,並且還提供了擴展點的自動注入和 AOP 功能。
大致了解了 Dubbo SPI 之後,我們再來深入看看實現細節。
Dubbo SPI 實現細節
Dubbo SPI 的核心實現在 ExtensionLoader 中,它負責擴展點的載入和生命周期的維護,類似 JDK SPI 的 ServiceLoader。
這裡要先提一點看源碼的小技巧了。
開源框架都會有單元測試,而單元測試裡面就會有我們看源碼時候想要的各種功能實現,我們就可以從單元測試入手得知一些功能的劃分,然後斷點調試逐漸深入。
比如今天文章的 ExtensionLoader ,它在 dubbo-common 模組中,咱們就進入 test 來看看它測試用例怎麼寫的。
當然除了通過文件夾來找,直接用文件名搜也行。
找到了就好辦了,數據都是造好的,找到你想要調試的方法,斷點一設,箭頭一點,這不就美滋滋了嗎?
好了,小技巧分享完畢,回到 ExtensionLoader,我們簡單點就用 Dubbo 單元測試的數據來看看實現。
有個叫 SimpleExt 的類,有三個實現,默認的實現是 impl1。
再來看看 SPI 配置文件的內容,可以看到為了測試還故意寫了一些空格在配置文件中。
然後現在如果要找 impl2 這個實現,通過以下程式碼調用即可。
SimpleExt ext = ExtensionLoader
.getExtensionLoader(SimpleExt.class).getExtension("impl2")
一個擴展介面對應有個 ExtensionLoader,找到對應的 ExtensionLoader,然後再載入對應名字的實現類。
接下來會有源碼,不過沒關係,還是很簡單的,想要深入源碼這關必須過。
可以看到getExtensionLoader
是靜態的,裡面邏輯也很簡單就是從快取找介面對應的 ExtensionLoader,找不到就新建一個返回。
現在有了 ExtensionLoader,咱們再來看看 getExtension 的邏輯,來看看是如何通過擴展點 name 找到對應的實現類的。
可以看到又是有個快取操作,邏輯非常簡單,先去快取找實例,如果沒有則創建實例。
要說細節就是用到了雙檢鎖,然後用 holder 來保證可見性和防止指令重排。應該看到注釋上的 holder 構造了吧,volatile 和雙檢鎖的搭配,這裡就不深入了。
我們來看看 createExtension,這是要創建擴展點了,程式碼有點長,但是我都做了相應的注釋,包括綠色的注釋。
邏輯還是很簡單的,詳細的程式碼沒有具體展示,我先口述一下。
- 通過介面類名去三個目錄找到對應的文件。
- 解析文件內容生成 class 對象,然後快取到 cachedClasses 中。
- 然後通過 name 去 cachedClasses 中找到對應的 class 對象。
- 去快取 EXTENSION_INSTANCES 看看是否已經實例化過了。
- 沒有的話就實例化,然後調用 injectExtension 實現自動注入。
- 再通過 cachedWrapperClasses 實現包裝,將最後的包裝類返回。
有幾點不清晰沒關係,咱們接著分析,腦海中先大概知道要做什麼,然後再來看看具體是怎麼做的。
源碼中的 loadDirectory 就是去目錄找文件,然後解析,最終會調用 loadClass,這個方法很關鍵,我們詳細分析一下,為了便於觀看,刪除了一些程式碼。
自適應咱們先略過,只要知道是在這裡記錄的即可。
然後上面提到的 AOP 相關的 cachedWrapperClasses 就是在這裡記錄的,如果判斷它是包裝類呢?
簡單粗暴但是有效,只要有當前類作為構造器參數的類就是包裝類,有點拗口,多讀幾遍就理解了。
現在我們再回過頭來看看這段程式碼,Dubbo 的 AOP。
把擴展類對應的包裝類都記錄下來放在 cachedWrapperClasses 中,然後在實例化擴展類的時候就一層一層的把擴展類包起來,最終返回的就是包裝類。
為什麼說這就是 AOP 呢?因為等於把一些邏輯切進了擴展實現類中。
其實就是把擴展對象的公共邏輯移到包裝類中,我們看下單元測試的例子就很清晰了。
從圖中可以看到有兩個擴展實現類,兩個包裝類,具體邏輯就不看了,不是重點,配置文件如下:
然後再看一下單元測試的運行結果,可以看到最終返回的其實是 Ext5Wrapper1 對象,並且它還包著 wrapper2 對象。
所以 echo 方法的調用鏈就是:
Ext5Wrapper1 ->Ext5Wrapper2->Ext5impl1
也就起到了 AOP 的效果。
接下來我們再來看看 injectExtension,是如何實現 Dubbo 的自動注入。
看了程式碼之後是不是有點失望,就這?
是的就是這麼樸素地判斷有沒有 set 方法,然後根據參數找到對象,執行 set 方法注入即可。
所以說源碼之下無秘密,看起來好像很高級的東西,就這。
上面程式碼中還有個objectFactory.getExtension()
,這個和擴展自適應有關係,還有個@Activate
也沒說。
這些內容還是有點多的,也很重要,感覺上可能還有點繞,所以單獨寫一篇說。
最後
Dubbo 就是靠自己實現的 SPI 機制把通訊協議、序列化格式、負載均衡、路由策略等各部分抽出來作為插件,實現擴展和訂製。
通過微內核和SPI 機制來滿足用戶訂製化的需求,也保證了框架本身的穩定性和可持續性。
並且 Dubbo 自身也提供了很多已有的實現,像各種路由策略等等。
所以說一個好的框架不僅自己功能要全,還得對擴展開放,這樣生態才會壯大。
今天的程式碼還是有點多的,如果看不懂的建議下載源碼,跟著源碼調試幾遍就清晰了。
源碼這一步一定要邁過去,邁過去了之後就輕鬆了。
Dubbo 系列持續更新,敬請期待,有問題可以留言,我會盡量解答。
歡迎關注我的個人公眾號,文章首發公眾號。
更多文章可看我的文章匯總://github.com/yessimida/yes 歡迎 star !
我是 yes,從一點點到億點點,歡迎在看、轉發、留言,我們下篇見。