转自：http://www.redisbook.com 

跳跃表

跳跃表（维基百科）：

从图中可以看到， 跳跃表主要由以下部分构成：

  • 表头（head）：负责维护跳跃表的节点指针。

  • 跳跃表节点：保存着元素值，以及多个层。

  • 层：保存着指向其他元素的指针。高层的指针越过的元素数量大于等于低层的指针，为了提高查找的效率，程序总是从高层先开始访问，然后随着元素值范围的缩小，慢慢降低层次。

  • 表尾：全部由 

  • 允许重复的 member 的 score 值，还要检查 score 值可以重复时，单靠 member 域都一并检查才行。

  • 每个节点都带有一个高度为 1 层的后退指针，用于从表尾方向向表头方向迭代：当执行 ZREVRANGEBYSCORE 这类以逆序处理有序集的命令时，就会用到这个属性。

这个修改版的跳跃表由 redis.h/zskiplistNode 定义： 

typedef struct zskiplistNode {

    // member 对象
    robj *obj;

    // 分值
    double score;

    // 后退指针
    struct zskiplistNode *backward;

    // 层
    struct zskiplistLevel {

        // 前进指针
        struct zskiplistNode *forward;

        // 这个层跨越的节点数量
        unsigned int span;

    } level[];

} zskiplistNode;

以下是操作这两个数据结构的 API ，它们的作用以及相应的算法复杂度：

函数作用复杂度
zslFreeNode释放给定的跳跃表节点最坏 O(1)
zslFree释放给定的跳跃表最坏 O(N)
score 和 zslDeleteNode删除给定的跳跃表节点最坏 O(N)
member 和 zslFirstInRange找到跳跃表中第一个符合给定范围的元素最坏 O(N) 平均 O(logN)
zslDeleteRangeByScore删除 zslDeleteRangeByRank删除给定排序范围内的所有节点最坏 O(N2)
zslGetElementByRank根据给定排位，返回该排位上的元素节点最坏 O(N) 平均 O(logN)

跳跃表的应用

和字典、链表或者字符串这几种在 Redis 中大量使用的数据结构不同， 跳跃表在 Redis 的唯一作用， 就是实现有序集数据类型。

跳跃表将指向有序集的 member 域的指针作为元素， 并以 x 、 z 三个 6 、 15 分别创建三个 member 和 member 和 member 和 有序集》章节。

小结

  • 跳跃表是一种随机化数据结构，它的查找、添加、删除操作都可以在对数期望时间下完成。

  • 跳跃表目前在 Redis 的唯一作用就是作为有序集类型的底层数据结构（之一，另一个构成有序集的结构是字典）。

  • 为了适应自身的需求，Redis 基于 William Pugh 论文中描述的跳跃表进行了修改，包括：

  1. score 和 <tt literal"="" style="background-color: transparent; color: rgb(34, 34, 34); font-size: 1.1em;">memeber 。

  2. 每个节点带有高度为 1 层的后退指针，用于从表尾方向向表头方向迭代。