HBase原理--跳跃表

跳跃表（SkipList）是一种能高效实现插入、删除、查找的内存数据结构，这些操做的指望复杂度都是O(logN)。与红黑树以及其余的二分查找树相比，跳跃表的优点在于实现简单，并且在并发场景下加锁粒度更小，从而能够实现更高的并发性。正由于这些优势，跳跃表普遍使用于KV数据库中，诸如Redis、LevelDB、HBase都把跳跃表做为一种维护有序数据集合的基础数据结构。

众所周知，链表这种数据结构的查询复杂度为O(N)，这里N是链表中元素的个数。在已经找到要删除元素的状况下，再执行链表的删除操做其实很是高效，只需把待删除元素前一个元素的next指针指向待删除元素的后一个元素便可，复杂度为O(1)，如图所示

但问题是，链表的查询复杂度过高，由于链表在查询的时候，须要逐个元素地查找。若是链表在查找的时候，可以避免依次查找元素，那么查找复杂度将下降。而跳跃表就是利用这一思想，在链表之上额外存储了一些节点的索引信息，达到避免依次查找元素的目的，从而将查询复杂度优化为O(logN)。将查询复杂度优化以后，天然也优化了插入和删除的复杂度。

1.定义

跳跃表的定义以下：

•跳跃表由多条分层的链表组成（设为S0, S1, S2, ... , Sn），例如图中有6条链表。
•每条链表中的元素都是有序的。
•每条链表都有两个元素：+∞（正无穷大）和- ∞（负无穷大），分别表示链表的头部和尾部。
•从上到下，上层链表元素集合是下层链表元素集合的子集，即S1是S0的子集，S2是S1的子集。
•跳跃表的高度定义为水平链表的层数。

2.查找

在跳跃表中查找一个指定元素的流程比较简单。如图所示，以左上角元素（设为currentNode）做为起点查找元素5：

•若是发现currentNode后继节点的值小于等于待查询值，则沿着这条链表向后查询，不然，切换到当前节点的下一层链表。
•继续查询，直到找到待查询值为止（或者currentNode为空节点）为止。

3.插入

跳跃表的插入算法要复杂一点。如图所示。首先，须要按照上述查找流程找到待插入元素的前驱和后继；而后，按照以下随机算法生成一个高度值：

(图在跳跃表插入元素48)

最后，将待插入节点按照高度值生成一个垂直节点（这个节点的层数正好等于高度值），以后插入到跳跃表的多条链表中去。假设height=randomHeight(p)，这里须要分两种状况讨论：
•若是height大于跳跃表的高度，那么跳跃表的高度被提高为height，同时须要更新头部节点和尾部节点的指针指向。
•若是height小于等于跳跃表的高度，那么须要更新待插入元素前驱和后继的指针指向。

跳跃表的查找、删除、插入的复杂度都是O(logN)。

文章基于《HBase原理与实践》一书