一致性哈希(Consistent Hashing)
一:HashMap
谈论Consistent Hashing前,先回顾一下HashMap.
当使用HashMap时,key会被均匀的映射到hashMap内部数组中(Entry【】),映射方法利用key的hash值做移位运算,和entry数组的长度(Length-1)做与运算(和hashtable不同,(key.hashcode() & 0x7FFFFFFF) % table.length,使数据分散均匀分布)。
put操作时,当底层数组数据量超过LoadFactor(默认0.75)* len时,HashMap会按照2倍扩容的方式扩大底层数组的大小。put操作引进的新数据会按照上面提及的方法进行映射,但是之前已经映射的数据怎么办呢?HashMap源码中显示,resize()操作,每次扩容都会把之前已经映射的key重新映射。
所以对于HashMap而言,想要获得较好的性能必须要提前估计所放数据集合的大小,以设计合适的初始容量和负载因子。
二:定义
但不是每个场景都像HashMap这么简单,比如在大型的p2p网络中存在成百上千台server,资源和server的关系是以key的形式映射而成的,也就是说是一个大的HashMap,维护着每个资源在哪个server上,如果有新的节点加入或者退出该网络cluster,跟HashMap一样,也会导致映射关系发生变化,显然不可能吧所有的key和server的映射关系重新调整一遍,那会导致服务大量的未命中,直接导致服务不可用。这就需要一种方法,在新的server加入或者server的宕机,不需要调整所有的节点,而达到继续维护哈希映射的关系。因此一致性哈希定义为:
“Consistent hashing is schema that provides hash table functionlity in a way that the addition or removal of one slot does not significantly change the mapping of keys to the slots.(wiki)”;
就是说,“一致性哈希,就是提供一个hashtable,它能在节点的加入和离开时不会导致映射关系的重大变化”。
三:实现
一致性哈希的定义除了描述一个定义或者一种想法并没有给出任何实现方面的描述,所有细化的问题都留给开发者去思考,但一般的实现思想如下:
1:假定所有的资源以key的单向哈希(sha-1,sha-2,md5)均匀的分布在一个环上;
2:假定所有的节点(server)均匀的分布在该环上(以server的ip,port单向散列);
3:每个节点(server)只负责一部分Key,当节点加入、退出时只影响加入退出的节点和其邻居节点或者其他节点只有少量的Key受影响;
一般一致性哈希需要满足下面几个条件才对实际系统有意义:
1:平衡性(Balance):平衡性是指哈希的结果能够尽可能分布到所有的节点中去,这样可以使得所有的节点空间都得到利用。很多哈希算法都能够满足这一条件。
2:单调性(Monotonicity):单调性是指如果已经有一些内容通过哈希分派到了相应的节点中,又有新的节点加入到系统中。哈希的结果应能够保证原有已分配的内容可以被映射到原有的或者新的节点中去,而不会被映射到旧的节点集合中的其他节点上。
3:分散性(Spread):在分布式环境中,终端有可能看不到所有的缓存,而是只能看到其中的一部分。当终端希望通过哈希过程将内容映射到缓存上时,由于不同终端所见的缓存范围有可能不同,从而导致哈希的结果不一致,最终的结果是相同的内容被不同的终端映射到不同的缓存区中。这种情况显然是应该避免的,因为它导致相同内容被存储到不同缓存中去,降低了系统存储的效率。分散性的定义就是上述情况发生的严重程度。好的哈希算法应能够尽量避免不一致的情况发生,也就是尽量降低分散性。
4:负载(Load):负载问题实际上是从另一个角度看待分散性问题。既然不同的终端可能将相同的内容映射到不同的缓冲区中,那么对于一个特定的缓冲区而言,也可能被不同的用户映射为不同的内容。与分散性一样,这种情况也是应当避免的,因此好的哈希算法应能够尽量降低缓冲的负荷。
环形Hash空间:
按照常用的Hash算法来将对应的key哈希到一个具有2^32次方个桶的空间中,即0~(2^32)- 1的数字空间中。现在我们可以将这些数字头尾相连,想象成一个闭环,如下图:
把数据通过一定的hash算法处理后映射到环上:
现在将object1, object2, object3, object4四个对象通过特定的hash函数计算出对应的key值,然后散列到Hash环上,如下图:
Hash(object1) = key1;
Hash (object2) = key2;
Hash (object3) = key3;
Hash (object4) = key4;
具体hash算法,例如MD5 ->128bit, sha-2 -> 160bit,取前32bit组成一个integer,映射到该环上。
将机器通过Hash算法映射到环上:
在采用一致性哈希算法的分布式集群中将新的机器加入,其原理是通过使用与对象存储一样的hash素昂啊将机器也映射到环中(一般情况下对机器的hash计算是采用机器的IP或者机器唯一的别名和服务端口作为输入值),然后按顺时针方向计算,将所有对象存储到离自己最近的机器中。
假设现在有Node1, Node2, Node3三台机器,通过Hash算法得到对应的key值,映射到环中,其示意图如下:
Hash(NODE1) = KEY1;
Hash(NODE2) = KEY2;
Hash(NODE3) = KEY3;
通过上图可以看出对象和机器处于同一哈希空间中,这样按顺时针转到object1存储到NODE1中,object3存储到NODE2中, object2, object4存储到了Node3中。在这样的部署环境中,hash环是不会变更的,因此,通过算出对象的hash值就能快速的定位到对应的机器中,这样就能找到对象真正的存储位置了。
机器的删除与添加:
普通hash求余算法最为不妥的地方就是在有机器添加和删除之后会使大量的对象存储位置失效,这样就打打的不满足单调性,下面俩分析一下一致性哈希算法是如何处理的。
1:节点(机器)的删除
以上面的分布为例,如果NODE2出现故障删除了,那么按照顺时针迁移的方法,object3将会被迁移到NODE3中,这样仅仅是object3的映射位置发生了变化,其他的对象没有任何映射关系的改动。如下图:
2:节点(机器)的添加
如果往cluster中添加一个新的节点NODE4,通过对应的哈希算法得到KEY4,并映射到环中,如下图:
通过按顺时针迁移的规则,那么object2被迁移到了NODE4中,其他对象还保持原来的映射关系(存储位置)。通过对节点的添加和删除分析,一致性哈希算法在保持了单调性的同事,还使数据的迁移达到最小,这样的算法对分布式cluster来说非常适合,避免了大量数据的迁移,减小了服务器的压力。
平衡性(数据分布均匀):
根据上面的图解分析,一致性哈希算法满足了单调性和负载均衡的特性以及一般hash算法的分散性,但是这并不能当做其被广泛使用的原因,因为还缺少平衡性。下面将分析一致性哈希算法是如何满足平衡性的。hash算法是不保证平衡的,如上面只部署了NODE1和NODE3的情况(NODE2被删除的图), object1 存储到NODE1,而object2,object3,object4都被存储到了NODE3中,这样就是非常不平衡的状态,在一致性哈希算法中,为了尽可能的满足平衡性,其引入了虚拟节点:
-“虚拟节点”(virtual node)是实际节点(机器)在hash空间的复制品(replica),一实际节点(机器)对应了若干个“虚拟节点”,这个对应个数也成为“复制个数”,“虚拟节点”在hash空间中以hash值排列。
以上面只部署了NODE1和NODE3的情况为例,之前的对象在机器上分布很不均匀,现在我们以2个副本为例,这样整个hash环上就存在4个虚拟节点,最后对象映射的关系图如下:
"虚拟节点"的引入意义在于实际节点少而导致大片未被映射从而导致数据分布不均匀。假设每个server映射N个节点(N在100~200时较优),但key的hash映射到这N个节点实际上都有由该server托管,
根据上图可知对象的映射关系:object1-> NODE1-1, object2 -> NODE1-2,object3 -> NODE3-2, object4 -> NODE3-1.通过虚拟节点的引入,对象的分布比较均衡了,那么在实际操作中,真正的对象查询是如何工作的呢 ?对象从hash到虚拟节点到实际节点的转换如下图:
“虚拟节点”的hash计算可以采用对应实际节点的IP地址加上数字后缀的方法,加入假设NODE1的IP地址为192.168.1.100.引入“虚拟节点”前,计算cacheA的Hash值:
Hash("192.168.1.100");
引入“虚拟节点”后,计算“虚节点”点NODE1-1和NODE1-2的hash值:
Hash("192.168.1.100#1");//NODE1-1
Hash("192.168.1.100#2");//NODE1-2
有服务器台数(n)和增加的服务器台数(m)计算增加后的命中率如下:
(1 - n / (n + m)) * 100