redis sorted_set跳跃表（skiplist）

Sortedset底层存储结构

两种数据结构支持 ziplist和 skiplist

只有同时满足如下条件是,使用的是ziplist
1.有序集合保存的元素数量小于128个
2.有序集合保存的所有元素的长度小于64字节

当ziplist作为存储结构时候,每个集合元素使用两个紧挨在一起的压缩列表结点来保存,第一个节点保存元素的成员,第二个元素保存元素的分值.

跳跃表(skiplist)

跳跃表是一种基于有序链表的扩展,简称跳表.跳表会维护多个索引链表和原链表.
(不断得提升新的关键节点形成新的有序链表,通过空间换时间.)

一个skip list 跳表，应该具有以下特征：
1.一个跳表应该有几个层（level）组成；
2.跳表的第一层包含所有的元素；
3.每一层都是一个有序的链表；
4.如果元素x出现在第i层，则所有比i小的层都包含x；
5.第i层的元素通过一个down指针指向下一层拥有相同值的元素；
6.在每一层中，-1和1两个元素都出现(分别表示INT_MIN和INT_MAX)；
7.Top指针指向最高层的第一个元素。

举个例子，你如果想查找32，那么先从第三层开始搞起，因为是有序的，所以32可以确定是在第二层的21和37之间，然后呢，再到第三层就能找到了。 他的一些算法是含有一些随机性的。

这是wiki上的一个动图

插入方式

跳表插入节点的流程

1.新节点和各层索引节点逐一比较,确定原链表的插入位置O(logN)
2.把索引插入到原链表,O(1)
3.利用抛硬币的随机方式,决定新界店是否提升为上一级索引.O(logN)
总体上跳表插入的时间复杂度是O(logN),空间复杂度是O(N)

节点删除的流程

1.在索引层找到响应节点进行删除,删除每一层的相同节点O(logN)
2.如果某一层在删除节点后只剩下一个节点,那么这个链表就可以删除了.O(logN)
跳表删除的时间复杂度是O(logN)