Redis 跳表(Skip List)原理实现

引言：为什么 Redis 选择跳表？

在有序集合（ZSET）的实现中，Redis 开发者面临一个关键抉择：如何在高性能读写和代码简洁性之间找到平衡？传统平衡树（如红黑树）虽然能保证 O(logN) 时间复杂度，但实现复杂且难以支持范围查询。跳表（Skip List） 以媲美平衡树的性能、极简的实现（约 200 行代码）和天然支持范围查询的特性，成为 Redis ZSET 的核心数据结构。本文将深入剖析跳表的实现细节与 Redis 的工程优化。

一、跳表核心思想：概率化的多层索引

1.1 从链表到跳表的进化

• 普通链表：插入/删除 O(1)，但查询需要 O(N)
• 跳表创新：通过随机化多层索引，实现对数级查询效率

1.2 跳表结构可视化

Level 3: Head -> 37 --------------------------> 99 -> NULL  
Level 2: Head -> 37 -------> 71 -------> 99 -> NULL  
Level 1: Head -> 37 -> 55 -> 71 -> 85 -> 99 -> NULL  
Level 0: Head -> 37 -> 55 -> 71 -> 85 -> 99 -> NULL  

关键特性：

每个节点随机生成层数（Redis 最大层数 64）

高层索引跨越更多节点，加速搜索

底层链表存储完整数据

二、Redis 跳表实现深度解剖

2.1 数据结构定义（redis.h）

// 跳表节点
typedef struct zskiplistNode {
    sds ele;                          // 成员对象（SDS字符串）
    double score;                     // 排序分值
    struct zskiplistNode *backward;   // 后退指针（双向链表）
    struct zskiplistLevel {
        struct zskiplistNode *forward; // 前进指针
        unsigned long span;            // 跨度（用于排名计算）
    } level[];                        // 柔性数组，层级随机生成
} zskiplistNode;

// 跳表结构
typedef struct zskiplist {
    struct zskiplistNode *header, *tail;
    unsigned long length;             // 节点总数
    int level;                        // 当前最大层数
} zskiplist;

设计亮点：

• span 字段：记录节点在某一层的跨度，支持 O(1) 时间复杂度计算元素排名（ZRANK）
• backward 指针：构成双向链表，支持逆序遍历
• 柔性数组（level[]）：内存紧凑，避免指针冗余

2.2 关键操作源码解析

2.2.1 节点层数生成算法

// redis.h 源码节选
int zslRandomLevel(void) {
    int level = 1;
    // 0xFFFF 对应 1/4 概率提升层级（基于位运算优化）
    while ((random()&0xFFFF) < (ZSKIPLIST_P * 0xFFFF))
        level += 1;
    return (level < ZSKIPLIST_MAXLEVEL) ? level : ZSKIPLIST_MAXLEVEL;
}

数学原理：

• 使用 幂次定律（Power Law），高层节点指数级减少
• 每个节点有 50% 概率进入 L1，25% 进入 L2，12.5% 进入 L3...
• Redis 实际使用 1/4 的概率因子（优化内存与性能平衡）

2.2.2 插入节点流程（zslInsert）

• 搜索路径记录：从最高层开始，记录每层的前驱节点和跨度
• 生成随机层数：调用 zslRandomLevel
• 创建新节点：分配层级并连接前后指针
• 更新跨度：调整相邻节点的 span 值
• 维护后退指针：设置新节点的 backward 指针

2.2.3 范围查询（ZRANGEBYSCORE）

• 从高层索引快速定位起点
• 利用底层链表遍历范围
• 复杂度：O(logN + M)（M 为返回元素数量）

三、性能分析与优化策略

3.1 时间复杂度对比

注：跳表最坏情况（所有节点高度相同）概率极低（例如 1亿节点出现概率为 1/(2^50)）

3.2 内存占用分析

• 理论空间复杂度：O(NlogN)
• Redis 优化实践：通过 1/4 概率因子，实际空间占用约为 O(1.33N)（实测 100 万节点内存约 64MB）

3.3 调优参数

• ZSKIPLIST_MAXLEVEL：控制最大层数（默认 64，可调整内存与性能平衡）
• ZSKIPLIST_P：调整层数生成概率（默认 0.25）

四、跳表在 Redis 中的应用场景

4.1 有序集合（ZSET）

元素数量 > 128 或 元素长度 > 64 字节 时，ZSET 内部使用跳表

支持操作：

• ZADD/ZREM：插入删除
• ZRANK/ZSCORE：排名查询
• ZRANGE：范围查询

4.2 集群元数据管理

用于维护槽位（slot）与节点的映射关系

五、跳表 vs 平衡树：工程角度的选择

Redis 作者 Antirez 的评价：“跳表在理论上不如平衡树优雅，但实际工程中更简单、更快，尤其适合需要范围查询的场景。”

总结：

跳表的精妙之处在于 用概率换结构，通过随机化层级分布避免复杂的再平衡操作。这种“以空间换时间” + “以概率换简单性”的设计哲学，在分布式系统开发中具有重要借鉴意义。理解跳表不仅有助于掌握 Redis 源码，更能启发我们思考如何在高性能与可维护性之间找到平衡。

到此这篇关于Redis 跳表(Skip List)原理实现的文章就介绍到这了,更多相关Redis 跳表内容请搜索脚本之家以前的文章或继续浏览下面的相关文章希望大家以后多多支持脚本之家！

最新评论