原文鏈接:https://mp.weixin.qq.com/s/zxPz_aFEMrshApZQ727h4g**
引言
MQ(消息隊列)是跨進程通信的方式之一,可理解為異步rpc,上游系統對調用結果的態度往往是重要不緊急。使用消息隊列有以下好處:業務解耦、流量削峰、靈活擴展。接下來介紹消息中間件Kafka。
Kafka是什么?
Kafka是一個分布式的消息引擎。具有以下特征
能夠發布和訂閱消息流(類似於消息隊列)
以容錯的、持久的方式存儲消息流
多分區概念,提高了並行能力
Kafka架構總覽
Topic
消息的主題、隊列,每一個消息都有它的topic,Kafka通過topic對消息進行歸類。Kafka中可以將Topic從物理上划分成一個或多個分區(Partition),每個分區在物理上對應一個文件夾,以”topicName_partitionIndex”的命名方式命名,該dir包含了這個分區的所有消息(.log)和索引文件(.index),這使得Kafka的吞吐率可以水平擴展。
Partition
每個分區都是一個 順序的、不可變的消息隊列, 並且可以持續的添加;分區中的消息都被分了一個序列號,稱之為偏移量(offset),在每個分區中此偏移量都是唯一的。
producer在發布消息的時候,可以為每條消息指定Key,這樣消息被發送到broker時,會根據分區算法把消息存儲到對應的分區中(一個分區存儲多個消息),如果分區規則設置的合理,那么所有的消息將會被均勻的分布到不同的分區中,這樣就實現了負載均衡。
Broker
Kafka server,用來存儲消息,Kafka集群中的每一個服務器都是一個Broker,消費者將從broker拉取訂閱的消息
Producer
向Kafka發送消息,生產者會根據topic分發消息。生產者也負責把消息關聯到Topic上的哪一個分區。最簡單的方式從分區列表中輪流選擇。也可以根據某種算法依照權重選擇分區。算法可由開發者定義。
Cousumer
Consermer實例可以是獨立的進程,負責訂閱和消費消息。消費者用consumerGroup來標識自己。同一個消費組可以並發地消費多個分區的消息,同一個partition也可以由多個consumerGroup並發消費,但是在consumerGroup中一個partition只能由一個consumer消費
CousumerGroup
Consumer Group:同一個Consumer Group中的Consumers,Kafka將相應Topic中的每個消息只發送給其中一個Consumer
Kafka producer 設計原理
發送消息的流程
1.序列化消息&&.計算partition
根據key和value的配置對消息進行序列化,然后計算partition:
ProducerRecord對象中如果指定了partition,就使用這個partition。否則根據key和topic的partition數目取余,如果key也沒有的話就隨機生成一個counter,使用這個counter來和partition數目取余。這個counter每次使用的時候遞增。
2發送到batch&&喚醒Sender 線程
根據topic-partition獲取對應的batchs(Dueue
3.Sender把消息有序發到 broker(tp replia leader)
3.1 確定tp relica leader 所在的broker
Kafka中 每台broker都保存了kafka集群的metadata信息,metadata信息里包括了每個topic的所有partition的信息: leader, leader_epoch, controller_epoch, isr, replicas等;Kafka客戶端從任一broker都可以獲取到需要的metadata信息;sender線程通過metadata信息可以知道tp leader的brokerId
producer也保存了metada信息,同時根據metadata更新策略(定期更新metadata.max.age.ms、失效檢測,強制更新:檢查到metadata失效以后,調用metadata.requestUpdate()強制更新
public class PartitionInfo {
private final String topic; private final int partition;
private final Node leader; private final Node[] replicas;
private final Node[] inSyncReplicas; private final Node[] offlineReplicas;
}
3.2 冪等性發送
為實現Producer的冪等性,Kafka引入了Producer ID(即PID)和Sequence Number。對於每個PID,該Producer發送消息的每個<Topic, Partition>都對應一個單調遞增的Sequence Number。同樣,Broker端也會為每個<PID, Topic, Partition>維護一個序號,並且每Commit一條消息時將其對應序號遞增。對於接收的每條消息,如果其序號比Broker維護的序號)大一,則Broker會接受它,否則將其丟棄:
如果消息序號比Broker維護的序號差值比一大,說明中間有數據尚未寫入,即亂序,此時Broker拒絕該消息,Producer拋出InvalidSequenceNumber
如果消息序號小於等於Broker維護的序號,說明該消息已被保存,即為重復消息,Broker直接丟棄該消息,Producer拋出DuplicateSequenceNumber
Sender發送失敗后會重試,這樣可以保證每個消息都被發送到broker
4. Sender處理broker發來的produce response
一旦broker處理完Sender的produce請求,就會發送produce response給Sender,此時producer將執行我們為send()設置的回調函數。至此producer的send執行完畢。
吞吐性&&延時:
buffer.memory:buffer設置大了有助於提升吞吐性,但是batch太大會增大延遲,可搭配linger_ms參數使用
linger_ms:如果batch太大,或者producer qps不高,batch添加的會很慢,我們可以強制在linger_ms時間后發送batch數據
ack:producer收到多少broker的答復才算真的發送成功
0表示producer無需等待leader的確認(吞吐最高、數據可靠性最差)
1代表需要leader確認寫入它的本地log並立即確認
-1/all 代表所有的ISR都完成后確認(吞吐最低、數據可靠性最高)
Sender線程和長連接
每初始化一個producer實例,都會初始化一個Sender實例,新增到broker的長連接。
代碼角度:每初始化一次KafkaProducer,都賦一個空的client
public KafkaProducer(final Map<String, Object> configs) {
this(configs, null, null, null, null, null, Time.SYSTEM);
}
終端查看TCP連接數:
lsof -p portNum -np | grep TCP
Consumer設計原理
poll消息
- 消費者通過fetch線程拉消息(單線程)
- 消費者通過心跳線程來與broker發送心跳。超時會認為掛掉
- 每個consumer
group在broker上都有一個coordnator來管理,消費者加入和退出,以及消費消息的位移都由coordnator處理。
位移管理
consumer的消息位移代表了當前group對topic-partition的消費進度,consumer宕機重啟后可以繼續從該offset開始消費。
在kafka0.8之前,位移信息存放在zookeeper上,由於zookeeper不適合高並發的讀寫,新版本Kafka把位移信息當成消息,發往__consumers_offsets 這個topic所在的broker,__consumers_offsets默認有50個分區。
消息的key 是groupId+topic_partition,value 是offset.
Kafka Group 狀態
- Empty:初始狀態,Group 沒有任何成員,如果所有的 offsets 都過期的話就會變成 Dead
- PreparingRebalance:Group 正在准備進行 Rebalance
- AwaitingSync:Group 正在等待來 group leader 的 分配方案
- Stable:穩定的狀態(Group is stable);
- Dead:Group 內已經沒有成員,並且它的 Metadata 已經被移除
重平衡reblance
當一些原因導致consumer對partition消費不再均勻時,kafka會自動執行reblance,使得consumer對partition的消費再次平衡。
什么時候發生rebalance?:
- 組訂閱topic數變更
- topic partition數變更
- consumer成員變更
- consumer 加入群組或者離開群組的時候
- consumer被檢測為崩潰的時候
reblance過程
舉例1 consumer被檢測為崩潰引起的reblance
比如心跳線程在timeout時間內沒和broker發送心跳,此時coordnator認為該group應該進行reblance。接下來其他consumer發來fetch請求后,coordnator將回復他們進行reblance通知。當consumer成員收到請求后,只有leader會根據分配策略進行分配,然后把各自的分配結果返回給coordnator。這個時候只有consumer leader返回的是實質數據,其他返回的都為空。收到分配方法后,consumer將會把分配策略同步給各consumer
舉例2 consumer加入引起的reblance
使用join協議,表示有consumer 要加入到group中
使用sync 協議,根據分配規則進行分配
(上圖圖片摘自網絡)
引申:以上reblance機制存在的問題
在大型系統中,一個topic可能對應數百個consumer實例。這些consumer陸續加入到一個空消費組將導致多次的rebalance;此外consumer 實例啟動的時間不可控,很有可能超出coordinator確定的rebalance timeout(即max.poll.interval.ms),將會再次觸發rebalance,而每次rebalance的代價又相當地大,因為很多狀態都需要在rebalance前被持久化,而在rebalance后被重新初始化。
新版本改進
通過延遲進入PreparingRebalance狀態減少reblance次數
新版本新增了group.initial.rebalance.delay.ms參數。空消費組接受到成員加入請求時,不立即轉化到PreparingRebalance狀態來開啟reblance。當時間超過group.initial.rebalance.delay.ms后,再把group狀態改為PreparingRebalance(開啟reblance)。實現機制是在coordinator底層新增一個group狀態:InitialReblance。假設此時有多個consumer陸續啟動,那么group狀態先轉化為InitialReblance,待group.initial.rebalance.delay.ms時間后,再轉換為PreparingRebalance(開啟reblance)
Broker設計原理
Broker 是Kafka 集群中的節點。負責處理生產者發送過來的消息,消費者消費的請求。以及集群節點的管理等。由於涉及內容較多,先簡單介紹,后續專門抽出一篇文章分享
broker zk注冊
broker消息存儲
Kafka的消息以二進制的方式緊湊地存儲,節省了很大空間
此外消息存在ByteBuffer而不是堆,這樣broker進程掛掉時,數據不會丟失,同時避免了gc問題
通過零拷貝和順序尋址,讓消息存儲和讀取速度都非常快
處理fetch請求的時候通過zero-copy 加快速度
broker狀態數據
broker設計中,每台機器都保存了相同的狀態數據。主要包括以下:
controller所在的broker ID,即保存了當前集群中controller是哪台broker
集群中所有broker的信息:比如每台broker的ID、機架信息以及配置的若干組連接信息
集群中所有節點的信息:嚴格來說,它和上一個有些重復,不過此項是按照broker ID和***類型進行分組的。對於超大集群來說,使用這一項緩存可以快速地定位和查找給定節點信息,而無需遍歷上一項中的內容,算是一個優化吧
集群中所有分區的信息:所謂分區信息指的是分區的leader、ISR和AR信息以及當前處於offline狀態的副本集合。這部分數據按照topic-partitionID進行分組,可以快速地查找到每個分區的當前狀態。(注:AR表示assigned replicas,即創建topic時為該分區分配的副本集合)
broker負載均衡
分區數量負載:各台broker的partition數量應該均勻
partition Replica分配算法如下:
將所有Broker(假設共n個Broker)和待分配的Partition排序
將第i個Partition分配到第(i mod n)個Broker上
將第i個Partition的第j個Replica分配到第((i + j) mod n)個Broker上
容量大小負載:每台broker的硬盤占用大小應該均勻
在kafka1.1之前,Kafka能夠保證各台broker上partition數量均勻,但由於每個partition內的消息數不同,可能存在不同硬盤之間內存占用差異大的情況。在Kafka1.1中增加了副本跨路徑遷移功能kafka-reassign-partitions.sh,我們可以結合它和監控系統,實現自動化的負載均衡
Kafka高可用
在介紹kafka高可用之前先介紹幾個概念
同步復制:要求所有能工作的Follower都復制完,這條消息才會被認為commit,這種復制方式極大的影響了吞吐率
異步復制:Follower異步的從Leader pull數據,data只要被Leader寫入log認為已經commit,這種情況下如果Follower落后於Leader的比較多,如果Leader突然宕機,會丟失數據
Isr
Kafka結合同步復制和異步復制,使用ISR(與Partition Leader保持同步的Replica列表)的方式在確保數據不丟失和吞吐率之間做了平衡。Producer只需把消息發送到Partition Leader,Leader將消息寫入本地Log。Follower則從Leader pull數據。Follower在收到該消息向Leader發送ACK。一旦Leader收到了ISR中所有Replica的ACK,該消息就被認為已經commit了,Leader將增加HW並且向Producer發送ACK。這樣如果leader掛了,只要Isr中有一個replica存活,就不會丟數據。
Isr動態更新
Leader會跟蹤ISR,如果ISR中一個Follower宕機,或者落后太多,Leader將把它從ISR中移除。這里所描述的“落后太多”指Follower復制的消息落后於Leader后的條數超過預定值(replica.lag.max.messages)或者Follower超過一定時間(replica.lag.time.max.ms)未向Leader發送fetch請求。
broker Nodes In Zookeeper
/brokers/topics/[topic]/partitions/[partition]/state 保存了topic-partition的leader和Isr等信息
Controller負責broker故障檢查&&故障轉移(fail/recover)
- Controller在Zookeeper上注冊Watch,一旦有Broker宕機,其在Zookeeper對應的znode會自動被刪除,Zookeeper會觸發
Controller注冊的watch,Controller讀取最新的Broker信息 - Controller確定set_p,該集合包含了宕機的所有Broker上的所有Partition
- 對set_p中的每一個Partition,選舉出新的leader、Isr,並更新結果。
3.1 從/brokers/topics/[topic]/partitions/[partition]/state讀取該Partition當前的ISR
3.2 決定該Partition的新Leader和Isr。如果當前ISR中有至少一個Replica還幸存,則選擇其中一個作為新Leader,新的ISR則包含當前ISR中所有幸存的Replica。否則選擇該Partition中任意一個幸存的Replica作為新的Leader以及ISR(該場景下可能會有潛在的數據丟失)
3.3 更新Leader、ISR、leader_epoch、controller_epoch:寫入/brokers/topics/[topic]/partitions/[partition]/state
- 直接通過RPC向set_p相關的Broker發送LeaderAndISRRequest命令。Controller可以在一個RPC操作中發送多個命令從而提高效率。
Controller掛掉
每個 broker 都會在 zookeeper 的臨時節點 "/controller" 注冊 watcher,當 controller 宕機時 "/controller" 會消失,觸發broker的watch,每個 broker 都嘗試創建新的 controller path,只有一個競選成功並當選為 controller。
使用Kafka如何保證冪等性
不丟消息
首先kafka保證了對已提交消息的at least保證
Sender有重試機制
producer業務方在使用producer發送消息時,注冊回調函數。在onError方法中重發消息
consumer 拉取到消息后,處理完畢再commit,保證commit的消息一定被處理完畢
不重復
consumer拉取到消息先保存,commit成功后刪除緩存數據
Kafka高性能
partition提升了並發
zero-copy
順序寫入
消息聚集batch
頁緩存
業務方對 Kafka producer的優化
增大producer數量
ack配置
batch
原文鏈接:https://mp.weixin.qq.com/s/zxPz_aFEMrshApZQ727h4g **
如果喜歡我的文章,歡迎掃碼關注