redis跳转表学习与理解

学习跳转表，记录一些自己的理解。

这篇文章介绍了跳转表http://www.cnblogs.com/xuqiang/archive/2011/05/22/2053516.html。

这就是跳转表示意图。

第1章 普通跳转表——节点插入

节点插入代码如下：

boolean insert(l,key,value) 
	register list l;
	register keyType key;
	register valueType value;
{
  register int k;
  node update[MaxNumberOfLevels];
  register node p,q;
  p = l->header;
  k = l->level;
  /*******************1步*********************/
  do {  while (q = p->forward[k], q->key < key)
			p = q;
		update[k] = p;
	 } while(--k>=0);	

   if (q->key == key){
     q->value = value;
     return(false);
   };
   /*******************2步*********************/
   k = randomLevel();  
  if (k>l->level) 
  {
	k = ++l->level;
	update[k] = l->header;
  };	
  /******************3步*********************/
  q = newNodeOfLevel(k);
  q->key = key;
  q->value = value;      
  do 
  {		p = update[k];
		q->forward[k] = p->forward[k];
		p->forward[k] = q;
	} while(--k>=0);
  return(true);
} 

分析：上段代码所实现的功能可分为三部分

1、循环查找

2、新增层的处理

3、添加节点，更新指针域。

1.1第一部分 循环查找。

（1）每个节点都有1~k层指针，指向下一个节点。因此分层查找。

（2）通过比较key的大小，确定插入位置，存入update【i】，并进行下一层循环。

（3）综合以上两点可以得出，每一层，都保留了新节点的插入位置。

如图在节点12之后插入17，遍历经过的节点如图中红色所示：

update【i】在经过遍历查找后所指向的位置如下图：

1.2新增层处理

随机生成插入节点的层数k，如果大于现有最高层，则涉及到新增层的处理，指针update[k]指向头部，如上图。（这一部分想了很久，开始觉得都是头部向外指，指回去干嘛。。。。）

1.3节点指针更新

第2章 redis——跳转表节点插入。

代码如下：

zskiplistNode *zslInsert(zskiplist *zsl, double score, robj *obj) {
    zskiplistNode *update[ZSKIPLIST_MAXLEVEL], *x;
    unsigned int rank[ZSKIPLIST_MAXLEVEL];
    int i, level;
 
    redisAssert(!isnan(score));
    x = zsl->header;
/*===============1==========================*/
    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 &&
                compareStringObjects(x->level[i].forward->obj,obj) < 0))) {
            rank[i] += x->level[i].span;
            x = x->level[i].forward;
        }
        update[i] = x;
    }
    /* we assume the key is not already inside, since we allow duplicated
     * scores, and the re-insertion of score and redis object should never
     * happen since the caller of zslInsert() should test in the hash table
     * if the element is already inside or not. */
/*===============2============================*/
    level = zslRandomLevel();
    if (level > zsl->level) {
        for (i = zsl->level; i < level; i++) {
            rank[i] = 0;
            update[i] = zsl->header;
            update[i]->level[i].span = zsl->length;
    
        }
        zsl->level = level;
    }
    x = zslCreateNode(level,score,obj);
/*===============3==========================*/
    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;
    }

    for (i = level; i < zsl->level; i++) {
        update[i]->level[i].span++;
    }
    x->backward = (update[0] == zsl->header) ? NULL : update[0];
    if (x->level[0].forward)
        x->level[0].forward->backward = x;
    else
        zsl->tail = x;
    zsl->length++;
    return x;
}

2.1 rank和span计算

和普通跳转节点插入操作类似，涉及到rank和span计算稍有难度，理解如下。

x->level[i].span = update[i]->level[i].span - (rank[0] - rank[i]);

update[i]->level[i].span = (rank[0] - rank[i]) + 1;

（这两句，开始不明白，我以为同一个节点的rank[0]~rank[k]应该一样啊。。。。）

如果最后一个节点为插入，则x为3.0节点，update为2.0节点。

rank各个层的值如图所示。rank【i】代表的是i 层跨度，即找到插入位置update【i】所跨过的长度（span总和）。

update[i]->level[i].span = (rank[0] - rank[i]) + 1;可验证2.0的跨度计算。