一致性哈希算法的對(duì)比研究

潘子浩

摘要：分布式存儲(chǔ)系統(tǒng)中為了實(shí)現(xiàn)高可用、高性能和高擴(kuò)展性，系統(tǒng)內(nèi)數(shù)據(jù)布局和負(fù)載均衡是關(guān)鍵的技術(shù)問(wèn)題。一致性哈希算法是解決此類問(wèn)題行之有效的方法。將對(duì)比研究幾種一致性哈希算法，包括基本和帶虛擬節(jié)點(diǎn)的一致性哈希，微信存儲(chǔ)系統(tǒng)中應(yīng)用的一致性哈希和谷歌跳躍一致性哈希。對(duì)微信存儲(chǔ)應(yīng)用的一致性哈希進(jìn)行了改進(jìn)。

關(guān)鍵詞：一致性哈希;虛擬節(jié)點(diǎn);跳躍一致性哈希

Abstract： In order to achieve high availability， high performance， and high scalability in distributed storage systems， data layout and load balancing in the system are key technical issues. The consistent hashing algorithm is an effective way to solve such problems. Several consistent hashing algorithms will be studied and compared， including basic consistent hashing， consistent hashing with virtual nodes， consistent hashing used in WeChat storage systems and Google jump consistent hashing. The consistent hashing used in WeChat is improved.

Keywords： Consistent hashing; Virtual node; Jump consistent hashing

分布式存儲(chǔ)系統(tǒng)發(fā)展過(guò)程中，遇到了多個(gè)方面的挑戰(zhàn)，其一是數(shù)據(jù)分散存儲(chǔ)在系統(tǒng)中，當(dāng)系統(tǒng)面對(duì)海量讀寫(xiě)請(qǐng)求時(shí)，如何保障系統(tǒng)的負(fù)載均衡避免出現(xiàn)數(shù)據(jù)傾斜。第二為應(yīng)對(duì)系統(tǒng)流量的增長(zhǎng)和萎縮，集群系統(tǒng)需要能夠動(dòng)態(tài)添加和刪除節(jié)點(diǎn)，在保持負(fù)載均衡的同時(shí)實(shí)現(xiàn)數(shù)據(jù)的最小化遷移。一致性哈希算法因?yàn)榫哂辛己玫木庑院鸵恢滦?，在分布式存?chǔ)系統(tǒng)中受到廣泛的應(yīng)用。

基本一致性哈希算法在Kager于1997年論文[1]中提出并其后應(yīng)用于Danamo和Switf等系統(tǒng)后，衍生了多種優(yōu)化改進(jìn)的算法，包括帶虛擬節(jié)點(diǎn)的一致性哈希，微信核心業(yè)務(wù)存儲(chǔ)系統(tǒng)使用的一致性哈希，谷歌跳躍一致性哈希，maglev一致性哈希，負(fù)載有界一致性哈希，以及其他改進(jìn)的一致性哈希算法等。對(duì)上述的部分一致性哈希算法，論文將從均衡性和一致性兩個(gè)方面進(jìn)行對(duì)比研究，并對(duì)微信存儲(chǔ)系統(tǒng)使用的一致性哈希進(jìn)行了優(yōu)化。其中均衡性是指數(shù)據(jù)經(jīng)過(guò)哈希后能盡可能分散到所有服務(wù)器節(jié)點(diǎn)中，每個(gè)服務(wù)器處理的數(shù)據(jù)相當(dāng)，均衡的算法能最大化系統(tǒng)利用率。一致性是指系統(tǒng)增加節(jié)點(diǎn)需要對(duì)數(shù)據(jù)key進(jìn)行重新映射，數(shù)據(jù)key只能保留在原有節(jié)點(diǎn)或者移動(dòng)到新節(jié)點(diǎn)上，不能移動(dòng)到其他的節(jié)點(diǎn)上。

1算法對(duì)比

1.1基本一致性哈希和帶虛擬節(jié)點(diǎn)的一致性哈希

基本的一致性哈希算法原理如圖1，算法過(guò)程如下：

（1）設(shè)置一個(gè)地址空間范圍為0～（232-1）的哈希環(huán);

（2）使用節(jié)點(diǎn)的特征值（一般使用節(jié)點(diǎn)ip地址）計(jì)算哈希值，映射到哈希環(huán)上的一點(diǎn)。如圖1所示節(jié)點(diǎn)S1，其ip地址經(jīng)過(guò)哈希后落入哈希環(huán)上一點(diǎn)。對(duì)每個(gè)節(jié)點(diǎn)都使用同樣的方法映射到哈希環(huán)上;

（3）對(duì)存取數(shù)據(jù)key使用相同的哈希函數(shù)計(jì)算哈希值映射到哈希環(huán)上，以此位置順時(shí)針查找第一個(gè)落入到哈希環(huán)的節(jié)點(diǎn)。圖1中key3經(jīng)過(guò)哈希后順時(shí)針找到了S2節(jié)點(diǎn)。

基本一致性哈希算法并不均衡[2]，在哈希環(huán)上復(fù)制虛擬節(jié)點(diǎn)的方法可以改善此算法的均衡度[3]，其思想是將一個(gè)節(jié)點(diǎn)（也稱為實(shí)際節(jié)點(diǎn)或者實(shí)節(jié)點(diǎn)）在哈希環(huán)的不同位置上放置多個(gè)拷貝（稱為虛擬節(jié)點(diǎn)），并調(diào)整上述算法的第二步，使用實(shí)節(jié)點(diǎn)對(duì)應(yīng)虛擬節(jié)點(diǎn)的特征計(jì)算哈希值映射到哈希環(huán)（比如使用“192.168.1.100#1”作為192.168.1.100實(shí)節(jié)點(diǎn)編號(hào)為1的虛擬節(jié)點(diǎn)的特征），對(duì)每個(gè)實(shí)節(jié)點(diǎn)設(shè)置一定數(shù)量的虛擬節(jié)點(diǎn)映射到哈希環(huán)上，而要查找數(shù)據(jù)key對(duì)應(yīng)的實(shí)節(jié)點(diǎn)，是先通過(guò)其哈希值順時(shí)針找到虛擬節(jié)點(diǎn)再找到對(duì)應(yīng)的實(shí)節(jié)點(diǎn)。

顯然，新添加一個(gè)節(jié)點(diǎn)映射到哈希環(huán)上時(shí)，只有這個(gè)節(jié)點(diǎn)的哈希值（或者其對(duì)應(yīng)虛擬節(jié)點(diǎn)的哈希值）與逆時(shí)針?lè)较虻那耙粋€(gè)哈希值之間的數(shù)據(jù)key會(huì)被重新映射到新的節(jié)點(diǎn)，其他數(shù)據(jù)key繼續(xù)保留在原有節(jié)點(diǎn)，兩種算法都滿足一致性的要求。

關(guān)于均衡性，從圖1可以看到，落入節(jié)點(diǎn)的數(shù)據(jù)key的數(shù)量，與每個(gè)節(jié)點(diǎn)在哈希環(huán)中負(fù)責(zé)的地址空間密切相關(guān)，一致性哈希算法的均衡度，可由節(jié)點(diǎn)在哈希環(huán)負(fù)責(zé)的地址空間的差異來(lái)度量。在實(shí)際應(yīng)用中，分布式系統(tǒng)一般是由相同配置的服務(wù)器節(jié)點(diǎn)構(gòu)成，為了提高節(jié)點(diǎn)利用率和減少運(yùn)營(yíng)成本，要求選用均衡度較好的一致性哈希算法，另外按照木桶理論，分布式系統(tǒng)最大處理能力由最先進(jìn)入過(guò)載的節(jié)點(diǎn)決定，也就是負(fù)載最高的節(jié)點(diǎn)決定了集群整體的性能，而在不考慮熱點(diǎn)數(shù)據(jù)情況下，節(jié)點(diǎn)的負(fù)載與其負(fù)責(zé)的地址空間成正比例關(guān)系。因此論文用三個(gè)與地址空間有關(guān)的指標(biāo)來(lái)衡量算法的均衡度：集群中最大地址空間與最小地址空間的比值R1，地址空間值與平均值相差10%、2%以內(nèi)的節(jié)點(diǎn)數(shù)量在總節(jié)點(diǎn)數(shù)的比例R2和R3。

表1展示了使用md5+fnv1_32函數(shù)對(duì)節(jié)點(diǎn)或虛擬節(jié)點(diǎn)特征值進(jìn)行哈希，通過(guò)程序統(tǒng)計(jì)得到兩種算法在不同節(jié)點(diǎn)數(shù)配置下系統(tǒng)的R1和R2。ip地址和哈希函數(shù)的不同對(duì)統(tǒng)計(jì)結(jié)果會(huì)產(chǎn)生一些變化，但不會(huì)影響整體的結(jié)論。

基本一致性哈希算法的一般趨勢(shì)是R1值隨著節(jié)點(diǎn)數(shù)的增加而急速增加，此外R2值都比較低，意味著使用此算法的系統(tǒng)，其節(jié)點(diǎn)間的負(fù)載是非常不均衡的。比如30節(jié)點(diǎn)下，R1已超過(guò)了100，系統(tǒng)節(jié)點(diǎn)間會(huì)出現(xiàn)負(fù)載差異百倍的情況。帶虛擬節(jié)點(diǎn)的一致性哈希算法均衡度得到了明顯的改善，如30個(gè)實(shí)節(jié)點(diǎn)每個(gè)配置30個(gè)虛擬節(jié)點(diǎn)，R1已經(jīng)降低到了2以下，遠(yuǎn)低于基本一致性哈希中的R1。此外在實(shí)節(jié)點(diǎn)數(shù)確定時(shí)，虛擬節(jié)點(diǎn)數(shù)的增加可以降低R1和提高R2，提高節(jié)點(diǎn)間均衡度;但虛擬節(jié)點(diǎn)數(shù)確定時(shí)，系統(tǒng)增加實(shí)節(jié)點(diǎn)時(shí)則會(huì)升高R1和降低R2，降低節(jié)點(diǎn)間均衡度。但考慮系統(tǒng)的復(fù)雜性，虛擬節(jié)點(diǎn)數(shù)并不會(huì)無(wú)限制的提高，實(shí)際應(yīng)用中每個(gè)實(shí)節(jié)點(diǎn)配置100個(gè)虛擬節(jié)點(diǎn)是一個(gè)常用的配置。在此配置下，系統(tǒng)并非完全均衡，比如超過(guò)30個(gè)實(shí)節(jié)點(diǎn)的集群，R1超過(guò)了1.5，R2低于0.7，意味著系統(tǒng)會(huì)出現(xiàn)高負(fù)載是低負(fù)載1.5倍的情況，并且超過(guò)30%的機(jī)器負(fù)載偏離了平均負(fù)載的10%。