你管這破玩意兒叫分佈式架構

大家好,我是坤哥

本文將介紹微服務架構和相關的組件,介紹他們是什麼以及爲什麼要使用微服務架構和這些組件。本文側重於簡明地表達微服務架構的全局圖景,因此不會涉及具體如何使用組件等細節。

要理解微服務,首先要先理解不是微服務的那些。通常跟微服務相對的是單體應用,即將所有功能都打包成在一個獨立單元的應用程序。從單體應用到微服務並不是一蹴而就的,這是一個逐漸演變的過程。本文將以一個網上超市應用爲例來說明這一過程。

最初的需求

幾年前,小明和小皮一起創業做網上超市。小明負責程序開發,小皮負責其他事宜。當時互聯網還不發達,網上超市還是藍海。只要功能實現了就能隨便賺錢。所以他們的需求很簡單,只需要一個網站掛在公網,用戶能夠在這個網站上瀏覽商品、購買商品;另外還需一個管理後臺,可以管理商品、用戶、以及訂單數據。

我們整理一下功能清單:

1)網站

2)管理後臺

由於需求簡單,小明左手右手一個慢動作,網站就做好了。管理後臺出於安全考慮,不和網站做在一起,小明右手左手慢動作重播,管理網站也做好了。總體架構圖如下:

小明揮一揮手,找了家雲服務部署上去,網站就上線了。上線後好評如潮,深受各類肥宅喜愛。小明小皮美滋滋地開始躺着收錢。

隨着業務發展……

好景不長,沒過幾天,各類網上超市緊跟着拔地而起,對小明小皮造成了強烈的衝擊。

在競爭的壓力下,小明小皮決定開展一些營銷手段:

這些活動都需要程序開發的支持。小明拉了同學小紅加入團隊。小紅負責數據分析以及移動端相關開發。小明負責促銷活動相關功能的開發。

因爲開發任務比較緊迫,小明小紅沒有好好規劃整個系統的架構,隨便拍了拍腦袋,決定把促銷管理和數據分析放在管理後臺裏,微信和移動端 APP 另外搭建。通宵了幾天後,新功能和新應用基本完工。這時架構圖如下:

這一階段存在很多不合理的地方:

儘管有着諸多問題,但也不能否認這一階段的成果:快速地根據業務變化建設了系統。不過**緊迫且繁重的任務容易使人陷入局部、短淺的思維方式,從而做出妥協式的決策。**在這種架構中,每個人都只關注在自己的一畝三分地,缺乏全局的、長遠的設計。長此以往,系統建設將會越來越困難,甚至陷入不斷推翻、重建的循環。

是時候做出改變了

幸好小明和小紅是有追求有理想的好青年。意識到問題後,小明和小紅從瑣碎的業務需求中騰出了一部分精力,開始梳理整體架構,針對問題準備着手改造。

要做改造,首先你需要有足夠的精力和資源。如果你的需求方(業務人員、項目經理、上司等)很強勢地一心追求需求進度,以至於你無法挪出額外的精力和資源的話,那麼你可能無法做任何事……

要做改造,首先你需要有足夠的精力和資源。如果你的需求方(業務人員、項目經理、上司等)很強勢地一心追求需求進度,以至於你無法挪出額外的精力和資源的話,那麼你可能無法做任何事……

在編程的世界中,最重要的便是抽象能力。微服務改造的過程實際上也是個抽象的過程。小明和小紅整理了網上超市的業務邏輯,抽象出公用的業務能力,做成幾個公共服務:

各個應用後臺只需從這些服務獲取所需的數據,從而刪去了大量冗餘的代碼,就剩個輕薄的控制層和前端。這一階段的架構如下:

這個階段只是將服務分開了,數據庫依然是共用的,所以一些煙囪式系統的缺點仍然存在:

如果一直保持共用數據庫的模式,則整個架構會越來越僵化,失去了微服務架構的意義。因此小明和小紅一鼓作氣,把數據庫也拆分了。所有持久化層相互隔離,由各個服務自己負責。另外,爲了提高系統的實時性,加入了消息隊列機制。架構如下:

完全拆分後各個服務可以採用異構的技術。比如數據分析服務可以使用數據倉庫作爲持久化層,以便於高效地做一些統計計算;商品服務和促銷服務訪問頻率比較大,因此加入了緩存機制等。

還有一種抽象出公共邏輯的方法是把這些公共邏輯做成公共的框架庫。這種方法可以減少服務調用的性能損耗。但是這種方法的管理成本非常高昂,很難保證所有應用版本的一致性。

數據庫拆分也有一些問題和挑戰:比如說跨庫級聯的需求,通過服務查詢數據顆粒度的粗細問題等。但是這些問題可以通過合理的設計來解決。總體來說,數據庫拆分是一個利大於弊的。

微服務架構還有一個技術外的好處,它使整個系統的分工更加明確,責任更加清晰,每個人專心負責爲其他人提供更好的服務。在單體應用的時代,公共的業務功能經常沒有明確的歸屬。最後要麼各做各的,每個人都重新實現了一遍;要麼是隨機一個人(一般是能力比較強或者比較熱心的人)做到他負責的應用裏面。

在後者的情況下,這個人在負責自己應用之外,還要額外負責給別人提供這些公共的功能——而這個功能本來是無人負責的,僅僅因爲他能力較強 / 比較熱心,就莫名地背鍋(這種情況還被美其名曰能者多勞)。結果最後大家都不願意提供公共的功能。長此以往,團隊裏的人漸漸變得各自爲政,不再關心全局的架構設計。

從這個角度上看,使用微服務架構同時也需要組織結構做相應的調整。所以說做微服務改造需要管理者的支持。

改造完成後,小明和小紅分清楚各自的鍋。兩人十分滿意,一切就像是麥克斯韋方程組一樣漂亮完美。

然而……

沒有銀彈

春天來了,萬物復甦,又到了一年一度的購物狂歡節。眼看着日訂單數量蹭蹭地上漲,小皮小明小紅喜笑顏開。可惜好景不長,樂極生悲,突然嘣的一下,系統掛了。

以往單體應用,排查問題通常是看一下日誌,研究錯誤信息和調用堆棧。而**微服務架構整個應用分散成多個服務,定位故障點非常困難。**小明一個臺機器一臺機器地查看日誌,一個服務一個服務地手工調用。經過十幾分鐘的查找,小明終於定位到故障點:促銷服務由於接收的請求量太大而停止響應了。其他服務都直接或間接地會調用促銷服務,於是也跟着宕機了。

**在微服務架構中,一個服務故障可能會產生雪崩效用,導致整個系統故障。**其實在節前,小明和小紅是有做過請求量評估的。按照預計,服務器資源是足以支持節日的請求量的,所以肯定是哪裏出了問題。不過形勢緊急,隨着每一分每一秒流逝的都是白花花的銀子,因此小明也沒時間排查問題,當機立斷在雲上新建了幾臺虛擬機,然後一臺一臺地部署新的促銷服務節點。幾分鐘的操作後,系統總算是勉強恢復正常了。整個故障時間內估計損失了幾十萬的銷售額,三人的心在滴血……

事後,小明簡單寫了個日誌分析工具(量太大了,文本編輯器幾乎打不開,打開了肉眼也看不過來),統計了促銷服務的訪問日誌,發現在故障期間,商品服務由於代碼問題,在某些場景下會對促銷服務發起大量請求。這個問題並不複雜,小明手指抖一抖,修復了這個價值幾十萬的 Bug。

問題是解決了,但誰也無法保證不會再發生類似的其他問題。微服務架構雖然邏輯設計上看是完美的,但就像積木搭建的華麗宮殿一樣,經不起風吹草動。微服務架構雖然解決了舊問題,也引入了新的問題:

小明小紅痛定思痛,決心好好解決這些問題。對故障的處理一般從兩方面入手,一方面儘量減少故障發生的概率,另一方面降低故障造成的影響。

監控 - 發現故障的徵兆

在高併發分佈式的場景下,故障經常是突然間就雪崩式爆發。所以必須建立完善的監控體系,儘可能發現故障的徵兆。

微服務架構中組件繁多,各個組件所需要監控的指標不同。比如 Redis 緩存一般監控佔用內存值、網絡流量,數據庫監控連接數、磁盤空間,業務服務監控併發數、響應延遲、錯誤率等。因此如果做一個大而全的監控系統來監控各個組件是不大現實的,而且擴展性會很差。一般的做法是讓各個組件提供報告自己當前狀態的接口(metrics 接口),這個接口輸出的數據格式應該是一致的。然後部署一個指標採集器組件,定時從這些接口獲取並保持組件狀態,同時提供查詢服務。最後還需要一個 UI,從指標採集器查詢各項指標,繪製監控界面或者根據閾值發出告警。

大部分組件都不需要自己動手開發,網絡上有開源組件。小明下載了 RedisExporter 和 MySQLExporter,這兩個組件分別提供了 Redis 緩存和 MySQL 數據庫的指標接口。微服務則根據各個服務的業務邏輯實現自定義的指標接口。然後小明採用 Prometheus 作爲指標採集器,Grafana 配置監控界面和郵件告警。這樣一套微服務監控系統就搭建起來了:

定位問題 - 鏈路跟蹤

在微服務架構下,一個用戶的請求往往涉及多個內部服務調用。爲了方便定位問題,需要能夠記錄每個用戶請求時,微服務內部產生了多少服務調用,及其調用關係。這個叫做鏈路跟蹤。

我們用一個 Istio 文檔裏的鏈路跟蹤例子來看看效果:

圖片來自 Istio 文檔

從圖中可以看到,這是一個用戶訪問 productpage 頁面的請求。在請求過程中,productpage 服務順序調用了 details 和 reviews 服務的接口。而 reviews 服務在響應過程中又調用了 ratings 的接口。整個鏈路跟蹤的記錄是一棵樹:

要實現鏈路跟蹤,每次服務調用會在 HTTP 的 HEADERS 中記錄至少記錄四項數據:

另外,還需要調用日誌收集與存儲的組件,以及展示鏈路調用的 UI 組件。

以上只是一個極簡的說明,關於鏈路跟蹤的理論依據可詳見 Google 的 Dapper

瞭解了理論基礎後,小明選用了 Dapper 的一個開源實現 Zipkin。然後手指一抖,寫了個 HTTP 請求的攔截器,在每次 HTTP 請求時生成這些數據注入到 HEADERS,同時異步發送調用日誌到 Zipkin 的日誌收集器中。這裏額外提一下,HTTP 請求的攔截器,可以在微服務的代碼中實現,也可以使用一個網絡代理組件來實現(不過這樣子每個微服務都需要加一層代理)。

鏈路跟蹤只能定位到哪個服務出現問題,不能提供具體的錯誤信息。查找具體的錯誤信息的能力則需要由日誌分析組件來提供。

分析問題 - 日誌分析

日誌分析組件應該在微服務興起之前就被廣泛使用了。即使單體應用架構,當訪問數變大、或服務器規模增多時,日誌文件的大小會膨脹到難以用文本編輯器進行訪問,更糟的是它們分散在多臺服務器上面。排查一個問題,需要登錄到各臺服務器去獲取日誌文件,一個一個地查找(而且打開、查找都很慢)想要的日誌信息。

因此,在應用規模變大時,我們需要一個日誌的 “搜索引擎”。以便於能準確地找到想要的日誌。另外,數據源一側還需要收集日誌的組件和展示結果的 UI 組件:

小明調查了一下,使用了大名鼎鼎的 ELK 日誌分析組件。ELK 是 Elasticsearch、Logstash 和 Kibana 三個組件的縮寫。

最後還有一個小問題是如何將日誌發送到 Logstash。一種方案是在日誌輸出的時候直接調用 Logstash 接口將日誌發送過去。這樣一來又(咦,爲啥要用 “又”)要修改代碼…… 於是小明選用了另一種方案:日誌仍然輸出到文件,每個服務裏再部署個 Agent 掃描日誌文件然後輸出給 Logstash。

網關 - 權限控制,服務治理

拆分成微服務後,出現大量的服務,大量的接口,使得整個調用關係亂糟糟的。經常在開發過程中,寫着寫着,忽然想不起某個數據應該調用哪個服務。或者寫歪了,調用了不該調用的服務,本來一個只讀的功能結果修改了數據……

爲了應對這些情況,微服務的調用需要一個把關的東西,也就是網關。在調用者和被調用者中間加一層網關,每次調用時進行權限校驗。另外,網關也可以作爲一個提供服務接口文檔的平臺。

使用網關有一個問題就是要決定在多大粒度上使用:最粗粒度的方案是整個微服務一個網關,微服務外部通過網關訪問微服務,微服務內部則直接調用;最細粒度則是所有調用,不管是微服務內部調用或者來自外部的調用,都必須通過網關。折中的方案是按照業務領域將微服務分成幾個區,區內直接調用,區間通過網關調用。

由於整個網上超市的服務數量還不算特別多,小明採用的最粗粒度的方案:

服務註冊與發現 - 動態擴容

前面的組件,都是旨在降低故障發生的可能性。然而故障總是會發生的,所以另一個需要研究的是如何降低故障產生的影響。

最粗暴的(也是最常用的)故障處理策略就是冗餘。一般來說,一個服務都會部署多個實例,這樣一來能夠分擔壓力提高性能,二來即使一個實例掛了其他實例還能響應。

冗餘的一個問題是使用幾個冗餘?這個問題在時間軸上並沒有一個切確的答案。根據服務功能、時間段的不同,需要不同數量的實例。比如在平日裏,可能 4 個實例已經夠用;而在促銷活動時,流量大增,可能需要 40 個實例。因此冗餘數量並不是一個固定的值,而是根據需要實時調整的。

一般來說新增實例的操作爲:

操作只有兩步,但如果註冊到負載均衡或 DNS 的操作爲人工操作的話,那事情就不簡單了。想想新增 40 個實例後,要手工輸入 40 個 IP 的感覺……

解決這個問題的方案是服務自動註冊與發現。首先,需要部署一個服務發現服務,它提供所有已註冊服務的地址信息的服務。DNS 也算是一種服務發現服務。然後各個應用服務在啓動時自動將自己註冊到服務發現服務上。並且應用服務啓動後會實時(定期)從服務發現服務同步各個應用服務的地址列表到本地。服務發現服務也會定期檢查應用服務的健康狀態,去掉不健康的實例地址。這樣新增實例時只需要部署新實例,實例下線時直接關停服務即可,服務發現會自動檢查服務實例的增減。

服務發現還會跟客戶端負載均衡配合使用。由於應用服務已經同步服務地址列表在本地了,所以訪問微服務時,可以自己決定負載策略。甚至可以在服務註冊時加入一些元數據(服務版本等信息),客戶端負載則根據這些元數據進行流量控制,實現 A/B 測試、藍綠髮布等功能。

服務發現有很多組件可以選擇,比如說 Zookeeper 、Eureka、Consul、Etcd 等。不過小明覺得自己水平不錯,想炫技,於是基於 Redis 自己寫了一個……

熔斷、服務降級、限流

熔斷

當一個服務因爲各種原因停止響應時,調用方通常會等待一段時間,然後超時或者收到錯誤返回。如果調用鏈路比較長,可能會導致請求堆積,整條鏈路佔用大量資源一直在等待下游響應。所以當多次訪問一個服務失敗時,應熔斷,標記該服務已停止工作,直接返回錯誤。直至該服務恢復正常後再重新建立連接。

圖片來自《微服務設計》

服務降級

當下遊服務停止工作後,如果該服務並非核心業務,則上游服務應該降級,以保證核心業務不中斷。比如網上超市下單界面有一個推薦商品湊單的功能,當推薦模塊掛了後,下單功能不能一起掛掉,只需要暫時關閉推薦功能即可。

限流

一個服務掛掉後,上游服務或者用戶一般會習慣性地重試訪問。這導致一旦服務恢復正常,很可能因爲瞬間網絡流量過大又立刻掛掉,在棺材裏重複着仰臥起坐。因此服務需要能夠自我保護——限流。限流策略有很多,最簡單的比如當單位時間內請求數過多時,丟棄多餘的請求。另外,也可以考慮分區限流。僅拒絕來自產生大量請求的服務的請求。例如商品服務和訂單服務都需要訪問促銷服務,商品服務由於代碼問題發起了大量請求,促銷服務則只限制來自商品服務的請求,來自訂單服務的請求則正常響應。

測試

微服務架構下,測試分爲三個層次:

三種測試從上到下實施的容易程度遞增,但是測試效果遞減。端到端測試最費時費力,但是通過測試後我們對系統最有信心。單元測試最容易實施,效率也最高,但是測試後不能保證整個系統沒有問題。

由於端到端測試實施難度較大,一般只對核心功能做端到端測試。一旦端到端測試失敗,則需要將其分解到單元測試:則分析失敗原因,然後編寫單元測試來重現這個問題,這樣未來我們便可以更快地捕獲同樣的錯誤。

服務測試的難度在於服務會經常依賴一些其他服務。這個問題可以通過 Mock Server 解決:

單元測試大家都很熟悉了。我們一般會編寫大量的單元測試(包括迴歸測試)儘量覆蓋所有代碼。

微服務框架

指標接口、鏈路跟蹤注入、日誌引流、服務註冊發現、路由規則等組件以及熔斷、限流等功能都需要在應用服務上添加一些對接代碼。如果讓每個應用服務自己實現是非常耗時耗力的。基於 DRY 的原則,小明開發了一套微服務框架,將與各個組件對接的代碼和另外一些公共代碼抽離到框架中,所有的應用服務都統一使用這套框架進行開發。

使用微服務框架可以實現很多自定義的功能。甚至可以將程序調用堆棧信息注入到鏈路跟蹤,實現代碼級別的鏈路跟蹤。或者輸出線程池、連接池的狀態信息,實時監控服務底層狀態。

使用統一的微服務框架有一個比較嚴重的問題:框架更新成本很高。每次框架升級,都需要所有應用服務配合升級。當然,一般會使用兼容方案,留出一段並行時間等待所有應用服務升級。但是如果應用服務非常多時,升級時間可能會非常漫長。並且有一些很穩定幾乎不更新的應用服務,其負責人可能會拒絕升級…… 因此,使用統一微服務框架需要完善的版本管理方法和開發管理規範。

另一條路 - Service Mesh

另一種抽象公共代碼的方法是直接將這些代碼抽象到一個反向代理組件。每個服務都額外部署這個代理組件,所有出站入站的流量都通過該組件進行處理和轉發。這個組件被稱爲 Sidecar。

Sidecar 不會產生額外網絡成本。Sidecar 會和微服務節點部署在同一臺主機上並且共用相同的虛擬網卡。所以 sidecar 和微服務節點的通信實際上都只是通過內存拷貝實現的。

圖片來自:Pattern: Service Mesh

Sidecar 只負責網絡通信。還需要有個組件來統一管理所有 sidecar 的配置。在 Service Mesh 中,負責網絡通信的部分叫數據平面(data plane),負責配置管理的部分叫控制平面(control plane)。數據平面和控制平面構成了 Service Mesh 的基本架構。

圖片來自:Pattern: Service Mesh

Sevice Mesh 相比於微服務框架的優點在於它不侵入代碼,升級和維護更方便。它經常被詬病的則是性能問題。即使迴環網絡不會產生實際的網絡請求,但仍然有內存拷貝的額外成本。另外有一些集中式的流量處理也會影響性能。

結束、也是開始

微服務不是架構演變的終點。往細走還有 Serverless、FaaS 等方向。另一方面也有人在唱合久必分分久必合,重新發現單體架構……

來源:www.cnblogs.com/skabyy/p/11396571.html

本文由 Readfog 進行 AMP 轉碼,版權歸原作者所有。
來源https://mp.weixin.qq.com/s/laNrYq-AxN7mWoOf9cyyjw