Redis数据结构（二）跳表、整数集合、压缩列表

Skip List

跳表是一种有序数据结构，Redis使用跳表作为有序集合键的底层实现之一。
redis6.0的代码中，跳表结构由server.h中定义，其中zskiplistNode表示跳表节点，zskiplist保存跳表节点相关信息，比如节点数量，以及指向表头电点和表尾节点的指针等。

上图左侧是zskiplist结构。其中header、tail表示头尾节点。level记录目前表内，层数最大的节点层数(不计算头结点)。length记录跳表长度，表示目前包含节点的数量（不计算头结点）。

跳表节点

typedef struct zskiplistNode {
    sds ele;
    double score;
    struct zskiplistNode *backward;
    struct zskiplistLevel {
        struct zskiplistNode *forward;
        unsigned long span;
    } level[];
} zskiplistNode;

• ele，字符串对象

• score，分值，跳表中节点按照score从小到大排序。同一跳表中，节点保存对象必须唯一，但分值可相同，分值相同的节点按照ele排序。如上图中o1 <= o2 <= o3.
  

• backward，后退指针。用于从表尾访问节点，每次可后退一个节点。图5-6中虚线表示从表尾向表头遍历节点。首先通过tail访问表尾节点。然后通过BW访问前一个节点，直至BW为NULL。

• level。跳表节点的level数组可以包含多个元素，每个元素都包含一个指向其他节点的指针。每次创建一个新跳表节点时，程序会根据幂次定律（越大的数出现的概率越小）随机生成[1,32]之间的值作为level数组大小，这个大小就是层的“高度”。
  

• forward，前进指针。每层都有一个指向表尾的前进指针，用于从表头向表尾访问。图5-3虚线表示表头向表尾方向遍历节点的路径。

  • 1）迭代程序首先访问跳表的第一个节点（表头），然后从第四层前进指针移动到表的第二个节点。
  • 2）在第二个节点时，程序沿第二层前进指针移动到表的第三个节点。
  • 3）在第三个节点时，程序按第二层移动到第四个节点。
  • 4）继续按照前进指针移动时，为NULL，此次遍历结束。
    

• span，跨度。记录两个节点间的距离。两个节点间跨度越大，距离越远。指向NULL的所有前进指针跨度为0。跨度是用来计算排位（rank）的：在查找某个节点的过程中，将沿途访问过的所有层的跨度累积起来，得到的结构就是目标节点再跳表中的rank。例如图5-4查找score为3，对象为o3的节点时，沿途经历的层：查找经过一个层，并且跨度为3，所以目标节点再跳表中的rank为3。

跳表

实现如下：

typedef struct zskiplist {
    struct zskiplistNode *header, *tail;
    unsigned long length;
    int level;
} zskiplist;

跳表API也在server.h中，包含创建释放跳表、插入删除新节点、获取节点rank等。

整数集合

整数集合(intset)是集合键的底层实现之一，当一个集合只包含整数元素，并且元素数量不多时，就会采用整数集合作为底层实现。

整数集合的实现

typedef struct intset {
    uint32_t encoding; // 编码方式
    uint32_t length;	// 包含元素数量
    int8_t contents[];	//元素数组
} intset;

content数组中的数据项从小到大有序排列。encoding标识该intset的元素是int8、int32还是int64。

升级

每当将新元素插入整数集合，并且新元素类型比当前所有元素类型要长时，整数集合先进行升级，再将新元素插入。
升级并添加元素分三步：

1. 根据新元素类型，扩展整数集合底层数组的空间大小，并为新元素分配空间。
2. 将底层数组的所有元素转换成与新元素相同类型，并放置到正确的位上（维持大小顺序）。
3. 插入新元素。
   

压缩列表

压缩列表（ziplist）是列表键和哈希键的底层实现之一，当一个列表键只包含少量列表项（或哈希键只包含少量kv对），并且每个列表项要么是小整数值，要么是长度较短字符串，那么Redis会使用ziplist作为底层实现。

压缩列表的构成

压缩列表是由一系列特殊编码的连续内存块组成的顺序型数据结构，一个压缩列表可以包含任意多个节点，每个节点可以保存一个字节数组或一个整数值。
图7-1展示压缩列表的各个组成部分。

各个字段的说明如下：

压缩列表节点的构成

previous_entry_length属性以字节为单位，记录压缩列表的前一个节点长度。previous_entry_length属性的长度可以是1字节或5字节。通过previous_entry_length，程序可以根据当前节点起始地址计算前一个节点起始地址。

encoding属性记录街爱你的content属性所保存数据类型和长度。

content保存节点值，可为整数或字节数组。