数据模型-数据结构-压缩列表

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

总结：

压缩列表是为列表键和哈希键服务的，那么压缩列表数据结构就要支持相关操作：

支持的数据类型

列表数据类型

例如，执行以下命令将创建一个压缩列表实现的列表键：

列表键里面包含的都是1、3、5、10086这样的小整数值，以及"hello"、"world"这样的短字符串。

哈希数据类型

当一个哈希键只包含少量键值对，比且每个键值对的键和值要么就是小整数值，要么就是长度比较短的字符串，那么Redis就会使用压缩列表来做哈希键的底层实现

举个例子，执行以下命令将创建一个压缩列表实现的哈希键：

压缩列表API

压缩列表的构成

压缩列表是Redis为了节约内存而开发的，是由一系列特殊编码的连续内存块组成的顺序型（sequential）数据结构。一个压缩列表可以包含任意多个节点（entry），每个节点可以保存一个字节数组或者一个整数值。

图7-1展示了压缩列表的各个组成部分，表7-1则记录了各个组成部分的类型、长度以及用途


可以看出由五部分构成

• zlbytes，标识压缩列表的总长，单位字节
• zltail，压缩列表起始地址的偏移量，指向tail元素的地址
• zlen，压缩列表的节点个数，
• entryX
• zlend

举例

zlbytes

❑列表zlbytes属性的值为0xd2（十进制210），表示压缩列表的总长为210字节。

zltail

❑列表zltail属性的值为0xb3（十进制179），这表示如果我们有一个指向压缩列表起始地址的指针p，那么只要用指针p加上偏移量179，就可以计算出表尾节点entry5的地址。

entryX 压缩列表节点

每个压缩列表节点可以保存一个字节数组或者一个整数值。

其中，字节数组可以是以下三种长度的其中一种：

❑长度小于等于63（2^6–1）字节的字节数组；
❑长度小于等于16383（2^14–1）字节的字节数组；
❑长度小于等于4294967295（2^32–1）字节的字节数组；

而整数值则可以是以下六种长度的其中一种：

❑4位长，介于0至12之间的无符号整数；
❑1字节长的有符号整数；
❑3字节长的有符号整数；
❑int16_t类型整数；
❑int32_t类型整数；
❑int64_t类型整数。

压缩列表节点的构成

每个压缩列表节点都由previous_entry_length、encoding、content三个部分组成，如图7-4所示。

previous_entry_length

节点的previous_entry_length属性以字节为单位，记录了压缩列表中前一个节点的长度。previous_entry_length属性的长度可以是1字节或者5字节：

❑如果前一节点的长度小于254字节，那么previous_entry_length属性的长度为1字节：前一节点的长度就保存在这一个字节里面。

❑如果前一节点的长度大于等于254字节，那么previous_entry_length属性的长度为5字节：其中属性的第一字节会被设置为0xFE（十进制值254），而之后的四个字节则用于保存前一节点的长度。

因为节点的previous_entry_length属性记录了前一个节点的长度，所以程序可以通过指针运算，根据当前节点的起始地址来计算出前一个节点的起始地址。

previous_entry_length动态处理

previous_entry_length的特性： 变长（不固定的长度），这样做的好处同样是为了省去不必要的开销，

假设一种场景

在一个压缩列表中，有多个连续的、长度介于250字节到253字节之间的节点e1至eN，如图7-11所示。

因为e1至eN的所有节点的长度都小于254字节，所以记录这些节点的长度只需要1字节长的previous_entry_length属性，换句话说，e1至eN的所有节点的previous_entry_length属性都是1字节长的。

这时，如果我们将一个长度大于等于254字节的新节点new设置为压缩列表的表头节点，那么new将成为e1的前置节点，如图7-12所示。

因为e1的previous_entry_length属性仅长1字节，它没办法保存新节点new的长度，所以程序将对压缩列表执行空间重分配操作，并将e1节点的previous_entry_length属性从原来的1字节长扩展为5字节长。

因为previous_entry_length存储的是前一节点的长度，并且前一节点是动态变化的，导致节点的previous_entry_length属性可能发生长度从一字节向五字节的改变（增加节点）以及长度从五字节向一字节的改变（删除节点），正如上面这种情况，所有节点要重新分配空间来支持previous_entry_length长度的增加。Redis将这种在特殊情况下产生的连续多次空间扩展操作称之为“连锁更新”（cascade update），图7-13展示了这一过程。

encoding

节点的encoding属性记录了节点的content属性所保存数据的类型以及长度：

❑ (encoding属性的长度）一字节、两字节或者五字节长，
值的最高位为00、01或者10的是字节数组编码：这种编码表示节点的content属性保存着字节数组，数组的长度由编码除去最高两位之后的其他位记录；

❑==(encoding属性的长度）一字节长==，
值的最高位以11开头的是整数编码：这种编码表示节点的content属性保存着整数值，整数值的类型和长度由编码除去最高两位之后的其他位记录；

表7-2记录了所有可用的字节数组编码，而表7-3则记录了所有可用的整数编码。表格中的下划线“_”表示留空，而b、x等变量则代表实际的二进制数据，为了方便阅读，多个字节之间用空格隔开。

content

节点的content属性负责保存节点的值，节点值可以是一个字节数组或者整数，值的类型和长度由节点的encoding属性决定。

图7-9展示了一个保存字节数组的节点示例：❑编码的最高两位00表示节点保存的是一个字节数组；❑编码的后六位001011记录了字节数组的长度11；❑content属性保存着节点的值"hello world"。

❑编码的最高两位00表示节点保存的是一个字节数组；
❑编码的后六位001011记录了字节数组的长度11；
❑content属性保存着节点的值"hello world"。

图7-10展示了一个保存整数值的节点示例

❑编码11000000表示节点保存的是一个int16_t类型的整数值；
❑content属性保存着节点的值10086。