基数树/Radix Tree - rax.h
介绍与用途
Redis实现的基数树其实就是一个字典树,然后针对普通的字典树做了一些优化。
基数树是流的底层实现,除此之外,维护当前活跃的客户端连接、客户端键缓存(6.0新特性)、模块的定时器、ACL(访问控制列表,6.0新特性)中维护用户信息、redis-cluster集群的插槽管理。
结构介绍
普通的字典树就不做介绍了,网上有很多的教程,相信很多人都有个大概的了解,主要介绍一下redis做了什么优化。
在redis的实现中,一个存有foo, footer, foobar三个键的基数树如下图所示,使用[]
括起来的则表示该节点是一个键,否则使用()
。对于普通的基数树,比如节点[foo]
,则会分为3个节点f
,o
,o
,所以redis会将多个连续,每个节点只有一个子节点,但只有最后一个节点构成键的节点压缩为一个节点,主要目的是为了减少整个树的深度,减少查询时间,尤其是在键有较长的公共前缀的情况下,比如流的ID。
但是,这样一种优化会导致其实现更加复杂,比如在上面的例子中添加一个键first
或者移除键footer
,就会涉及节点分裂或者节点合并。
// 基数树节点定义
typedef struct raxNode {
uint32_t iskey:1; // 该节点是否构成键
uint32_t isnull:1; // 键对应的值是否为null,为null则不存储
uint32_t incompr:1; // 该节点是否为压缩节点
uint32_t size:29; // 子节点数量,或者压缩后字符串长度
/*
* 如果节点未被压缩,则存储一个长度为n的字符串。
* 字符串后面是n个指针,分别指向对应位置的字符的子节点。
* 末尾是一个该节点键对应的值(如果存在的话)。
* 节点样例如下:
* [header iscompr=0...][abc][a-ptr][b-ptr][c-ptr](value-ptr?)
* --------------------------------------------
* 如果节点被压缩,则存储一个长度为n的字符串。
* 字符串后面是1个指针