redis5.0.7zskiplist

typedef struct zskiplistNode {
    sds ele;
    double score;
    struct zskiplistNode *backward;
    struct zskiplistLevel {
        struct zskiplistNode *forward;
        unsigned long span;
    } level[];
} zskiplistNode;

typedef struct zskiplist {
    struct zskiplistNode *header, *tail;
    unsigned long length;
    int level;
} zskiplist;

zskiplist包含4个成员，指向头尾节点的指针、列表长度和层级。zskiplistNode包含4个成员，元素、分数、第0层级的前驱和zskiplistLevel层级。zskiplistLevel包含两个成员，每一层级的后继和两个后继之间跨越了多少了个节点。整个跳表生成以后类似下图。红色表示header，蓝色表示nullptr，蓝色前驱是tail，第0层的节点都是双向的。

增加一个节点。

x = zsl->header;
for (i = zsl->level-1; i >= 0; i--) {
	rank[i] = i == (zsl->level-1) ? 0 : rank[i+1];
	while (x->level[i].forward &&
			(x->level[i].forward->score < score ||
				(x->level[i].forward->score == score &&
				sdscmp(x->level[i].forward->ele,ele) < 0)))
	{
		rank[i] += x->level[i].span;
		x = x->level[i].forward;
	}
	update[i] = x;
}

level = zslRandomLevel();

for (i = 0; i < level; i++) {
	x->level[i].forward = update[i]->level[i].forward;
	update[i]->level[i].forward = x;
	x->level[i].span = update[i]->level[i].span - (rank[0] - rank[i]);
	update[i]->level[i].span = (rank[0] - rank[i]) + 1;
}

x->backward = (update[0] == zsl->header) ? NULL : update[0];
if (x->level[0].forward)
	x->level[0].forward->backward = x;
else
	zsl->tail = x;

 这里的代码省略了一部分。第一段更新了所有层的update，找到所有可以插入新节点的前驱，更新了跨越的节点。第二段生成了一个层级，用来新插入的节点可以插入到几个层级。第三段就是把这个节点插入的跳表里去。第四段就是更新尾节点。

理解了增加节点，剩下的操作就比较简单了。删除一个节点，找到所有的前驱节点，然后删掉对应的节点。修改节点主要多了两步，删除原节点，增加新节点。查找一个节点就是跳表的优势所在，从最上层一层层往下查找，查找起来速度非常快。