【redis源码分析】跳跃表--skiplist

    跳跃表实际上可以看作是一种模拟平衡二叉树的数据结构，他在的插入和删除都可以在O(lgN)时间复杂度内搞定，但是他的数据结构结构操作相对平衡二叉树又简单的多。在redis中的跳跃表有一个特点是他的元素同时考虑了score和member两个元素，所以可以存储score相同的元素，数据结构定义如下：

在实现的时候，将level的数组初始化为32，这样就保证了可以存储2^32个元素。跳跃表的元素会保存多条路经，这就是靠level数组做到的，理想的跳跃表其实就是一颗平衡二叉树，最上层（level[31]）的指针跨越了所有的元素，下一层跨越的元素是上一层跨越元素的一半，但是在实际中，并不会这样，而是在插入元素的时候，随即的为元素产生一个层级，这样元素的跨越就是随机的，并利用一些手段，尽量保证，上面层级跨越的层级比下面的多，这样在查找的时候，可以从最上层开始查找，找到最后一个比目标元素小的元素时，层级下降，知道找到这个元素，但是注意有一最下面一层包含了所有的元素，所以在找到和找不到的情况下，都回遍历到最下面的一个层级。这样将就模拟了二叉树的查找过程，以level表示了树的深度。在redis中，某个时候的跳跃表可以表示为下面的形式：

    在redis中，skiplist的作用有限，仅仅用来实现有序集数据类型。