Redis Zrange 范围查找-底层分析

参考文献：https://www.jianshu.com/p/8b7a6143b75d

介绍

Redis Zrange 是有序集合( SortedSet ) 提供的一个命令，可以返回有序集中指定区间内的成员，而有序集合比较有用的一个功能就是 “范围查找” 时间复杂度平均是 O[(LogN)+M] M是返回的元素个数，有序集合底层是通过字典+跳跃表的方式来实现的，我们这里只看这个跳跃表结构如何实现范围查找.

跳跃表

跳跃表可以理解成是可以二分查找的链表，因为跳跃表是基于链表去实现的，而每个节点都会随机一个层数，同时这个节点会根据当前随机出的level层数去创建一个level数组，而这个数组里面就是保存每一层的对应的前驱指针，所以每一个节点的level层数都不一样，这样最后的结果就是有的节点在高层有的在低层，但是根据随机算法设定高层的节点数永远小于低层，全部分散开从高到低形成跨度，每次查找某个值也是先在高level层去查找，因为高level层的节点永远是最少的且跨度最大的，我们这里具体太详细的概念就不做多说了，可以详细去了解下这个

上面这张图大概就是描述redis里面的一个跳跃表结构，score就是分数也就是节点的value值，查找的时候就是利用每一层的跨度从高到低去比较value的大小最终确定结果，也可以理解成从高到低不断的缩小查找范围，跟二分查找有点类似，这也就是我们上面说的跳跃表就是一个可以二分的链表，但是可以看到除了score还有一个span字段，正常的跳跃表是没有这个span字段的，而作者为了可以实现范围查找（分页）扩展了一个这个字段用来记录从高到低每个节点距离下一个节点之间的跨度。

范围查找（分页） span 字段

首先因为我们要做的是范围查找，不像上面的可以按分数从高到低利用跨度去比较缩小范围然后最后定位一个节点，我们要做的是 limit 0 10 -- limit 20 10 -- limit 100 10
这样的效果，如果不加这个span字段那么就只能退化成从最低层节点开始的位置不断的向后遍历直到找到我们要的范围起始位置节点，那么最终的时间复杂度也就是O(n)，然而加上这个span字段之后，也可以跟查找分数的方式一样从最高层利用span这个字段（记录距离下一个节点的距离），去不断的累加span值判断是否小于等于我们的起始位置，如果不等于则判断是否当前就是我们的起始位置，如果也不是那么就降下来一层继续累加span，跟查找分数的方式基本一样.