Redis进阶-string底层数据结构精讲

在这里插入图片描述


Pre

Redis进阶-核心数据结构进阶实战

Redis 有 5 种基础数据结构,分别为:string (字符串)、list (列表)、set (集合)、hash (哈希) 和 zset (有序集合) 。

Redis 所有的数据结构都是以唯一的key 字符串作为名称,然后通过这个唯一 key 值来获取相应的 value 数据。不同类型的数据结构的差异就在于 value 的结构不一样。


string 字符串

字符串 string 是 Redis 最简单的数据结构 .

举个简单的例子:缓存用户信息。我们将用户信息结构体使用 JSON 序列化成字符串,然后将序列化后的字符串塞进 Redis 来缓存。

同样,取用户信息会经过一次反序列化的过程。

当然了,不限于使用string存储,看使用场景。


字符串的实现

Redis 的字符串是动态字符串,是可以修改的字符串,内部结构实现上类似于 Java 的ArrayList,采用预分配冗余空间的方式来减少内存的频繁分配

在这里插入图片描述

如上图

  • 内部为当前字符串实际分配的空间 capacity 一般要高于实际字符串长度 len.

  • 当字符串长度小于 1M 时,扩容都是加倍现有的空间

  • 超过 1M,扩容时一次只会多扩 1M 的空间

  • 字符串最大长度为 512M

  • 字符串是由多个字节组成,每个字节又是由 8 个 bit 组成,如此便可以将一个字符串看成很多 bit 的组合,这便是 bitmap「位图」数据结构


字符串 内部结构

Redis 中的字符串是可以修改的字符串,在内存中它是以字节数组的形式存在的。

C 语言里面的字符串标准形式是以 NULL 作为结束符,但是在 Redis 里面字符串不
是这么表示的。因为要获取 NULL 结尾的字符串的长度使用的是 strlen 标准库函数,这个函数的算法复杂度是 O(n),它需要对字节数组进行遍历扫描,作为单线程的 Redis 表示承受不起。

Redis 的字符串叫着「SDS」,也就是 Simple Dynamic String。它的结构是一个带长度信息的字节数组。

struct SDS<T> {
	T capacity; // 数组容量   使用泛型表示的
	T len; // 数组长度      使用泛型表示的 
	byte flags; // 特殊标识位,不理睬它
	byte[] content; // 数组内容   字节数组
}

在这里插入图片描述

  • content 里面存储了真正的字符串内容
  • capacity 表示所分配数组的长度
  • len 表示字符串的实际长度

前面我们提到字符串是可以修改的字符串,它要支持 append 操作。如果数组没有冗余空间,那么追加操作必然涉及到分配新数组,然后将旧内容复制过来,再 append 新内容。如果字符串的长度非常长,这样的内存分配和复制开销就会非常大。

/* Append the specified binary-safe string pointed by 't' of 'len' bytes to the
* end of the specified sds string 's'.
*
* After the call, the passed sds string is no longer valid and all the
* references must be substituted with the new pointer returned by the call. */
sds sdscatlen(sds s, const void *t, size_t len) {
	size_t curlen = sdslen(s); // 原字符串长度
	// 按需调整空间,如果 capacity 不够容纳追加的内容,就会重新分配字节数组并复制原字符串的内容到新数组中
	s = sdsMakeRoomFor(s,len);
	if (s == NULL) return NULL; // 内存不足
	memcpy(s+curlen, t, len); // 追加目标字符串的内容到字节数组中
	sdssetlen(s, curlen+len); // 设置追加后的长度值
	s[curlen+len] = '\0'; // 让字符串以\0 结尾,便于调试打印,还可以直接使用 glibc 的字符串函数进行操作
	return s;
}

上面的 SDS 结构使用了范型 T,为什么不直接用 int 呢 ?

这是因为当字符串比较短时,len 和 capacity 可以使用 byte 和 short 来表示,Redis 为了对内存做极致的优化,不同长度的字符串使用不同的结构体来表示。

Redis 规定字符串的长度不得超过 512M 字节。创建字符串时 len 和 capacity 一样长,不会多分配冗余空间,这是因为绝大多数场景下我们不会使用 append 操作来修改字符串。


embstr vs raw

Redis 的字符串有两种存储方式,在长度特别短时,使用 emb 形式存储(embeded),当长度超过 44 时,使用 raw 形式存储 。

在这里插入图片描述

上面 debug object 输出中有个 encoding 字段,一个字符的差别,存储形式就发生
了变化.

为啥呢? 我们首先来了解一下 Redis 对象头结构体,所有的 Redis 对象都有
下面的这个结构头:

struct RedisObject {
	int4 type; // 4bits
	int4 encoding; // 4bits
	int24 lru; // 24bits
	int32 refcount; // 4bytes
	void *ptr; // 8bytes,64-bit system
} robj;
  • 不同的对象具有不同的类型 type(4bit),

  • 同一个类型的 type 会有不同的存储形式encoding(4bit),

  • 为了记录对象的 LRU 信息,使用了 24 个 bit 来记录 LRU 信息。

  • 每个对象都有个引用计数,当引用计数为零时,对象就会被销毁,内存被回收。

  • ptr 指针将指向对象内容 (body) 的具体存储位置。

这样一个 RedisObject 对象头需要占据 16 字节( 4bit + 4bit + 24bit + 4bytes + 8bytes )的存储空间。

接着我们再看 SDS 结构体的大小,在字符串比较小时,SDS 对象头的大小是capacity+3,至少是 3。意味着分配一个字符串的最小空间占用为 19 字节 (16+3)。

struct SDS {
	int8 capacity; // 1byte
	int8 len; // 1byte
	int8 flags; // 1byte
	byte[] content;  // 内联数组,长度为 capacity
}

在这里插入图片描述

如图所示,embstr 存储形式是这样一种存储形式,它将 RedisObject 对象头和 SDS 对象连续存在一起,使用 malloc 方法一次分配。

而 raw 存储形式不一样,它需要两次malloc,两个对象头在内存地址上一般是不连续的。

而内存分配器 jemalloc/tcmalloc 等分配内存大小的单位都是 2、4、8、16、32、64 等等,为了能容纳一个完整的 embstr 对象,jemalloc 最少会分配 32 字节的空间,如果字符串再稍微长一点,那就是 64 字节的空间。

如果总体超出了 64 字节,Redis 认为它是一个大字符串,不再使用 emdstr 形式存储,而该用 raw 形式。

当内存分配器分配了 64 空间时,那这个字符串的长度最大可以是多少呢?这个长度就是 44。那为什么是 44 呢?

SDS 结构体中的 content 中的字符串是以字节\0 结尾的字符串,之所以多出这样一个字节,是为了便于直接使用 glibc 的字符串处理函数,以及为了便于字符串的调试打印输出。

看上面这张图可以算出,留给 content 的长度最多只有 45(64-19) 字节了。字符串又是以\0 结尾,所以 embstr 最大能容纳的字符串长度就是 44。

原创文章 843 获赞 2097 访问量 427万+

猜你喜欢

转载自blog.csdn.net/yangshangwei/article/details/105757490