掃二維碼與項(xiàng)目經(jīng)理溝通
我們在微信上24小時期待你的聲音
解答本文疑問/技術(shù)咨詢/運(yùn)營咨詢/技術(shù)建議/互聯(lián)網(wǎng)交流
你好，我是碼哥，可以叫我靚仔
作者：mo
在探究 Kafka 核心知識之前，我們先思考一個問題：什么場景會促使我們使用 Kafka? 說到這里，我們頭腦中或多或少會蹦出異步解耦和削峰填谷等字樣，是的，這就是 Kafka 最重要的落地場景。
異步解耦：同步調(diào)用轉(zhuǎn)換成異步消息通知，實(shí)現(xiàn)生產(chǎn)者和消費(fèi)者的解耦。想象一個場景，在商品交易時，在訂單創(chuàng)建完成之后，需要觸發(fā)一系列其他的操作，比如進(jìn)行用戶訂單數(shù)據(jù)的統(tǒng)計(jì)、給用戶發(fā)送短信、給用戶發(fā)送郵件等等。如果所有操作都采用同步方式實(shí)現(xiàn)，將嚴(yán)重影響系統(tǒng)性能。針對此場景，我們可以利用消息中間件解耦訂單創(chuàng)建操作和其他后續(xù)行為。
削峰填谷：利用 broker 緩沖上游生產(chǎn)者瞬時突發(fā)的流量，使消費(fèi)者消費(fèi)流量整體平滑。對于發(fā)送能力很強(qiáng)的上游系統(tǒng)，如果沒有消息中間件的保護(hù)，下游系統(tǒng)可能會直接被壓垮導(dǎo)致全鏈路服務(wù)雪崩。想象秒殺業(yè)務(wù)場景，上游業(yè)務(wù)發(fā)起下單請求，下游業(yè)務(wù)執(zhí)行秒殺業(yè)務(wù)（庫存檢查，庫存凍結(jié)，余額凍結(jié)，生成訂單等等），下游業(yè)務(wù)處理的邏輯是相當(dāng)復(fù)雜的，并發(fā)能力有限，如果上游服務(wù)不做限流策略，瞬時可能把下游服務(wù)壓垮。針對此場景，我們可以利用 MQ 來做削峰填谷，讓高峰流量填充低谷空閑資源，達(dá)到系統(tǒng)資源的合理利用。
通過上述例子可以發(fā)現(xiàn)交易、支付等場景常需要異步解耦和削峰填谷功能解決問題，而交易、支付等場景對性能、可靠性要求特別高。那么，我們本文的主角 Kafka 能否滿足相應(yīng)要求呢？下面我們來探討下。
在探究 Kafka 的高性能、高可靠性之前，我們從宏觀上來看下 Kafka 的系統(tǒng)架構(gòu)：
如上圖所示，Kafka 由 Producer、Broker、Consumer 以及負(fù)責(zé)集群管理的 ZooKeeper 組成，各部分功能如下：
上圖消息流轉(zhuǎn)過程中，還有幾個特別重要的概念—主題（Topic）、分區(qū)（Partition）、分段(segment)、位移（offset）。
在對 Kafka 的整體系統(tǒng)框架及相關(guān)概念簡單了解后，下面我們來進(jìn)一步深入探討下高可靠性、高性能實(shí)現(xiàn)原理。
Kafka 高可靠性的核心是保證消息在傳遞過程中不丟失，涉及如下核心環(huán)節(jié)：
為了保障消息從生產(chǎn)者可靠地發(fā)送至 Broker，我們需要確保兩點(diǎn)；
針對問題 1，Kafka 為我們提供了三種 ack 策略，
為了實(shí)現(xiàn)強(qiáng)可靠的 kafka 系統(tǒng)，我們需要設(shè)置 Request.required.acks= -1，同時還會設(shè)置集群中處于正常同步狀態(tài)的副本 follower 數(shù)量 min.insync.replicas>2，另外，設(shè)置 unclean.leader.election.enable=false 使得集群中 ISR 的 follower 才可變成新的 leader，避免特殊情況下消息截?cái)嗟某霈F(xiàn)。
針對問題 2，kafka 提供兩類消息發(fā)送方式：同步（sync）發(fā)送和異步（async）發(fā)送，相關(guān)參數(shù)如下：
以 sarama 實(shí)現(xiàn)為例，在消息發(fā)送的過程中，無論是同步發(fā)送還是異步發(fā)送都會涉及到兩個協(xié)程--負(fù)責(zé)消息發(fā)送的主協(xié)程和負(fù)責(zé)消息分發(fā)的 dispatcher 協(xié)程。
異步發(fā)送
對于異步發(fā)送(ack != 0 場景，等于 0 時不關(guān)心寫 kafka 結(jié)果，后文詳細(xì)講解)而言，其流程大概如下：
同步發(fā)送
同步發(fā)送(ack != 0 場景)是在異步發(fā)送的基礎(chǔ)上加以條件限制實(shí)現(xiàn)的。同步消息發(fā)送在 newSyncProducerFromAsyncProducer 中開啟兩個異步協(xié)程處理消息成功與失敗的“回調(diào)”，并使用 waitGroup 進(jìn)行等待，從而將異步操作轉(zhuǎn)變?yōu)橥讲僮?，其流程大概如下?/p>
通過上述分析可以發(fā)現(xiàn)，kafka 消息發(fā)送本質(zhì)上都是異步的，不過同步發(fā)送通過 waitGroup 將異步操作轉(zhuǎn)變?yōu)橥讲僮?。同步發(fā)送在一定程度上確保了我們在跨網(wǎng)絡(luò)向 Broker 傳輸消息時，消息一定可以可靠地傳輸?shù)?Broker。因?yàn)樵谕桨l(fā)送場景我們可以明確感知消息是否發(fā)送至 Broker，若因網(wǎng)絡(luò)抖動、機(jī)器宕機(jī)等故障導(dǎo)致消息發(fā)送失敗或結(jié)果不明，可通過重試等手段確保消息至少一次（at least once） 發(fā)送到 Broker。另外，Kafka（0.11.0.0 版本后）還為 Producer 提供兩種機(jī)制來實(shí)現(xiàn)精確一次（exactly once） 消息發(fā)送：冪等性（Idempotence）和事務(wù)（Transaction）。
小結(jié)
通過 ack 策略配置、同步發(fā)送、事務(wù)消息組合能力，我們可以實(shí)現(xiàn)exactly once 語意跨網(wǎng)絡(luò)向 Broker 傳輸消息。但是，Producer 收到 Broker 的成功 ack，消息一定不會丟失嗎？為了搞清這個問題，我們首先要搞明白 Broker 在接收到消息后做了哪些處理。
發(fā)送到 Broker 的消息可靠持久化
為了確保 Producer 收到 Broker 的成功 ack 后，消息一定不在 Broker 環(huán)節(jié)丟失，我們核心要關(guān)注以下幾點(diǎn)：
Broker 異步刷盤機(jī)制
kafka 為了獲得更高吞吐，Broker 接收到消息后只是將數(shù)據(jù)寫入 PageCache 后便認(rèn)為消息已寫入成功，而 PageCache 中的數(shù)據(jù)通過 linux 的 flusher 程序進(jìn)行異步刷盤（刷盤觸發(fā)條：主動調(diào)用 sync 或 fsync 函數(shù)、可用內(nèi)存低于閥值、dirty data 時間達(dá)到閥值），將數(shù)據(jù)順序?qū)懙酱疟P。消息處理示意圖如下：
由于消息是寫入到 pageCache，單機(jī)場景，如果還沒刷盤 Broker 就宕機(jī)了，那么 Producer 產(chǎn)生的這部分?jǐn)?shù)據(jù)就可能丟失。為了解決單機(jī)故障可能帶來的數(shù)據(jù)丟失問題，Kafka 為分區(qū)引入了副本機(jī)制。
Replica 副本機(jī)制
Kafka 每組分區(qū)通常有多個副本，同組分區(qū)的不同副本分布在不同的 Broker 上，保存相同的消息(可能有滯后)。副本之間是“一主多從”的關(guān)系，其中 leader 副本負(fù)責(zé)處理讀寫請求，follower 副本負(fù)責(zé)從 leader 拉取消息進(jìn)行同步。分區(qū)的所有副本統(tǒng)稱為 AR（Assigned Replicas），其中所有與 leader 副本保持一定同步的副本（包括 leader 副本在內(nèi)）組成 ISR（In-Sync Replicas），與 leader 同步滯后過多的副本組成 OSR（Out-of-Sync Replicas），由此可見，AR=ISR+OSR。
follower 副本是否與 leader 同步的判斷標(biāo)準(zhǔn)取決于 Broker 端參數(shù) replica.lag.time.max.ms(默認(rèn)為 10 秒)，follower 默認(rèn)每隔 500ms 向 leader fetch 一次數(shù)據(jù)，只要一個 Follower 副本落后 Leader 副本的時間不連續(xù)超過 10 秒，那么 Kafka 就認(rèn)為該 Follower 副本與 leader 是同步的。在正常情況下，所有的 follower 副本都應(yīng)該與 leader 副本保持一定程度的同步，即 AR=ISR，OSR 集合為空。
當(dāng) leader 副本所在 Broker 宕機(jī)時，Kafka 會借助 ZK 從 follower 副本中選舉新的 leader 繼續(xù)對外提供服務(wù)，實(shí)現(xiàn)故障的自動轉(zhuǎn)移，保證服務(wù)可用。為了使選舉的新 leader 和舊 leader 數(shù)據(jù)盡可能一致，當(dāng) leader 副本發(fā)生故障時，默認(rèn)情況下只有在 ISR 集合中的副本才有資格被選舉為新的 leader，而在 OSR 集合中的副本則沒有任何機(jī)會（可通過設(shè)置 unclean.leader.election.enable 改變）。
當(dāng) Kafka 通過多副本機(jī)制解決單機(jī)故障問題時，同時也帶來了多副本間數(shù)據(jù)同步一致性問題。Kafka 通過高水位更新機(jī)制、副本同步機(jī)制、 Leader Epoch 等多種措施解決了多副本間數(shù)據(jù)同步一致性問題，下面我們來依次看下這幾大措施。
HW 和 LEO
首先，我們來看下兩個和 Kafka 中日志相關(guān)的重要概念 HW 和 LEO：
如上圖所示，它代表一個日志文件，這個日志文件中有 8 條消息，0 至 5 之間的消息為已提交消息，5 至 7 的消息為未提交消息。日志文件的 HW 為 6，表示消費(fèi)者只能拉取到 5 之前的消息，而 offset 為 5 的消息對消費(fèi)者而言是不可見的。日志文件的 LEO 為 8，下一條消息將在此處寫入。
注意：所有副本都有對應(yīng)的 HW 和 LEO，只不過 Leader 副本比較特殊，Kafka 使用 Leader 副本的高水位來定義所在分區(qū)的高水位。換句話說，分區(qū)的高水位就是其 Leader 副本的高水位。Leader 副本和 Follower 副本的 HW 有如下特點(diǎn)：
注意：為方便描述，下面Leader HW簡記為HWL，F(xiàn)ollower HW簡記為F，Leader LEO簡記為LEOL ，F(xiàn)ollower LEO簡記為LEOF。
下面我們演示一次完整的 HW / LEO 更新流程：
HWL=0，LEOL=0，HWF=0，LEOF=0。
上述更新流程中 Follower 和 Leader 的 HW 更新有時間 GAP。如果 Leader 節(jié)點(diǎn)在此期間發(fā)生故障，則 Follower 的 HW 和 Leader 的 HW 可能會處于不一致狀態(tài)，如果 Followe 被選為新的 Leader 并且以自己的 HW 為準(zhǔn)對外提供服務(wù)，則可能帶來數(shù)據(jù)丟失或數(shù)據(jù)錯亂問題。
KIP-101 問題：數(shù)據(jù)丟失&數(shù)據(jù)錯亂 ^參 5^
數(shù)據(jù)丟失
第 1 步:
第 2 步：
此時，如果沒有異常，A 會收到 B 的回復(fù)，得知目前的 HW 為 2，然后更新自身的 HW 為 2。但在此時 A 重啟了，沒有來得及收到 B 的回復(fù)，此時 B 仍然是 leader。A 重啟之后會以 HW 為標(biāo)準(zhǔn)截?cái)嘧约旱娜罩?，因?yàn)?A 作為 follower 不知道多出的日志是否是被提交過的，防止數(shù)據(jù)不一致從而截?cái)喽嘤嗟臄?shù)據(jù)并嘗試從 leader 那里重新同步。
第 3 步：
B 崩潰了，min.isr 設(shè)置的是 1，所以 zookeeper 會從 ISR 中再選擇一個作為 leader，也就是 A，但是 A 的數(shù)據(jù)不是完整的，從而出現(xiàn)了數(shù)據(jù)丟失現(xiàn)象。
問題在哪里？在于 A 重啟之后以 HW 為標(biāo)準(zhǔn)截?cái)嗔硕嘤嗟娜罩尽２唤財(cái)嘈胁恍校坎恍?，因?yàn)檫@個日志可能沒被提交過（也就是沒有被 ISR 中的所有節(jié)點(diǎn)寫入過），如果保留會導(dǎo)致日志錯亂。
數(shù)據(jù)錯亂
在分析日志錯亂的問題之前，我們需要了解到 kafka 的副本可靠性保證有一個前提：在 ISR 中至少有一個節(jié)點(diǎn)。如果節(jié)點(diǎn)均宕機(jī)的情況下，是不保證可靠性的，在這種情況會出現(xiàn)數(shù)據(jù)丟失，數(shù)據(jù)丟失是可接受的。這里我們分析的問題比數(shù)據(jù)丟失更加槽糕，會引發(fā)日志錯亂甚至導(dǎo)致整個系統(tǒng)異常，而這是不可接受的。
第 1 步：
第 2 步：
由于 A 和 B 均宕機(jī)，而 min.isr=1 并且 unclean.leader.election.enable=true（關(guān)閉 unclean 選擇策略），所以 Kafka 會等到第一個 ISR 中的節(jié)點(diǎn)恢復(fù)并選為 leader，這里不幸的是 B 被選為 leader，而且還接收到 producer 發(fā)來的新消息 m3。注意，這里丟失 m2 消息是可接受的，畢竟所有節(jié)點(diǎn)都宕機(jī)了。
第 3 步：
A 恢復(fù)重啟后發(fā)現(xiàn)自己是 follower，而且 HW 為 2，并沒有多余的數(shù)據(jù)需要截?cái)?，所以開始和 B 進(jìn)行新一輪的同步。但此時 A 和 B 均沒有意識到，offset 為 1 的消息不一致了。
問題在哪里？在于日志的寫入是異步的，上面也提到 Kafka 的副本策略的一個設(shè)計(jì)是消息的持久化是異步的，這就會導(dǎo)致在場景二的情況下被選出的 leader 不一定包含所有數(shù)據(jù)，從而引發(fā)日志錯亂的問題。
Leader Epoch
為了解決上述缺陷，Kafka 引入了 Leader Epoch 的概念。leader epoch 和 raft 中的任期號的概念很類似，每次重新選擇 leader 的時候，用一個嚴(yán)格單調(diào)遞增的 id 來標(biāo)志，可以讓所有 follower 意識到 leader 的變化。而 follower 也不再以 HW 為準(zhǔn)，每次奔潰重啟后都需要去 leader 那邊確認(rèn)下當(dāng)前 leader 的日志是從哪個 offset 開始的。下面看下 Leader Epoch 是如何解決上面兩個問題的。
數(shù)據(jù)丟失解決
這里的關(guān)鍵點(diǎn)在于副本 A 重啟后作為 follower，不是忙著以 HW 為準(zhǔn)截?cái)嘧约旱娜罩?，而是先發(fā)起 LeaderEpochRequest 詢問副本 B 第 0 代的最新的偏移量是多少，副本 B 會返回自己的 LEO 為 2 給副本 A，A 此時就知道消息 m2 不能被截?cái)?，所?m2 得到了保留。當(dāng) A 選為 leader 的時候就保留了所有已提交的日志，日志丟失的問題得到解決。
如果發(fā)起 LeaderEpochRequest 的時候就已經(jīng)掛了怎么辦？這種場景下，不會出現(xiàn)日志丟失，因?yàn)楦北?A 被選為 leader 后不會截?cái)嘧约旱娜罩?，日志截?cái)嘀粫l(fā)生在 follower 身上。
數(shù)據(jù)錯亂解決
這里的關(guān)鍵點(diǎn)還是在第 3 步，副本 A 重啟作為 follower 的第一步還是需要發(fā)起 LeaderEpochRequest 詢問 leader 當(dāng)前第 0 代最新的偏移量是多少，由于副本 B 已經(jīng)經(jīng)過換代，所以會返回給 A 第 1 代的起始偏移（也就是 1），A 發(fā)現(xiàn)沖突后會截?cái)嘧约浩屏繛?1 的日志，并重新開始和 leader 同步。副本 A 和副本 B 的日志達(dá)到了一致，解決了日志錯亂。
Broker 接收到消息后只是將數(shù)據(jù)寫入 PageCache 后便認(rèn)為消息已寫入成功，但是，通過副本機(jī)制并結(jié)合 ACK 策略可以大概率規(guī)避單機(jī)宕機(jī)帶來的數(shù)據(jù)丟失問題，并通過 HW、副本同步機(jī)制、 Leader Epoch 等多種措施解決了多副本間數(shù)據(jù)同步一致性問題，最終實(shí)現(xiàn)了 Broker 數(shù)據(jù)的可靠持久化。
Consumer 在消費(fèi)消息的過程中需要向 Kafka 匯報(bào)自己的位移數(shù)據(jù)，只有當(dāng) Consumer 向 Kafka 匯報(bào)了消息位移，該條消息才會被 Broker 認(rèn)為已經(jīng)被消費(fèi)。因此，Consumer 端消息的可靠性主要和 offset 提交方式有關(guān)，Kafka 消費(fèi)端提供了兩種消息提交方式：
正常情況下我們很難實(shí)現(xiàn) exactly once 語意的消息，通常是通過手動提交+冪等實(shí)現(xiàn)消息的可靠消費(fèi)。
Kafka 高性能的核心是保障系統(tǒng)低延遲、高吞吐地處理消息，為此，Kafaka 采用了許多精妙的設(shè)計(jì)：
如上文所述，Kafka 提供了異步和同步兩種消息發(fā)送方式。在異步發(fā)送中，整個流程都是異步的。調(diào)用異步發(fā)送方法后，消息會被寫入 channel，然后立即返回成功。Dispatcher 協(xié)程會從 channel 輪詢消息，將其發(fā)送到 Broker，同時會有另一個異步協(xié)程負(fù)責(zé)處理 Broker 返回的結(jié)果。同步發(fā)送本質(zhì)上也是異步的，但是在處理結(jié)果時，同步發(fā)送通過 waitGroup 將異步操作轉(zhuǎn)換為同步。使用異步發(fā)送可以最大化提高消息發(fā)送的吞吐能力。
Kafka 支持批量發(fā)送消息，將多個消息打包成一個批次進(jìn)行發(fā)送，從而減少網(wǎng)絡(luò)傳輸?shù)拈_銷，提高網(wǎng)絡(luò)傳輸?shù)男屎屯掏铝?。Kafka 的批量發(fā)送消息是通過以下兩個參數(shù)來控制的：
在 Kafka 的生產(chǎn)者客戶端中，當(dāng)發(fā)送消息時，如果啟用了批量發(fā)送，Kafka 會將消息緩存到緩沖區(qū)中。當(dāng)緩沖區(qū)中的消息大小達(dá)到 batch.size 或者等待時間到達(dá) linger.ms 時，Kafka 會將緩沖區(qū)中的消息打包成一個批次進(jìn)行發(fā)送。如果在等待時間內(nèi)沒有達(dá)到 batch.size，Kafka 也會將緩沖區(qū)中的消息發(fā)送出去，從而避免消息積壓。
Kafka 支持壓縮技術(shù)，通過將消息進(jìn)行壓縮后再進(jìn)行傳輸，從而減少網(wǎng)絡(luò)傳輸?shù)拈_銷(壓縮和解壓縮的過程會消耗一定的 CPU 資源，因此需要根據(jù)實(shí)際情況進(jìn)行調(diào)整。)，提高網(wǎng)絡(luò)傳輸?shù)男屎屯掏铝?。Kafka 支持多種壓縮算法，在 Kafka2.1.0 版本之前，僅支持 GZIP，Snappy 和 LZ4，2.1.0 后還支持 Zstandard 算法（Facebook 開源，能夠提供超高壓縮比）。這些壓縮算法性能對比（兩指標(biāo)都是越高越好）如下：
在 Kafka 中，壓縮技術(shù)是通過以下兩個參數(shù)來控制的：
在 Kafka 的生產(chǎn)者客戶端中，當(dāng)發(fā)送消息時，如果啟用了壓縮技術(shù)，Kafka 會將消息進(jìn)行壓縮后再進(jìn)行傳輸。在消費(fèi)者客戶端中，如果消息進(jìn)行了壓縮，Kafka 會在消費(fèi)消息時將其解壓縮。注意：Broker 如果設(shè)置了和生產(chǎn)者不通的壓縮算法，接收消息后會解壓后重新壓縮保存。Broker 如果存在消息版本兼容也會觸發(fā)解壓后再壓縮。
kafka 為了提升系統(tǒng)吞吐、降低時延，Broker 接收到消息后只是將數(shù)據(jù)寫入PageCache后便認(rèn)為消息已寫入成功，而 PageCache 中的數(shù)據(jù)通過 linux 的 flusher 程序進(jìn)行異步刷盤（避免了同步刷盤的巨大系統(tǒng)開銷），將數(shù)據(jù)順序追加寫到磁盤日志文件中。由于 pagecache 是在內(nèi)存中進(jìn)行緩存，因此讀寫速度非?？欤梢源蟠筇岣咦x寫效率。順序追加寫充分利用順序 I/O 寫操作，避免了緩慢的隨機(jī) I/O 操作，可有效提升 Kafka 吞吐。
如上圖所示，消息被順序追加到每個分區(qū)日志文件的尾部。
Kafka 中存在大量的網(wǎng)絡(luò)數(shù)據(jù)持久化到磁盤（Producer 到 Broker）和磁盤文件通過網(wǎng)絡(luò)發(fā)送（Broker 到 Consumer）的過程，這一過程的性能直接影響 Kafka 的整體吞吐量。傳統(tǒng)的 IO 操作存在多次數(shù)據(jù)拷貝和上下文切換，性能比較低。Kafka 利用零拷貝技術(shù)提升上述過程性能，其中網(wǎng)絡(luò)數(shù)據(jù)持久化磁盤主要用 mmap 技術(shù)，網(wǎng)絡(luò)數(shù)據(jù)傳輸環(huán)節(jié)主要使用 sendfile 技術(shù)。
傳統(tǒng)模式下，數(shù)據(jù)從網(wǎng)絡(luò)傳輸?shù)轿募枰?4 次數(shù)據(jù)拷貝、4 次上下文切換和兩次系統(tǒng)調(diào)用。如下圖所示：
為了減少上下文切換以及數(shù)據(jù)拷貝帶來的性能開銷，Kafka使用mmap來處理其索引文件。Kafka中的索引文件用于在提取日志文件中的消息時進(jìn)行高效查找。這些索引文件被維護(hù)為內(nèi)存映射文件，這允許Kafka快速訪問和搜索內(nèi)存中的索引，從而加速在日志文件中定位消息的過程。mmap 將內(nèi)核中讀緩沖區(qū)（read buffer）的地址與用戶空間的緩沖區(qū)（user buffer）進(jìn)行映射，從而實(shí)現(xiàn)內(nèi)核緩沖區(qū)與應(yīng)用程序內(nèi)存的共享，省去了將數(shù)據(jù)從內(nèi)核讀緩沖區(qū)（read buffer）拷貝到用戶緩沖區(qū)（user buffer）的過程，整個拷貝過程會發(fā)生 4 次上下文切換，1 次CPU 拷貝和 2次 DMA 拷貝。
傳統(tǒng)方式實(shí)現(xiàn)：先讀取磁盤、再用 socket 發(fā)送，實(shí)際也是進(jìn)過四次 copy。如下圖所示：
為了減少上下文切換以及數(shù)據(jù)拷貝帶來的性能開銷，Kafka 在 Consumer 從 Broker 讀數(shù)據(jù)過程中使用了 sendfile 技術(shù)。具體在這里采用的方案是通過 NIO 的 transferTo/transferFrom 調(diào)用操作系統(tǒng)的 sendfile 實(shí)現(xiàn)零拷貝?？偣舶l(fā)生 2 次內(nèi)核數(shù)據(jù)拷貝、2 次上下文切換和一次系統(tǒng)調(diào)用，消除了 CPU 數(shù)據(jù)拷貝，如下：
為了方便對日志進(jìn)行檢索和過期清理，kafka 日志文件除了有用于存儲日志的.log 文件，還有一個位移索引文件.index和一個時間戳索引文件.timeindex 文件，并且三文件的名字完全相同，如下：
Kafka 的索引文件是按照稀疏索引的思想進(jìn)行設(shè)計(jì)的。稀疏索引的核心是不會為每個記錄都保存索引，而是寫入一定的記錄之后才會增加一個索引值，具體這個間隔有多大則通過 log.index.interval.bytes 參數(shù)進(jìn)行控制，默認(rèn)大小為 4 KB，意味著 Kafka 至少寫入 4KB 消息數(shù)據(jù)之后，才會在索引文件中增加一個索引項(xiàng)。可見，單條消息大小會影響 Kakfa 索引的插入頻率，因此 log.index.interval.bytes 也是 Kafka 調(diào)優(yōu)一個重要參數(shù)值。由于索引文件也是按照消息的順序性進(jìn)行增加索引項(xiàng)的，因此 Kafka 可以利用二分查找算法來搜索目標(biāo)索引項(xiàng)，把時間復(fù)雜度降到了 O(lgN)，大大減少了查找的時間。
位移索引文件.index
位移索引文件的索引項(xiàng)結(jié)構(gòu)如下：
相對位移：保存于索引文件名字上面的起始位移的差值，假設(shè)一個索引文件為：00000000000000000100.index，那么起始位移值即 100，當(dāng)存儲位移為 150 的消息索引時，在索引文件中的相對位移則為 150 - 100 = 50，這么做的好處是使用 4 字節(jié)保存位移即可，可以節(jié)省非常多的磁盤空間。
文件物理位置：消息在 log 文件中保存的位置，也就是說 Kafka 可根據(jù)消息位移，通過位移索引文件快速找到消息在 log 文件中的物理位置，有了該物理位置的值，我們就可以快速地從 log 文件中找到對應(yīng)的消息了。下面我用圖來表示 Kafka 是如何快速檢索消息：
假設(shè) Kafka 需要找出位移為 3550 的消息，那么 Kafka 首先會使用二分查找算法找到小于 3550 的最大索引項(xiàng)：[3528, 2310272]，得到索引項(xiàng)之后，Kafka 會根據(jù)該索引項(xiàng)的文件物理位置在 log 文件中從位置 2310272 開始順序查找，直至找到位移為 3550 的消息記錄為止。
時間戳索引文件.timeindex
Kafka 在 0.10.0.0 以后的版本當(dāng)中，消息中增加了時間戳信息，為了滿足用戶需要根據(jù)時間戳查詢消息記錄，Kafka 增加了時間戳索引文件，時間戳索引文件的索引項(xiàng)結(jié)構(gòu)如下：
時間戳索引文件的檢索與位移索引文件類似，如下快速檢索消息示意圖：
broker & 數(shù)據(jù)分區(qū)
Kafka 集群包含多個 broker。一個 topic 下通常有多個 partition，partition 分布在不同的 Broker 上，用于存儲 topic 的消息，這使 Kafka 可以在多臺機(jī)器上處理、存儲消息，給 kafka 提供給了并行的消息處理能力和橫向擴(kuò)容能力。
多 reactor 多線程網(wǎng)絡(luò)模型
多 Reactor 多線程網(wǎng)絡(luò)模型 是一種高效的網(wǎng)絡(luò)通信模型，可以充分利用多核 CPU 的性能，提高系統(tǒng)的吞吐量和響應(yīng)速度。Kafka 為了提升系統(tǒng)的吞吐，在 Broker 端處理消息時采用了該模型，示意如下：
SocketServer和KafkaRequestHandlerPool是其中最重要的兩個組件：
整個服務(wù)端處理請求的流程大致分為以下幾個步驟：
生產(chǎn)者負(fù)載均衡
Kafka 生產(chǎn)端的負(fù)載均衡主要指如何將消息發(fā)送到合適的分區(qū)。Kafka 生產(chǎn)者生產(chǎn)消息時，根據(jù)分區(qū)器將消息投遞到指定的分區(qū)中，所以 Kafka 的負(fù)載均衡很大程度上依賴于分區(qū)器。Kafka 默認(rèn)的分區(qū)器是 Kafka 提供的 DefaultPartitioner。它的分區(qū)策略是根據(jù) Key 值進(jìn)行分區(qū)分配的：
消費(fèi)者負(fù)載均衡
在 Kafka 中，每個分區(qū)（Partition）只能由一個消費(fèi)者組中的一個消費(fèi)者消費(fèi)。當(dāng)消費(fèi)者組中有多個消費(fèi)者時，Kafka 會自動進(jìn)行負(fù)載均衡，將分區(qū)均勻地分配給每個消費(fèi)者。在 Kafka 中，消費(fèi)者負(fù)載均衡算法可以通過設(shè)置消費(fèi)者組的 partition.assignment.strategy 參數(shù)來選擇。目前主流的分區(qū)分配策略以下幾種：
集群管理
Kafka 借助 ZooKeeper 進(jìn)行集群管理。Kafka 中很多信息都在 ZK 中維護(hù)，如 broker 集群信息、consumer 集群信息、 topic 相關(guān)信息、 partition 信息等。Kafka 的很多功能也是基于 ZK 實(shí)現(xiàn)的，如 partition 選主、broker 集群管理、consumer 負(fù)載均衡等，限于篇幅本文將不展開陳述，這里先附一張網(wǎng)上截圖大家感受下：
我們在微信上24小時期待你的聲音
解答本文疑問/技術(shù)咨詢/運(yùn)營咨詢/技術(shù)建議/互聯(lián)網(wǎng)交流
微信二維碼
微信二維碼
移動版官網(wǎng)