Redis数据结构—跳跃表

大家好,我是白泽,最近学校有点事Redis知识点的更新就放缓了,趁着周六赶紧补一补,我们开始吧~

跳跃表产生的背景

对于有序列表的查找来说,无法找到类似用在有序数组上的二分查找这样的查找算法,因此遍历的效率比较低,跳跃表的出现就是为了提高有序链表的遍历效率

跳跃表的结构

下图是概念上的跳跃表,框中的部分是原始的有序链表,我们将其进行改造,抽离成多层,属于同一列的节点的值相同,这就是一个跳跃表的雏形了(L1、L2、L3是每层对应的头节点,此时共3层),然后我们就能用跳跃表来简化我们的有序链表的查询操作

此时你应该很疑惑,跳跃表是如何从一个有序单列表抽离成很多层的从而得到跳跃表的,很遗憾,跳跃表的建立将设计概率论的一些知识,我认为现在讲解这部分并不合适,所以请假设跳跃表已经由一个有序单列表出发并建立成功了,接下来我们来看看跳跃表是如何简化有序链表的查询操作的

利用跳跃表查询有序链表

查询规则:如果查询目标大于当前值,查当前节点的后一个(同层),如果小于当前值,则下降到当前节点的前一个节点的正下方,并从该节点的后一个开始查询(正下方节点不用查),如果已经下降到第一层,且查到某个值已经大于查询目标的值,则表示目标表示不存在,无需继续查询

  1. 现在我们要查询有序链表中是否存在3这个值,此时跳跃表已经抽离成3层,我们从L3头节点出发,它有一个指向后一个节点的指针,很辛运,后一个节点值为3,查询结束

  1. 现在我们查询有序链表中是否存在值为2.5的节点,依旧从第3层的头节点L3开始查,后一个是值为3的节点,显然,因为链表是有序的,因此往后查将没有结果,所以下降到第2层的L2节点的后一个节点去查,值为1,继续查它的后一位,值为3,因此需要再下降到第1层的值为1的节点的后一个节点开始查询,值为2,继续查后一个节点,值为3,此时无法下降,查询结束

Redis跳跃表图示

Redis的跳跃表本质上就是上面我们提到的跳跃表,它由一个个跳跃表Node节点组成,而整体由一个list表示,由list表示是因为list记录了listNode网络的头指针,尾指针,层数,长度信息,有了list就可以操作跳跃表,这种list的用法出现在绝大多数Redis的数据结构中

光看下面这张图你可能很疑惑,这和上面的跳跃表结构图并不相同,别急,往下看~

Redis跳跃表数据结构

跳跃表的list结构实现

typedef struct zskiplist {
struct zskiplistNode *header, *tail;//表头节点和表尾节点
unsigned long length; //表中的节点数量
int level; //表中层数最大的节点数量
}

跳跃表的Node节点实现

typedef struct zskiplistNode {
//后退指针,指向前一个节点的位置,用于逆向遍历顺序链表
struct zskiplistNode *backward;
//分值,因为需要建立有序链表,因此需要一个值去度量顺序
double score;
//成员对象,用于存放可能需要保存的对象
robj *obj;
//层
struct zskiplistLevel {
//前进指针
struct zskiplistNode *forward;
//跨度(上图箭头上的数值表示跨过了几个节点)
unsigned int span;
} level[];
} zskiplistNode;

listNode中最重要的是level[]数组,这个数组就是图上每个Node节点的L1~Ln的部分,它的作用就是虽然我们整个Redis跳跃表只有n个节点,但是我们在逻辑上将其抽离成了多层:同一列上节点,各个层其实共用一个节点,并没有新创建多余的节点

上面整个跳跃表在Redis中只要4个listNode节点就能组成,且用一个list结构表示,如下:

再说一遍:每个红框只代表一个listNode节点,而它内部的level[]数组,举个例子:

节点A的level[1]的forward属性表示:如果将节点A当作在第一层上,该节点的后一个节点的指针

同理,节点A的level[2]的forward属性表示:如果将节点A当作在第二层,该节点的后一个节点的指针

小结

  1. 你一定要好好理解:level[i]中存放的是第i层上,当前节点的下一个节点的地址,每个节点是被各层共享的,不同的是在各层上,它指向的下一个节点的地址不同

  2. 每层形成长短不一的有序链表,配合下降层数进行有序链表的查询,效率更高

Redis数据结构—跳跃表的更多相关文章

  1. redis skiplist (跳跃表)

    redis skiplist (跳跃表) 概述 redis skiplist 是有序的, 按照分值大小排序 节点中存储多个指向其他节点的指针 结构 zskiplist 结构 // 跳跃表 typede ...

  2. redis的跳跃表

    跳跃表是一种插入.查询.删除的平均时间复杂度为O(nlogn)的数据结构,在最差情况下是O(n),当然这几乎很难出现. 和红黑树相比较 最差时间复杂度要差很多,红黑树是O(nlogn),而跳跃表是O( ...

  3. Redis(2)——跳跃表

    一.跳跃表简介 跳跃表(skiplist)是一种随机化的数据结构,由 William Pugh 在论文<Skip lists: a probabilistic alternative to ba ...

  4. 【Redis】跳跃表原理分析与基本代码实现(java)

    最近开始看Redis设计原理,碰到一个从未遇见的数据结构:跳跃表(skiplist).于是花时间学习了跳表的原理,并用java对其实现. 主要参考以下两本书: <Redis设计与实现>跳表 ...

  5. 用golang实现常用算法与数据结构——跳跃表(Skip list)

    背景 最近在学习 redis,看到redis中使用 了skip list.在网上搜索了一下发现用 golang 实现的 skip list 寥寥无几,性能和并发性也不是特别好,于是决定自己造一个并发安 ...

  6. redis 系列7 数据结构之跳跃表

    一.概述 跳跃表(skiplist)是一种有序数据结构,它通过在每个节点中维持多个指向其他节点的指针,从而达到快速访问节点的目的.在大部分情况下,跳跃表的效率可以和平衡树(关系型数据库的索引就是平衡树 ...

  7. Redis 底层数据结构之跳跃表

    文章参考 <Redis 设计与实现>黄建宏 Redis(2) 跳跃表 跳跃表 跳跃表 skiplist 是一种有序数据结构,它通过在每个节点中维持多个指向其他节点的指针,从而达到快速访问节 ...

  8. [Redis]Redis的设计与实现-链表/字典/跳跃表

    redis的设计与实现:1.假如有一个用户关系模块,要实现一个共同关注功能,计算出两个用户关注了哪些相同的用户,本质上是计算两个用户关注集合的交集,如果使用关系数据库,需要对两个数据表执行join操作 ...

  9. redis 笔记01 简单动态字符串、链表、字典、跳跃表、整数集合、压缩列表

    文中内容摘自<redis设计与实现> 简单动态字符串 1. Redis只会使用C字符串作为字面量,在大多数情况下,Redis使用SDS(Simple Dynamic String,简单动态 ...

随机推荐

  1. react第三方库

    作者:慕课网链接:https://www.zhihu.com/question/59073695/answer/1071631250来源:知乎著作权归作者所有.商业转载请联系作者获得授权,非商业转载请 ...

  2. Win 10 下Pipenv源码安装 odoo12

    因为,本身电脑已经安装odoo8,9,10等odoo的版本,当时,没有考虑是直接是统一的环境很配置. 现在,在odoo11的环境下,需要Python 3的语言环境可以很好地支持odoo11的功能,所以 ...

  3. 使用Webpack构建多页面程序

    使用webpack搭建单页面程序十分常见,但在实际开发中我们可能还会有开发多页面程序的需求,因此我研究了一下如何使用webpack搭建多页面程序. 原理 将每个页面所在的文件夹都看作是一个单独的单页面 ...

  4. 根据数据渲染DOM树形菜单——中途感想

    根据数据渲染DOM树形菜单,这个需求做了几天了.一开始觉得用while也可以实现一层一层查找数据,但后来发现while还是做不到,因为我查找这个动作必须有进入有出来然后进入下一个条目,但while只能 ...

  5. Qt添加注释模板

    背景 软件:Qt Creator 在写代码的时候我们为了规范化,一般会加文件注释.类注释和函数注释 用注释来说明我们的代码,也方便模块化开发 那么我们在写注释的时候经常会写一些重复的内容,我们会复制粘 ...

  6. ubuntu修改默认启动内核

    一.序言 新换的笔记本由于太新的主板芯片,驱动还没有完善.每次升级系统内核都要小心谨慎.经常发生部分硬件驱动失败的事情.系统Ubuntu 20.04.2 LTS x86_64 ,我现在使用的两个版本的 ...

  7. 关于HashMap的一些思考

    一.HashMap的负载因子的作用 当 HashMap 中的元素个数(包含链表.红黑树上的元素)达到数组长度的0.75倍的时候,开始扩容.   二.HashMap的负载因子为什么是0.75 主要是为了 ...

  8. SSH&SSM

    SSH和SSM的区别 SSH是Spring+Struts+Hibernate的缩写,是一种Web应用程序开源框架.框架系统分为四层:表选层.业务逻辑层.数据持久层和模块层.SSM是Spring+Spr ...

  9. Echarts概述

    1. Echarts概述 ECharts是百度开源的纯 Javascript 图表库,目前开源可以与highcharts相匹敌的一个图表库.支持折线图(区域图).柱状图(条状图).散点图(气泡图).K ...

  10. 自动化kolla-ansible部署ubuntu20.04+openstack-victoria之替换logo-13

    自动化kolla-ansible部署ubuntu20.04+openstack-victoria之替换logo-13 欢迎加QQ群:1026880196 进行交流学习 替换 openstack das ...