Redis设计与实现 笔记 第五章 跳跃表

跳跃表

跳跃表是一种有序的数据结构,通过在每个节点中维持多个指向其他节点的指针,从而达到快速访问节点的目的.
跳跃表支持平均 O(logN) , 最坏 O(N) 的复杂度节点查找,还可以通过顺序性操作批量节点.
节点整体效率接近红黑树,且代码复杂度低于红黑树.

跳表的实现思路也类似于红黑树,区别于红黑树通过大于小于等于某一个节点,跳表是通过判断目标值是否在两个节点之间来确定区间,进而进行范围缩小,从而进一步找到目标节点.

跳跃表的实现

/*
 * 跳跃表节点
 */
typedef struct zskiplistNode {

    // 成员对象
    robj *obj;

    // 分值
    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;

总结

书里描述的跳跃表在实际过程中的执行过程和跳跃表的组成逻辑,其中分值是通过哈希算法来进行确认的,如果分值相同,将通过对象大小来进行排序.

类似于 list , 虽然一个 zskiplistNode 就可以完成跳表, Redis 依然额外构造了 zskiplist 来优化跳跃表的快速使用