一文帶你搞懂 Kafka 的系統架構(深度好文,值得收藏)

Data跳動發表於2022-05-20

Kafka 簡介

Kafka 是一種高吞吐、分散式、基於釋出和訂閱模型的訊息系統,最初是由 LinkedIn 公司採用 Scala 和 java 開發的開源流處理軟體平臺,目前是 Apache 的開源專案。

Kafka 用於離線和線上訊息的消費,將訊息資料按順序儲存在磁碟上,並在叢集內以副本的形式儲存以防止資料丟失。Kafka 可以依賴 ZooKeeper 進行叢集管理,並且受到越來越多的分散式處理系統的青睞,比如 Storm、Spark、Flink 等都支援與 Kafka 整合,用於實時流式計算。

Kafka 開發者 Jay Kreps 提及關於 Kafka 名字的由來:
“ 因為 Kafka 系統的寫效能很強,所以找一個作家的名字來命名似乎是個好主意,大學期間我上了很多文學課,非常喜歡 Franz Kafka 這個作家,另外,這個名字聽上去也很酷~~ ”

訊息佇列是幹什麼的?

學習 Kafka 不可避免地要認識下訊息佇列,也就是我們常提到的 MQ(Message Queue),因為 Kafka 本質上也是一個訊息佇列。

那麼訊息佇列又是什麼呢?先來看一個比較官方的回答。

訊息佇列是一種程式間通訊或者同一個程式中不同執行緒間的通訊方式,主要解決非同步處理、應用耦合、流量消峰等問題,實現高效能、高可用、可伸縮和最終一致性架構,是大型分散式系統不可缺少的中介軟體。

再說的直觀點,如下圖,系統 A 將訊息釋出到 MQ,然後系統 B 再從 MQ 取訊息。
在這裡插入圖片描述
那麼,為什麼系統 A 不直接發訊息給系統 B ,中間還要隔一個 MQ 呢?這就要看下 MQ 的三個主要功能了。

1)非同步處理

訊息佇列提供了非同步處理機制,因為很多時候使用者並不需要立即響應來處理訊息,那麼通過這個機制就可以把所有訊息放入 MQ 中。比如,某系統發來的資料中包含很多圖片資訊,如果對其中的資訊都進行儲存處理,使用者一番操作下來可能會很久。採用非同步處理之後,系統會將所有資料存放在 MQ 中,使用者不需要立即處理,大大縮短了系統的響應時間。
在這裡插入圖片描述
2)應用解耦

訊息佇列可以對系統間的依賴進行解耦,降低依賴系統變更帶來的影響。比如,使用者在下單後,訂單系統A需要通知系統B、系統C等做出響應的處理。傳統的做法,如下圖所示。
在這裡插入圖片描述
此時的系統A是強依賴系統B和系統C的,一旦系統B出現故障或者需要重新加入高耦合的系統D時,就必須要更改系統A的程式碼。
在這裡插入圖片描述
如果經常出現這種依賴系統迭代的情況,那麼系統A就會很難維護,可以通過訊息佇列對依賴系統進行解耦(如下圖),這樣系統A也無需關心其他系統的可用性。
在這裡插入圖片描述
3)流量削峰

流量削峰還有個形象的名字叫做削峰填谷,其實就是指當資料量激增時,能夠有效地隔離上下游業務,將上游突增的流量快取起來,真正地填到谷中,以平滑的方式傳到下游系統,避免了流量的不規則衝擊。

比如,有個活動頁面平時也就 50qps,某一特殊時刻訪問量突然增多,能達到 1000qps,但是當前系統的處理能力最多為 100qps,這個時候可以通過訊息佇列來進行削峰填谷,如下圖所示。
在這裡插入圖片描述
當然,Kafka 除了以上 MQ 這些功能之外,還提供了訊息順序性保障、回溯訊息、持久化儲存等功能,這個在後續文章中會詳細講解。

MQ 的兩種傳輸模式

訊息在 MQ 中有兩種傳輸模型,分別是點對點(point to point)和釋出/訂閱(publish/subscribe)模型。

1)點對點模型

如圖所示,系統A傳送的訊息只能被系統B接收,其他的任何系統都不能獲取到系統A傳送的訊息。在日常生活中就像A撥通了B的電話,其他人是不可能接聽到的。
在這裡插入圖片描述

2)釋出/訂閱模型

與點對點模型的區別在於釋出/訂閱模型多了一個 topic 的概念,可以存在多個釋出者向相同主題傳送訊息,而訂閱者也可以存在多個,接收相同主題的訊息。在日常生活中就像不同主題的報紙期刊,同時也有不同群體的讀者來訂閱。
在這裡插入圖片描述
那麼 Kafka 屬於哪種呢,事實上 Kafka 可以同時支援這兩種傳輸模型,這個後面會講。

Kafka 系統架構

終於到主角登場了,一個典型的Kafka 系統架構會包括 Producer、broker、Cosumer 等角色,以及一個 ZooKeeper 叢集,先上個圖。
在這裡插入圖片描述

  • Producer:生產者,負責將客戶端生產的訊息傳送到 Kafka 中,可以支援訊息的非同步傳送和批量傳送;
  • broker:服務代理節點,Kafka 叢集中的一臺伺服器就是一個 broker,可以水平無限擴充套件,同一個 Topic 的訊息可以分佈在多個 broker 中;
  • Consumer:消費者,通過連線到 Kafka 上來接收訊息,用於相應的業務邏輯處理。
  • ZooKeeper:不廢話了~不認識它的可以翻下我前面發的文章,一文搞定 ZooKeeper;
  • Consumer Group:消費者組,指的是多個消費者共同組成一個組來消費一個 Topic 中的訊息。

前面提到 Kafka 同時支援兩種訊息傳輸模型,其中實現點對點模型的方式就是引入了 Consumer Group,目的主要是讓多個消費者同時消費,可以加速整個消費者端的吞吐量。

需要注意的是:一個 Topic 中的一個分割槽只能被同一個 Consumer Group 中的一個消費者消費,其他消費者不能進行消費。這裡的一個消費者,指的是執行消費者應用的程式,也可以是一個執行緒。

在整個 Kafka 叢集中 Producer 將訊息傳送給 broker,然後 broker 再將接收到的訊息儲存到磁碟中,然後 Consumer 再從 Broker 訂閱並消費訊息。ZooKeeper 則是 Kafka 叢集用來負責叢集後設資料的管理、控制器的選舉等操作的。

Kafka 中的重要概念

1)Topic 與 Partition

在 Kafka 中訊息是以 Topic 為單位進行歸類的,Topic 在邏輯上可以被認為是一個 Queue,Producer 生產的每一條訊息都必須指定一個 Topic,然後 Consumer 會根據訂閱的 Topic 到對應的 broker 上去拉取訊息。

為了提升整個叢集的吞吐量,Topic 在物理上還可以細分多個分割槽,一個分割槽在磁碟上對應一個資料夾。由於一個分割槽只屬於一個主題,很多時候也會被叫做主題分割槽(Topic-Partition)。

2)Leader 和 Follower

一個分割槽會有多個副本,副本之間是一主(Leader)多從(Follower)的關係,Leader 對外提供服務,這裡的對外指的是與客戶端程式進行互動,而 Follower 只是被動地同步 Leader 而已,不能與外界進行互動。

當然了,你可能知道在很多其他系統中 Follower 是可以對外提供服務的,比如 MySQL 的從庫是可以處理讀操作的,但是在 Kafka 中 Follower 只負責訊息同步,不會對外提供服務。

一個有意思的事情是現在已經不提倡使用Master-Slave來指代這種主從關係了,畢竟Slave有奴隸的意思,在美國這種嚴禁種族歧視的國度,這種表述有點政治不正確了,所以目前大部分的系統都改成Leader-Follower了。

Kafka 多副本機制

Kafka 為分割槽引入了多副本機制,同一分割槽的不同副本中儲存的資訊是相同的,通過多副本機制實現了故障的自動轉移,當叢集中某個 broker 失效時仍然能保證服務可用,可以提升容災能力。

如圖所示,Kafka 叢集中有4個 broker,某個 Topic 有三個分割槽,假設副本因子也有設定為3,那麼每個分割槽就會有一個 Leader 和兩個 Follower 副本。

在這裡插入圖片描述
副本處於不同 broker 中,生產者與消費者只和 Leader 副本進行互動,而 Follower 副本只負責訊息的同步。當 Leader 副本出現故障時,會從 Follower 副本中重新選舉新的 Leader 副本對外提供服務。

接下來我們來了解 Kafka 多副本機制中的一些重要術語。

  • AR(Assigned Replicas):一個分割槽中的所有副本統稱為 AR;
  • ISR(In-Sync Replicas):Leader 副本和所有保持一定程度同步的 Follower 副本(包括 Leader 本身)組成 ISR;
  • OSR(Out-of-Sync Raplicas):與 ISR 相反,沒有與 Leader 副本保持一定程度同步的所有Follower 副本組成OSR;

首先,生產者會將訊息傳送給 Leader 副本,然後 Follower 副本才能從 Leader 中拉取訊息進行同步,在同一時刻,所有副本中的訊息不完全相同,也就是說同步期間,Follower 相對於 Leader 而言會有一定程度上的滯後,當然這個滯後程度是可以通過引數來配置的。

那麼,我們就可以釐清了它們三者的關係:AR = ISR + OSR。

Leader 負責維護和跟蹤 ISR 集合中所有 Follower 副本的滯後狀態,當 Follower 出現滯後太多或者失效時,Leader 將會把它從 ISR 集合中剔除。

當然,如果 OSR 集合中有 Follower 同步範圍追上了 Leader,那麼 Leader 也會把它從 OSR 集合中轉移至 ISR 集合。

一般情況下,當 Leader 傳送故障或失效時,只有 ISR 集合中的 Follower 才有資格被選舉為新的 Leader,而 OSR 集合中的 Follower 則沒有這個機會(不過可以修改引數配置來改變)。


最後

獲取本文PDF版的方式,關注:Data跳動,回覆:Kafka123。

另外,非常歡迎大家加我VX:Abox_0226 ,備註「進群」,有關大資料技術的問題在群裡一起探討。 
 

相關文章