Redis列表对象
列表对象的类型为REDIS_LIST,列表对象的编码可以实ziplist或者linkedlist。
Redis ziplist
压缩列表是Redis为了节约内存而开发的,有一系列特殊的编码和连续内存块组成的顺序型数据结构,一个压缩列表可以包含任意多个节点,每个节点可以保存一个字节数组或者一个整数值。
属性 | 类型 | 长度 | 用途 |
---|---|---|---|
zlbytes | uint32_t | 4 字节 | 记录整个压缩列表占用的内存字节数:在对压缩列表进行内存重分配,或者计算zlend 的位置时使用 |
zltail | uint32_t | 4 字节 | 记录压缩列表表尾节点距离压缩列表的起始地址有多少字节: 通过这个偏移量,程序无须遍历整个压缩列表就可以确定表尾节点的地址。 |
zllen | uint16_t | 2 字节 | 记录了压缩列表包含的节点数量: 当这个属性的值小于 UINT16_MAX (65535 )时, 这个属性的值就是压缩列表包含节点的数量; 当这个值等于 UINT16_MAX 时, 节点的真实数量需要遍历整个压缩列表才能计算得出。 |
entryX | 列表节点 | 不定 | 压缩列表包含的各个节点,节点的长度由节点保存的内容决定。 |
zlend | uint8_t | 1 字节 | 特殊值 0xFF (十进制 255 ),用于标记压缩列表的末端。 |
- 列表
zlbytes
属性的值为0x50
(十进制80
), 表示压缩列表的总长为80
字节。 - 列表
zltail
属性的值为0x3c
(十进制60
), 这表示如果我们有一个指向压缩列表起始地址的指针p
, 那么只要用指针p
加上偏移量60
, 就可以计算出表尾节点entry3
的地址。 - 列表
zllen
属性的值为0x3
(十进制3
), 表示压缩列表包含三个节点。
Redis压缩列表节点的构成
每个压缩列表节点可以保存一个字节数组或者一个整数值。
其中,字节数组可以是以下三种长度的其中一种:
- 长度小于等于
63
字节的字节数组; - 长度小于等于
16383
字节的字节数组; - 长度小于等于
4294967295
字节的字节数组;
整数值可以是以下六种长度的其中一种:
4
位长,介于0
至12
之间的无符号整数;1
字节长的有符号整数;3
字节长的有符号整数;int16_t
类型整数;int32_t
类型整数;int64_t
类型整数。
每个压缩节点都有previous_entry_length
、encoding
、content
三个部分组成:
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
属性记录了前一个节点的长度, 所以程序可以通过指针运算, 根据当前节点的起始地址来计算出前一个节点的起始地址。
如果我们有一个指向当前节点起始地址的指针 c
, 那么我们只要用指针 c
减去当前节点 previous_entry_length
属性的值, 就可以得出一个指向前一个节点起始地址的指针 p
只要我们拥有了一个指向某个节点起始地址的指针, 那么通过这个指针以及这个节点的 previous_entry_length
属性, 程序就可以一直向前一个节点回溯, 最终到达压缩列表的表头节点。
encoding
节点的encoding
属性记录了节点的content
属性所保存的数据的类型以及长度:
- 一字节、两字节或者五字节长, 值的最高位为
00
、01
或者10
的是字节数组编码: 这种编码表示节点的content
属性保存着字节数组, 数组的长度由编码除去最高两位之后的其他位记录; - 一字节长, 值的最高位以
11
开头的是整数编码: 这种编码表示节点的content
属性保存着整数值, 整数值的类型和长度由编码除去最高两位之后的其他位记录;
编码 | 编码长度 | content 属性保存的值 |
---|---|---|
00bbbbbb | 1 字节 | 长度小于等于 63 字节的字节数组。 |
01bbbbbb xxxxxxxx | 2 字节 | 长度小于等于 16383 字节的字节数组。 |
10______ aaaaaaaa bbbbbbbb cccccccc dddddddd | 5 字节 | 长度小于等于 4294967295 的字节数组。 |
编码 | 编码长度 | content 属性保存的值 |
---|---|---|
11000000 | 1 字节 | int16_t 类型的整数。 |
11010000 | 1 字节 | int32_t 类型的整数。 |
11100000 | 1 字节 | int64_t 类型的整数。 |
11110000 | 1 字节 | 24 位有符号整数。 |
11111110 | 1 字节 | 8 位有符号整数。 |
1111xxxx | 1 字节 | 使用这一编码的节点没有相应的 content 属性, 因为编码本身的 xxxx 四个位已经保存了一个介于 0 和12 之间的值, 所以它无须 content 属性。 |
content
节点的 content
属性负责保存节点的值, 节点值可以是一个字节数组或者整数, 值的类型和长度由节点的 encoding
属性决定。
- 编码的最高两位
00
表示节点保存的是一个字节数组; - 编码的后六位
001011
记录了字节数组的长度11
; content
属性保存着节点的值"hello world"
。
Redis 链表
链表节点的实现
typedef struct listNode{
struct listNode *prev;
struct listNode *next;
void *value;
}
多个 listNode
可以通过 prev
和 next
指针组成双端链表.。
typedef struct list {
// 表头节点
listNode *head;
// 表尾节点
listNode *tail;
// 链表所包含的节点数量
unsigned long len;
// 节点值复制函数
void *(*dup)(void *ptr);
// 节点值释放函数
void (*free)(void *ptr);
// 节点值对比函数
int (*match)(void *ptr, void *key);
} list;
Redis 的链表实现的特性可以总结如下:
- 双端: 链表节点带有
prev
和next
指针, 获取某个节点的前置节点和后置节点的复杂度都是O(1)
. - 无环: 表头节点的
prev
指针和表尾节点的next
指针都指向NULL
, 对链表的访问以NULL
为终点。 - 带表头指针和表尾指针: 通过
list
结构的head
指针和tail
指针, 程序获取链表的表头节点和表尾节点的复杂度为O(1)
. - 带链表长度计数器: 程序使用
list
结构的len
属性来对list
持有的链表节点进行计数, 程序获取链表中节点数量的复杂度为O(1)
. - 多态: 链表节点使用
void*
指针来保存节点值, 并且可以通过list
结构的dup
、free
、match
三个属性为节点值设置类型特定函数, 所以链表可以用于保存各种不同类型的值。
Redis列表常用命令
不同编码的列表对象
列表对象的编码可以是 ziplist
或者 linkedlist
。
ziplist
编码的列表对象使用压缩列表作为底层实现, 每个压缩列表节点(entry)保存了一个列表元素。
举个例子, 如果我们执行以下 RPUSH 命令, 那么服务器将创建一个列表对象作为 numbers
键的值:
上图分别是两种编码的列表表示
两种编码的编码转换
当列表对象可以同时满足以下两个条件时, 列表对象使用 ziplist
编码:
- 列表对象保存的所有字符串元素的长度都小于
64
字节; - 列表对象保存的元素数量小于
512
个;
不能满足这两个条件的列表对象需要使用 linkedlist
编码。以上两个条件的上限值是可以修改的。