Redis中的跳表

最新推荐文章于 2024-10-11 09:07:53 发布

胡英俊俊俊

最新推荐文章于 2024-10-11 09:07:53 发布

阅读量1k

点赞数 18

分类专栏： # Redis 文章标签： redis 数据库缓存

本文链接：https://blog.csdn.net/weixin_64398481/article/details/142183596

版权

Redis 专栏收录该内容

8 篇文章 0 订阅

订阅专栏

Redis中的跳表实现

在 Redis 中，跳表（Skip List）是用于高效地执行有序集合和排序相关操作的一种数据结构。相较于常见的平衡二叉树，跳表的实现更为简单，并且性能也很接近二叉树，因此在 Redis 中广泛应用。本文将介绍跳表的实现原理及其在 Redis 中的应用。

一、跳表的基本原理

1.1 什么是跳表？

跳表是一种基于多级链表的数据结构，它通过在链表的基础上增加多级索引来加速查找操作。传统链表的查找时间复杂度为 O(n)，而跳表通过建立多层索引链表，优化了查找性能，平均查找时间复杂度为 O(log n)。

如图所示：
在这里插入图片描述

跳表的层次结构如下：

底层链表包含所有的节点，并且按从小到大的顺序排列。
上层链表是底层链表的一个“抽样”，每隔一段节点会抽取一个节点放到上层链表中，从而加速查找。

每个节点会有一个随机的“高度”，表示该节点存在于多少层链表中。这种随机化策略使得跳表的平均复杂度为 O(log n)，且避免了复杂的平衡操作。

1.2 跳表的操作

查找：通过上层索引快速跳过无关的节点，找到目标节点所在的范围，再在底层链表中精确查找。
插入：通过查找找到插入位置，之后根据随机高度将节点插入到多层链表中。
删除：通过查找定位到需要删除的节点，在每一层链表中删除该节点。

二、Redis 中的跳表实现

在 Redis 中，跳表的实现位于 zset 数据类型中。zset 是 Redis 中的有序集合，用于存储带有分数的成员，并按分数进行排序。zset 通过结合跳表和 哈希表 实现：

跳表用于对集合中的元素按分数排序。
哈希表 用于通过成员名快速找到对应的分数。

Redis 的跳表具体结构定义在 redis.h 中，主要包含以下结构：

typedef struct zskiplistNode {
    sds ele;                  // 成员名称
    double score;             // 成员分数
    struct zskiplistNode *backward; // 后退指针
    struct zskiplistLevel {
        struct zskiplistNode *forward;  // 前进指针
        unsigned int span;    // 跨度
    } level[];
} zskiplistNode;

typedef struct zskiplist {
    struct zskiplistNode *header, *tail; // 头尾指针
    unsigned long length;                // 节点数量
    int level;                           // 当前层数
} zskiplist;