Kafka是一種分佈式的,基於發佈/訂閱的消息系統。主要設計目標以下:前端
解耦
在項目啓動之初來預測未來項目會碰到什麼需求,是極其困難的。消息隊列在處理過程當中間插入了一個隱含的、基於數據的接口層,兩邊的處理過程都要實現這一接口。這容許你獨立的擴展或修改兩邊的處理過程,只要確保它們遵照一樣的接口約束java
冗餘
有些狀況下,處理數據的過程會失敗。除非數據被持久化,不然將形成丟失。消息隊列把數據進行持久化直到它們已經被徹底處理,經過這一方式規避了數據丟失風險。在被許多消息隊列所採用的」插入-獲取-刪除」範式中,在把一個消息從隊列中刪除以前,須要你的處理過程明確的指出該消息已經被處理完畢,確保你的數據被安全的保存直到你使用完畢。node
擴展性
由於消息隊列解耦了你的處理過程,因此增大消息入隊和處理的頻率是很容易的;只要另外增長處理過程便可。不須要改變代碼、不須要調節參數。擴展就像調大電力按鈕同樣簡單。git
靈活性 & 峯值處理能力
在訪問量劇增的狀況下,應用仍然須要繼續發揮做用,可是這樣的突發流量並不常見;若是爲以能處理這類峯值訪問爲標準來投入資源隨時待命無疑是巨大的浪費。使用消息隊列可以使關鍵組件頂住突發的訪問壓力,而不會由於突發的超負荷的請求而徹底崩潰。github
可恢復性
當體系的一部分組件失效,不會影響到整個系統。消息隊列下降了進程間的耦合度,因此即便一個處理消息的進程掛掉,加入隊列中的消息仍然能夠在系統恢復後被處理。而這種容許重試或者延後處理請求的能力一般是造就一個略感不便的用戶和一個沮喪透頂的用戶之間的區別。web
送達保證
消息隊列提供的冗餘機制保證了消息能被實際的處理,只要一個進程讀取了該隊列便可。在此基礎上,IronMQ提供了一個」只送達一次」保證。不管有多少進程在從隊列中領取數據,每個消息只能被處理一次。這之因此成爲可能,是由於獲取一個消息只是」預約」了這個消息,暫時把它移出了隊列。除非客戶端明確的表示已經處理完了這個消息,不然這個消息會被放回隊列中去,在一段可配置的時間以後可再次被處理。算法
順序保證
在大多使用場景下,數據處理的順序都很重要。消息隊列原本就是排序的,而且能保證數據會按照特定的順序來處理。IronMO保證消息經過FIFO(先進先出)的順序來處理,所以消息在隊列中的位置就是從隊列中檢索他們的位置。數據庫
緩衝
在任何重要的系統中,都會有須要不一樣的處理時間的元素。例如,加載一張圖片比應用過濾器花費更少的時間。消息隊列經過一個緩衝層來幫助任務最高效率的執行—寫入隊列的處理會盡量的快速,而不受從隊列讀的預備處理的約束。該緩衝有助於控制和優化數據流通過系統的速度。apache
理解數據流
在一個分佈式系統裏,要獲得一個關於用戶操做會用多長時間及其緣由的整體印象,是個巨大的挑戰。消息隊列經過消息被處理的頻率,來方便的輔助肯定那些表現不佳的處理過程或領域,這些地方的數據流都不夠優化。安全
異步通訊
不少時候,你不想也不須要當即處理消息。消息隊列提供了異步處理機制,容許你把一個消息放入隊列,但並不當即處理它。你想向隊列中放入多少消息就放多少,而後在你樂意的時候再去處理它們。
RabbitMQ
RabbitMQ是使用Erlang編寫的一個開源的消息隊列,自己支持不少的協議:AMQP,XMPP, SMTP, STOMP,也正因如此,它很是重量級,更適合於企業級的開發。同時實現了Broker構架,這意味着消息在發送給客戶端時先在中心隊列排隊。對路由,負載均衡或者數據持久化都有很好的支持。
Redis
Redis是一個基於Key-Value對的NoSQL數據庫,開發維護很活躍。雖然它是一個Key-Value數據庫存儲系統,但它自己支持MQ功能,因此徹底能夠當作一個輕量級的隊列服務來使用。對於RabbitMQ和Redis的入隊和出隊操做,各執行100萬次,每10萬次記錄一次執行時間。測試數據分爲128Bytes、512Bytes、1K和10K四個不一樣大小的數據。實驗代表:入隊時,當數據比較小時Redis的性能要高於RabbitMQ,而若是數據大小超過了10K,Redis則慢的沒法忍受;出隊時,不管數據大小,Redis都表現出很是好的性能,而RabbitMQ的出隊性能則遠低於Redis。
ZeroMQ
ZeroMQ號稱最快的消息隊列系統,尤爲針對大吞吐量的需求場景。ZMQ可以實現RabbitMQ不擅長的高級/複雜的隊列,可是開發人員須要本身組合多種技術框架,技術上的複雜度是對這MQ可以應用成功的挑戰。ZeroMQ具備一個獨特的非中間件的模式,你不須要安裝和運行一個消息服務器或中間件,由於你的應用程序將扮演了這個服務角色。你只須要簡單的引用ZeroMQ程序庫,可使用NuGet安裝,而後你就能夠愉快的在應用程序之間發送消息了。可是ZeroMQ僅提供非持久性的隊列,也就是說若是宕機,數據將會丟失。其中,Twitter的Storm 0.9.0之前的版本中默認使用ZeroMQ做爲數據流的傳輸(Storm從0.9版本開始同時支持ZeroMQ和Netty做爲傳輸模塊)。
ActiveMQ
ActiveMQ是Apache下的一個子項目。 相似於ZeroMQ,它可以以代理人和點對點的技術實現隊列。同時相似於RabbitMQ,它少許代碼就能夠高效地實現高級應用場景。
Kafka/Jafka
Kafka是Apache下的一個子項目,是一個高性能跨語言分佈式發佈/訂閱消息隊列系統,而Jafka是在Kafka之上孵化而來的,即Kafka的一個升級版。具備如下特性:快速持久化,能夠在O(1)的系統開銷下進行消息持久化;高吞吐,在一臺普通的服務器上既能夠達到10W/s的吞吐速率;徹底的分佈式系統,Broker、Producer、Consumer都原生自動支持分佈式,自動實現負載均衡;支持Hadoop數據並行加載,對於像Hadoop的同樣的日誌數據和離線分析系統,但又要求實時處理的限制,這是一個可行的解決方案。Kafka經過Hadoop的並行加載機制來統一了在線和離線的消息處理。Apache Kafka相對於ActiveMQ是一個很是輕量級的消息系統,除了性能很是好以外,仍是一個工做良好的分佈式系統。
如上圖所示,一個典型的kafka集羣中包含若干producer(能夠是web前端產生的page view,或者是服務器日誌,系統CPU、memory等),若干broker(Kafka支持水平擴展,通常broker數量越多,集羣吞吐率越高),若干consumer group,以及一個Zookeeper集羣。Kafka經過Zookeeper管理集羣配置,選舉leader,以及在consumer group發生變化時進行rebalance。producer使用push模式將消息發佈到broker,consumer使用pull模式從broker訂閱並消費消息。
做爲一個messaging system,Kafka遵循了傳統的方式,選擇由producer向broker push消息並由consumer從broker pull消息。一些logging-centric system,好比Facebook的Scribe和Cloudera的Flume,採用很是不一樣的push模式。事實上,push模式和pull模式各有優劣。
push模式很難適應消費速率不一樣的消費者,由於消息發送速率是由broker決定的。push模式的目標是儘量以最快速度傳遞消息,可是這樣很容易形成consumer來不及處理消息,典型的表現就是拒絕服務以及網絡擁塞。而pull模式則能夠根據consumer的消費能力以適當的速率消費消息。
Topic在邏輯上能夠被認爲是一個queue。每條消費都必須指定它的topic,能夠簡單理解爲必須指明把這條消息放進哪一個queue裏。爲了使得Kafka的吞吐率能夠水平擴展,物理上把topic分紅一個或多個partition,每一個partition在物理上對應一個文件夾,該文件夾下存儲這個partition的全部消息和索引文件。
每一個日誌文件都是「log entries」序列,每個log entry
包含一個4字節整型數(值爲N),其後跟N個字節的消息體。每條消息都有一個當前partition下惟一的64字節的offset,它指明瞭這條消息的起始位置。磁盤上存儲的消息格式以下:
message length : 4 bytes (value: 1+4+n)
「magic」 value : 1 byte
crc : 4 bytes
payload : n bytes
這個「log entries」並不是由一個文件構成,而是分紅多個segment,每一個segment名爲該segment第一條消息的offset和「.kafka」組成。另外會有一個索引文件,它標明瞭每一個segment下包含的log entry
的offset範圍,以下圖所示。
由於每條消息都被append到該partition中,是順序寫磁盤,所以效率很是高(經驗證,順序寫磁盤效率比隨機寫內存還要高,這是Kafka高吞吐率的一個很重要的保證)。
每一條消息被髮送到broker時,會根據paritition規則選擇被存儲到哪個partition。若是partition規則設置的合理,全部消息能夠均勻分佈到不一樣的partition裏,這樣就實現了水平擴展。(若是一個topic對應一個文件,那這個文件所在的機器I/O將會成爲這個topic的性能瓶頸,而partition解決了這個問題)。在建立topic時能夠在$KAFKA_HOME/config/server.properties
中指定這個partition的數量(以下所示),固然也能夠在topic建立以後去修改parition數量。
# The default number of log partitions per topic. More partitions allow greater # parallelism for consumption, but this will also result in more files across # the brokers. num.partitions=3
在發送一條消息時,能夠指定這條消息的key,producer根據這個key和partition機制來判斷將這條消息發送到哪一個parition。paritition機制能夠經過指定producer的paritition. class這一參數來指定,該class必須實現kafka.producer.Partitioner
接口。本例中若是key能夠被解析爲整數則將對應的整數與partition總數取餘,該消息會被髮送到該數對應的partition。(每一個parition都會有個序號)
import kafka.producer.Partitioner;
import kafka.utils.VerifiableProperties;
public class JasonPartitioner<T> implements Partitioner {
public JasonPartitioner(VerifiableProperties verifiableProperties) {}
@Override
public int partition(Object key, int numPartitions) {
try {
int partitionNum = Integer.parseInt((String) key);
return Math.abs(Integer.parseInt((String) key) % numPartitions);
} catch (Exception e) {
return Math.abs(key.hashCode() % numPartitions);
}
}
}
若是將上例中的class做爲partition.class,並經過以下代碼發送20條消息(key分別爲0,1,2,3)至topic2(包含4個partition)。
public void sendMessage() throws InterruptedException{
for(int i = 1; i <= 5; i++){
List messageList = new ArrayList<KeyedMessage<String, String>>();
for(int j = 0; j < 4; j++){
messageList.add(new KeyedMessage<String, String>("topic2", j+"", "The " + i + " message for key " + j));
}
producer.send(messageList);
}
producer.close();
}
則key相同的消息會被髮送並存儲到同一個partition裏,並且key的序號正好和partition序號相同。(partition序號從0開始,本例中的key也正好從0開始)。以下圖所示。
對於傳統的message queue而言,通常會刪除已經被消費的消息,而Kafka集羣會保留全部的消息,不管其被消費與否。固然,由於磁盤限制,不可能永久保留全部數據(實際上也不必),所以Kafka提供兩種策略去刪除舊數據。一是基於時間,二是基於partition文件大小。例如能夠經過配置$KAFKA_HOME/config/server.properties
,讓Kafka刪除一週前的數據,也可經過配置讓Kafka在partition文件超過1GB時刪除舊數據,以下所示。
############################# Log Retention Policy #############################
# The following configurations control the disposal of log segments. The policy can
# be set to delete segments after a period of time, or after a given size has accumulated.
# A segment will be deleted whenever *either* of these criteria are met. Deletion always happens
# from the end of the log.
# The minimum age of a log file to be eligible for deletion
log.retention.hours=168
# A size-based retention policy for logs. Segments are pruned from the log as long as the remaining
# segments don't drop below log.retention.bytes.
#log.retention.bytes=1073741824
# The maximum size of a log segment file. When this size is reached a new log segment will be created.
log.segment.bytes=1073741824
# The interval at which log segments are checked to see if they can be deleted according
# to the retention policies
log.retention.check.interval.ms=300000
# By default the log cleaner is disabled and the log retention policy will default to
#just delete segments after their retention expires.
# If log.cleaner.enable=true is set the cleaner will be enabled and individual logs
#can then be marked for log compaction.
log.cleaner.enable=false
這裏要注意,由於Kafka讀取特定消息的時間複雜度爲O(1),即與文件大小無關,因此這裏刪除文件與Kafka性能無關,選擇怎樣的刪除策略只與磁盤以及具體的需求有關。另外,Kafka會爲每個consumer group保留一些metadata信息—當前消費的消息的position,也即offset。這個offset由consumer控制。正常狀況下consumer會在消費完一條消息後線性增長這個offset。固然,consumer也可將offset設成一個較小的值,從新消費一些消息。由於offet由consumer控制,因此Kafka broker是無狀態的,它不須要標記哪些消息被哪些consumer過,不須要經過broker去保證同一個consumer group只有一個consumer能消費某一條消息,所以也就不須要鎖機制,這也爲Kafka的高吞吐率提供了有力保障。
Kafka從0.8開始提供partition級別的replication,replication的數量可在$KAFKA_HOME/config/server.properties
中配置。
default.replication.factor = 1
該 Replication與leader election配合提供了自動的failover機制。replication對Kafka的吞吐率是有必定影響的,但極大的加強了可用性。默認狀況下,Kafka的replication數量爲1。 每一個partition都有一個惟一的leader,全部的讀寫操做都在leader上完成,leader批量從leader上pull數據。通常狀況下partition的數量大於等於broker的數量,而且全部partition的leader均勻分佈在broker上。follower上的日誌和其leader上的徹底同樣。
和大部分分佈式系統同樣,Kakfa處理失敗須要明肯定義一個broker是否alive。對於Kafka而言,Kafka存活包含兩個條件,一是它必須維護與Zookeeper的session(這個經過Zookeeper的heartbeat機制來實現)。二是follower必須可以及時將leader的writing複製過來,不能「落後太多」。
leader會track「in sync」的node list。若是一個follower宕機,或者落後太多,leader將把它從」in sync」 list中移除。這裏所描述的「落後太多」指follower複製的消息落後於leader後的條數超過預約值,該值可在$KAFKA_HOME/config/server.properties
中配置
#If a replica falls more than this many messages behind the leader, the leader will remove the follower from ISR and treat it as dead
replica.lag.max.messages=4000
#If a follower hasn't sent any fetch requests for this window of time, the leader will remove the follower from ISR (in-sync replicas) and treat it as dead
replica.lag.time.max.ms=10000
須要說明的是,Kafka只解決」fail/recover」,不處理「Byzantine」(「拜占庭」)問題。
一條消息只有被「in sync」 list裏的全部follower都從leader複製過去纔會被認爲已提交。這樣就避免了部分數據被寫進了leader,還沒來得及被任何follower複製就宕機了,而形成數據丟失(consumer沒法消費這些數據)。而對於producer而言,它能夠選擇是否等待消息commit,這能夠經過request.required.acks
來設置。這種機制確保了只要「in sync」 list有一個或以上的flollower,一條被commit的消息就不會丟失。
這裏的複製機制即不是同步複製,也不是單純的異步複製。事實上,同步複製要求「活着的」follower都複製完,這條消息纔會被認爲commit,這種複製方式極大的影響了吞吐率(高吞吐率是Kafka很是重要的一個特性)。而異步複製方式下,follower異步的從leader複製數據,數據只要被leader寫入log就被認爲已經commit,這種狀況下若是follwer都落後於leader,而leader忽然宕機,則會丟失數據。而Kafka的這種使用「in sync」 list的方式則很好的均衡了確保數據不丟失以及吞吐率。follower能夠批量的從leader複製數據,這樣極大的提升複製性能(批量寫磁盤),極大減小了follower與leader的差距(前文有說到,只要follower落後leader不太遠,則被認爲在「in sync」 list裏)。
上文說明了Kafka是如何作replication的,另一個很重要的問題是當leader宕機了,怎樣在follower中選舉出新的leader。由於follower可能落後許多或者crash了,因此必須確保選擇「最新」的follower做爲新的leader。一個基本的原則就是,若是leader不在了,新的leader必須擁有原來的leader commit的全部消息。這就須要做一個折衷,若是leader在標明一條消息被commit前等待更多的follower確認,那在它die以後就有更多的follower能夠做爲新的leader,但這也會形成吞吐率的降低。
一種很是經常使用的選舉leader的方式是「majority vote」(「少數服從多數」),但Kafka並未採用這種方式。這種模式下,若是咱們有2f+1個replica(包含leader和follower),那在commit以前必須保證有f+1個replica複製完消息,爲了保證正確選出新的leader,fail的replica不能超過f個。由於在剩下的任意f+1個replica裏,至少有一個replica包含有最新的全部消息。這種方式有個很大的優點,系統的latency只取決於最快的幾臺server,也就是說,若是replication factor是3,那latency就取決於最快的那個follower而非最慢那個。majority vote也有一些劣勢,爲了保證leader election的正常進行,它所能容忍的fail的follower個數比較少。若是要容忍1個follower掛掉,必需要有3個以上的replica,若是要容忍2個follower掛掉,必需要有5個以上的replica。也就是說,在生產環境下爲了保證較高的容錯程度,必需要有大量的replica,而大量的replica又會在大數據量下致使性能的急劇降低。這就是這種算法更多用在Zookeeper這種共享集羣配置的系統中而不多在須要存儲大量數據的系統中使用的緣由。例如HDFS的HA feature是基於majority-vote-based journal,可是它的數據存儲並無使用這種expensive的方式。
實際上,leader election算法很是多,好比Zookeper的Zab, Raft和Viewstamped Replication。而Kafka所使用的leader election算法更像微軟的PacificA算法。
Kafka在Zookeeper中動態維護了一個ISR(in-sync replicas) set,這個set裏的全部replica都跟上了leader,只有ISR裏的成員纔有被選爲leader的可能。在這種模式下,對於f+1個replica,一個Kafka topic能在保證不丟失已經ommit的消息的前提下容忍f個replica的失敗。在大多數使用場景中,這種模式是很是有利的。事實上,爲了容忍f個replica的失敗,majority vote和ISR在commit前須要等待的replica數量是同樣的,可是ISR須要的總的replica的個數幾乎是majority vote的一半。
雖然majority vote與ISR相比有不需等待最慢的server這一優點,可是Kafka做者認爲Kafka能夠經過producer選擇是否被commit阻塞來改善這一問題,而且節省下來的replica和磁盤使得ISR模式仍然值得。
上文提到,在ISR中至少有一個follower時,Kafka能夠確保已經commit的數據不丟失,但若是某一個partition的全部replica都掛了,就沒法保證數據不丟失了。這種狀況下有兩種可行的方案:
這就須要在可用性和一致性當中做出一個簡單的平衡。若是必定要等待ISR中的replica「活」過來,那不可用的時間就可能會相對較長。並且若是ISR中的全部replica都沒法「活」過來了,或者數據都丟失了,這個partition將永遠不可用。選擇第一個「活」過來的replica做爲leader,而這個replica不是ISR中的replica,那即便它並不保證已經包含了全部已commit的消息,它也會成爲leader而做爲consumer的數據源(前文有說明,全部讀寫都由leader完成)。Kafka0.8.*使用了第二種方式。根據Kafka的文檔,在之後的版本中,Kafka支持用戶經過配置選擇這兩種方式中的一種,從而根據不一樣的使用場景選擇高可用性仍是強一致性。
上文說明了一個parition的replication過程,然爾Kafka集羣須要管理成百上千個partition,Kafka經過round-robin的方式來平衡partition從而避免大量partition集中在了少數幾個節點上。同時Kafka也須要平衡leader的分佈,儘量的讓全部partition的leader均勻分佈在不一樣broker上。另外一方面,優化leadership election的過程也是很重要的,畢竟這段時間相應的partition處於不可用狀態。一種簡單的實現是暫停宕機的broker上的全部partition,併爲之選舉leader。實際上,Kafka選舉一個broker做爲controller,這個controller經過watch Zookeeper檢測全部的broker failure,並負責爲全部受影響的parition選舉leader,再將相應的leader調整命令發送至受影響的broker,過程以下圖所示。
這樣作的好處是,能夠批量的通知leadership的變化,從而使得選舉過程成本更低,尤爲對大量的partition而言。若是controller失敗了,倖存的全部broker都會嘗試在Zookeeper中建立/controller->{this broker id},若是建立成功(只可能有一個建立成功),則該broker會成爲controller,若建立不成功,則該broker會等待新controller的命令。
(本節全部描述都是基於consumer hight level API而非low level API)。
每個consumer實例都屬於一個consumer group,每一條消息只會被同一個consumer group裏的一個consumer實例消費。(不一樣consumer group能夠同時消費同一條消息)
不少傳統的message queue都會在消息被消費完後將消息刪除,一方面避免重複消費,另外一方面能夠保證queue的長度比較少,提升效率。而如上文所將,Kafka並不刪除已消費的消息,爲了實現傳統message queue消息只被消費一次的語義,Kafka保證保證同一個consumer group裏只有一個consumer會消費一條消息。與傳統message queue不一樣的是,Kafka還容許不一樣consumer group同時消費同一條消息,這一特性能夠爲消息的多元化處理提供了支持。實際上,Kafka的設計理念之一就是同時提供離線處理和實時處理。根據這一特性,可使用Storm這種實時流處理系統對消息進行實時在線處理,同時使用Hadoop這種批處理系統進行離線處理,還能夠同時將數據實時備份到另外一個數據中心,只須要保證這三個操做所使用的consumer在不一樣的consumer group便可。下圖展現了Kafka在Linkedin的一種簡化部署。
爲了更清晰展現Kafka consumer group的特性,筆者做了一項測試。建立一個topic (名爲topic1),建立一個屬於group1的consumer實例,並建立三個屬於group2的consumer實例,而後經過producer向topic1發送key分別爲1,2,3r的消息。結果發現屬於group1的consumer收到了全部的這三條消息,同時group2中的3個consumer分別收到了key爲1,2,3的消息。以下圖所示。
(本節所講述內容均基於Kafka consumer high level API)
Kafka保證同一consumer group中只有一個consumer會消費某條消息,實際上,Kafka保證的是穩定狀態下每個consumer實例只會消費某一個或多個特定partition的數據,而某個partition的數據只會被某一個特定的consumer實例所消費。這樣設計的劣勢是沒法讓同一個consumer group裏的consumer均勻消費數據,優點是每一個consumer不用都跟大量的broker通訊,減小通訊開銷,同時也下降了分配難度,實現也更簡單。另外,由於同一個partition裏的數據是有序的,這種設計能夠保證每一個partition裏的數據也是有序被消費。
若是某consumer group中consumer數量少於partition數量,則至少有一個consumer會消費多個partition的數據,若是consumer的數量與partition數量相同,則正好一個consumer消費一個partition的數據,而若是consumer的數量多於partition的數量時,會有部分consumer沒法消費該topic下任何一條消息。
以下例所示,若是topic1有0,1,2共三個partition,當group1只有一個consumer(名爲consumer1)時,該 consumer可消費這3個partition的全部數據。
增長一個consumer(consumer2)後,其中一個consumer(consumer1)可消費2個partition的數據,另一個consumer(consumer2)可消費另一個partition的數據。
再增長一個consumer(consumer3)後,每一個consumer可消費一個partition的數據。consumer1消費partition0,consumer2消費partition1,consumer3消費partition2
再增長一個consumer(consumer4)後,其中3個consumer可分別消費一個partition的數據,另一個consumer(consumer4)不能消費topic1任何數據。
此時關閉consumer1,剩下的consumer可分別消費一個partition的數據。
接着關閉consumer2,剩下的consumer3可消費2個partition,consumer4可消費1個partition。
再關閉consumer3,剩下的consumer4可同時消費topic1的3個partition。