《Redis 设计与实现》第二版读书笔记之跳跃表

跳跃表简介

• 跳跃表是一种有序的数据结构，他通过在每个节点中维持多个指向其他节点的指针，从而达到快速访问节点的目的。
• 跳跃表支持平均O(logN)、最坏O(N)复杂度的节点查找，还可以通过顺序性操作来批量处理节点
• Redis使用跳跃表作为有序集合键的底层实现之一，如果有序集合包含的元素数量比较多，又或者有序集合中元素的成员是比较长的字符串，Redis就会使用跳跃表作为有序集合键的地底层实现

跳跃表的实现

• redis.h/zskiplist结构则用于保存跳跃表节点的相关信息：

• redis.h/zskiplistNode结构用于表示跳跃表节点

redis.h/zskiplistNode

typedef struct zskiplistNode {
    // 层
    struct zskiplistLevel {
        // 前进指针
        struct zskiplistNode *forward;
        // 跨度
        unsigned int span;
    } level[];

    // 后退指针
    struct zskiplistNode *backward;
    // 分值
    double score;
    // 成员对象
    robj *obj;
} zskiplistNode;

1. 层（level）：每个层带有两个属性：前进指针和跨度。前进指针用于访问位于表尾方向的其他节点，而跨度则记录了前进指针所指向节点和当前节点的距离。
2. 后退指针：指向当前节点的前一个节点。在从表尾想表头遍历时使用
3. 分值：节点按各自所保存的分值从小到大排列
4. 成员对象：

redis.h/zskiplist

typedef struct zskiplist {
    // 表头节点和表尾节点
    struct skiplistNode *header, *tail;

    // 表中节点的数量
    unsigned long length;

    // 表中层数最大的节点的层数
    int level;
} zskiplist;

1. header：指向跳跃表的表头结点
2. tail：指向跳跃表的表尾节点
3. level：记录目前跳跃表内，层数最大的那个节点的层数
4. length：记录跳跃表的长度，也即是跳跃表目前包含节点的数量