一致性哈希算法在分布式缓存领域的 MemCache,负载均衡领域的 Nginx 以及各种 RPC 框架中都有普遍的应用,它主要是为了解决传统哈希函数添加哈希表槽位数后要将关键字从新映射的问题。node
本文会介绍一致性哈希算法的原理及其实现,并给出其不一样哈希函数实现的性能数据对比,探讨Redis 集群的数据分片实现等,文末会给出实现的具体 github 地址。nginx
Memcached 是一个高性能的分布式缓存系统,然而服务端没有分布式功能,各个服务器不会相互通讯。它的分布式实现依赖于客户端的程序库,这也是 Memcached 的一大特色。好比第三方的 spymemcached 客户端就基于一致性哈希算法实现了其分布式缓存的功能。c++
其具体步骤以下:git
在这个过程当中,客户端的算法首先要保证缓存的数据尽可能均匀地分布在各个服务器上,其次是当个别服务器下线或者上线时,会出现数据迁移,应该尽可能减小须要迁移的数据量。程序员
客户端算法是客户端分布式缓存性能优劣的关键。github
普通的哈希表算法通常都是计算出哈希值后,经过取余操做将 key 值映射到不一样的服务器上,可是当服务器数量发生变化时,取余操做的除数发生变化,全部 key 所映射的服务器几乎都会改变,这对分布式缓存系统来讲是不能够接收的。redis
一致性哈希算法能尽量减小了服务器数量变化所致使的缓存迁移。算法
首先,一致性哈希算法依赖于普通的哈希算法。大多数同窗对哈希算法的理解可能都停留在 JDK 的 hashCode
函数上。其实哈希算法有不少种实现,它们在不一样方面都各有优劣,针对不一样的场景可使用不一样的哈希算法实现。编程
下面,咱们会介绍一下几款比较常见的哈希算法,而且了解一下它们在分布均匀程度,哈希碰撞几率和性能等方面的优劣。缓存
MD5 算法:全称为 Message-Digest Algorithm 5,用于确保信息传输完整一致。是计算机普遍使用的杂凑算法之一,主流编程语言广泛已有 MD5 实现。MD5 的做用是把大容量信息压缩成一种保密的格式(就是把一个任意长度的字节串变换成定长的16进制数字串)。常见的文件完整性校验就是使用 MD5。
CRC 算法:全称为 CyclicRedundancyCheck,中文名称为循环冗余校验。它是一类重要的,编码和解码方法简单,检错和纠错能力强的哈希算法,在通讯领域普遍地用于实现差错控制。
MurmurHash 算法:高运算性能,低碰撞率,由 Austin Appleby 建立于 2008 年,现已应用到 Hadoop、libstdc++、nginx、libmemcached 等开源系统。Java 界中 Redis,Memcached,Cassandra,HBase,Lucene和Guava 都在使用它。
FNV 算法:全称为 Fowler-Noll-Vo 算法,是以三位发明人 Glenn Fowler,Landon Curt Noll,Phong Vo 的名字来命名的,最先在 1991 年提出。 FNV 能快速 hash 大量数据并保持较小的冲突率,它的高度分散使它适用于 hash 一些很是相近的字符串,好比 URL,hostname,文件名,text 和 IP 地址等。
Ketama 算法:一致性哈希算法的实现之一,其余的哈希算法有通用的一致性哈希算法实现,只不过是替换了哈希映射函数而已,但 Ketama 是一整套的流程,咱们将在后面介绍。
下面,咱们以分布式缓存场景为例,分析一下一致性哈希算法环的原理。
首先将缓存服务器( ip + 端口号)进行哈希,映射成环上的一个节点,计算出缓存数据 key 值的 hash key,一样映射到环上,并顺时针选取最近的一个服务器节点做为该缓存应该存储的服务器。具体实现见后续的章节。
好比说,当存在 A,B,C,D 四个缓存服务器时,它们及其 key 值为1的缓存数据在一致性哈希环上的位置以下图所示,根据顺时针取最近一个服务器节点的规则,该缓存数据应该存储在服务器 B 上。
当要存储一个 key 值为4的缓存数据时,它在一致性哈希环上的位置以下所示,因此它应该存储在服务器 C 上。
相似的,key 值为5,6的数据应该存在服务 D 上,key 值为7,8的数据应该存储在服务 A 上。
此时,服务器 B 宕机下线,服务器 B 中存储的缓存数据要进行迁移,但因为一致性哈希环的存在,只须要迁移key 值为1的数据,其余的数据的存储服务器不会发生变化。这也是一致性哈希算法比取余映射算法出色的地方。
因为服务器 B 下线,key 值为1的数据顺时针最近的服务器是 C ,因此数据存迁移到服务器 C 上。
现实状况下,服务器在一致性哈希环上的位置不可能分布的这么均匀,致使了每一个节点实际占据环上的区间大小不一。
这种状况下,能够增长虚节点来解决。经过增长虚节点,使得每一个节点在环上所“管辖”的区域更加均匀。这样就既保证了在节点变化时,尽量小的影响数据分布的变化,而同时又保证了数据分布的均匀。
下面咱们实现 Memcached 分布式缓存场景下的一致性哈希算法,并给出具体的测试性能数据。该实现借鉴了 kiritomoe 博文中的实现和 spymemcached 客户端代码。具体实现请看个人github,地址为 github.com/ztelur/cons…
NodeLocator
是分布式缓存场景下一致性哈希算法的抽象,它有一个 getPrimary
函数,接收一个缓存数据的 key 值,输出存储该缓存数据的服务器实例。
public interface NodeLocator {
MemcachedNode getPrimary(String k);
}
复制代码
下面是通用的一致性哈希算法的实现,它使用 TreeMap
做为一致性哈希环的数据结构,其 ceilingEntry
函数能够获取环上最近的一个节点。buildConsistentHashRing
函数中包含了构建一致性哈希环的过程,默认加入了 12 个虚拟节点。
public class ConsistentHashNodeLocator implements NodeLocator {
private final static int VIRTUAL_NODE_SIZE = 12;
private final static String VIRTUAL_NODE_SUFFIX = "-";
private volatile TreeMap<Long, MemcachedNode> hashRing;
private final HashAlgorithm hashAlg;
public ConsistentHashNodeLocator(List<MemcachedNode> nodes, HashAlgorithm hashAlg) {
this.hashAlg = hashAlg;
this.hashRing = buildConsistentHashRing(hashAlg, nodes);
}
@Override
public MemcachedNode getPrimary(String k) {
long hash = hashAlg.hash(k);
return getNodeForKey(hashRing, hash);
}
private MemcachedNode getNodeForKey(TreeMap<Long, MemcachedNode> hashRing, long hash) {
/* 向右找到第一个key */
Map.Entry<Long, MemcachedNode> locatedNode = hashRing.ceilingEntry(hash);
/* 想象成为一个环,超出尾部取出第一个 */
if (locatedNode == null) {
locatedNode = hashRing.firstEntry();
}
return locatedNode.getValue();
}
private TreeMap<Long, MemcachedNode> buildConsistentHashRing(HashAlgorithm hashAlgorithm, List<MemcachedNode> nodes) {
TreeMap<Long, MemcachedNode> virtualNodeRing = new TreeMap<>();
for (MemcachedNode node : nodes) {
for (int i = 0; i < VIRTUAL_NODE_SIZE; i++) {
// 新增虚拟节点的方式若是有影响,也能够抽象出一个由物理节点扩展虚拟节点的类
virtualNodeRing.put(hashAlgorithm.hash(node.getSocketAddress().toString() + VIRTUAL_NODE_SUFFIX + i), node);
}
}
return virtualNodeRing;
}
}
复制代码
在 getPrimary
函数中,首先使用 HashAlgorithm
计算出 key 值对应的哈希值,而后调用 getNodeForKey
函数从 TreeMap
中获取对应的最近的服务器节点实例。
HashAlgorithm
是对哈希算法的抽象,一致性哈希算法可使用各类普通的哈希算法,好比说 CRC ,MurmurHash 和 FNV 等。下面,咱们将会对比各类哈希算法给该实现带来的性能差别性。
测试数据是评价一个算法好坏的最为真实有效的方法,量化的思惟模式必定要有,这也是程序员进阶的法宝之一。咱们如下面四个量化的指标对基于不一样哈希函数的一致性哈希算法进行评测。
具体评测算法以下。
public class NodeLocatorTest {
/**
* 测试分布的离散状况
*/
@Test
public void testDistribution() {
List<MemcachedNode> servers = new ArrayList<>();
for (String ip : ips) {
servers.add(new MemcachedNode(new InetSocketAddress(ip, 8080)));
}
// 使用不一样的DefaultHashAlgorithm进行测试,得出不一样的数据
NodeLocator nodeLocator = new ConsistentHashNodeLocator(servers, DefaultHashAlgorithm.NATIVE_HASH);
// 构造 50000 随机请求
List<String> keys = new ArrayList<>();
for (int i = 0; i < 50000; i++) {
keys.add(UUID.randomUUID().toString());
}
// 统计分布
AtomicLongMap<MemcachedNode> atomicLongMap = AtomicLongMap.create();
for (MemcachedNode server : servers) {
atomicLongMap.put(server, 0);
}
for (String key : keys) {
MemcachedNode node = nodeLocator.getPrimary(key);
atomicLongMap.getAndIncrement(node);
}
System.out.println(StatisticsUtil.variance(atomicLongMap.asMap().values().toArray(new Long[]{})));
System.out.println(StatisticsUtil.standardDeviation(atomicLongMap.asMap().values().toArray(new Long[]{})));
}
/**
* 测试节点新增删除后的变化程度
*/
@Test
public void testNodeAddAndRemove() {
List<MemcachedNode> servers = new ArrayList<>();
for (String ip : ips) {
servers.add(new MemcachedNode(new InetSocketAddress(ip, 8080)));
}
//随机下线10个服务器, 先shuffle,而后选择0到90,简单模仿随机计算。
Collections.shuffle(servers);
List<MemcachedNode> serverChanged = servers.subList(0, 90);
NodeLocator loadBalance = new ConsistentHashNodeLocator(servers, DefaultHashAlgorithm.NATIVE_HASH);
NodeLocator changedLoadBalance = new ConsistentHashNodeLocator(serverChanged, DefaultHashAlgorithm.NATIVE_HASH);
// 构造 50000 随机请求
List<String> keys = new ArrayList<>();
for (int i = 0; i < 50000; i++) {
keys.add(UUID.randomUUID().toString());
}
int count = 0;
for (String invocation : keys) {
MemcachedNode origin = loadBalance.getPrimary(invocation);
MemcachedNode changed = changedLoadBalance.getPrimary(invocation);
// 统计发生变化的数值
if (!origin.getSocketAddress().equals(changed.getSocketAddress())) count++;
}
System.out.println(count / 50000D);
}
static String[] ips = {...};
}
复制代码
JMH的测试脚本以下所示。
@BenchmarkMode(Mode.AverageTime)
@OutputTimeUnit(TimeUnit.MICROSECONDS)
@State(Scope.Thread)
public class JMHBenchmark {
private NodeLocator nodeLocator;
private List<String> keys;
@Benchmark
public void test() {
for (String key : keys) {
MemcachedNode node = nodeLocator.getPrimary(key);
}
}
public static void main(String[] args) throws RunnerException {
Options opt = new OptionsBuilder()
.include(JMHBenchmark.class.getSimpleName())
.forks(1)
.warmupIterations(5)
.measurementIterations(5)
.build();
new Runner(opt).run();
}
@Setup
public void prepare() {
List<MemcachedNode> servers = new ArrayList<>();
for (String ip : ips) {
servers.add(new MemcachedNode(new InetSocketAddress(ip, 8080)));
}
nodeLocator = new ConsistentHashNodeLocator(servers, DefaultHashAlgorithm.MURMUR_HASH);
// 构造 50000 随机请求
keys = new ArrayList<>();
for (int i = 0; i < 50000; i++) {
keys.add(UUID.randomUUID().toString());
}
}
@TearDown
public void shutdown() {
}
static String[] ips = {...};
}
复制代码
分别测试了 JDK 哈希算法,FNV132 算法,CRC 算法,MurmurHash 算法和Ketama 算法,分别对应 DefaultHashAlgorithm
的 NATIVE_HASH
,FNV1_32_HASH
,CRC_HASH
,MURMUR_HASH
和 KETAMA_HASH
。具体数据以下所示。
有些文章说,Redis 集群并无使用一致性哈希算法,而是使用虚拟槽分区算法。可是外网(地址见文末)上都说 Redis 使用的虚拟槽分区只是一致性哈希算法的变种,虚拟槽能够容许 Redis 动态扩容。
或许只有去了解一下Redis的源码才能对这个问题做出准确的回答。请了解的同窗积极留言解答,谢谢。
github 地址: github.com/ztelur/cons… redis分布式讨论的地址: www.reddit.com/r/redis/com…
我的博客地址: remcarpediem