1 跳跃表简介
跳跃表是一种有序数据结构,它通过在每个节点中维持多个指向其他节点的指针,从而达到快速访问节点的目的。
跳跃表支持平均复杂度logN,最坏N复杂度的节点查找,还可以通过顺序性操作来批量处理节点。
在大部分情况下,跳跃表的效率可以和平衡树相媲美,并且因为跳跃表的实现比平衡树要来的更为简单,所以有不少程序都使用跳跃表来代替平衡树。
Redis使用跳跃表作为有序集合键的底层实现之一,如果一个有序集合包含的元素数量比较多,又或者有序集合中的元素的成员是比较长的字符串,Redis就会使用跳跃表作为有序集合键的底层实现。
2 跳跃表使用的场景
1) 实现有序集合键
2) 在集群节点中用作内部数据结构
3 跳跃表的实现
跳跃表包括两个结构:
1) 跳跃表节点Node
2) 跳跃表的节点集合list,用于保存跳跃表节点的信息,比如节点的数量,以及指向表头节点和表尾节点的指针等。
3.1 跳跃表list的结构
1) header,指向跳跃表的表头节点。
2) tail,指向跳跃表的表尾节点。
3) level,记录目前跳跃表内,层数最大的那个节点的层数(表头节点的层数不计算在内)
4) length,记录跳跃表的长度,也即是,跳跃表包含节点的数量。
3.2 跳跃表Node的结构
1) level,节点中层,每个层带有两个属性:前进指针和跨度(用score进行对比),前进指针用于访问位于表尾方向的其他节点,而跨度则用来记录前进指针所指向节点和当前节点的距离。当程序从表头向表尾进行遍历时,访问会沿着层的前进指针进行。
2) backward,后退指针。节点中用BW字样标记节点的后退指针,它指向位于当前节点的前一结点,后退指针在程序中从表尾向表头遍历时用的。
3) score,分值。各个节点的中1.0、2.0和3.0节点保存的分值,在跳跃表中,节点按各自所保存的分值从小到大排列。
4) obj,成员对象,各个节点中的o1,o2,o3是节点所保存的成员对象。
备注:表头节点和其他节点的构造是一样的,只不过表头节点的后退指针、分值和成员对象都用不到。