image

一、简单动态字符串（SDS）

简单动态字符串（simple dynamic string, SDS) 是 Redis 实现的一个用于保存字符串的数据结构，Redis 没有使用C 语言传统的字符串表示。

比如：

redis> set msg "hello, world"
创建一个键值对
键值对的 键 是一个字符串对象，对象的底层实现是一个保存着字符串"msg"的SDS
键值对的 值 是一个字符串对象，对象的底层实现是一个保存着字符串"hello, world" 的 SDS

SDS 的定义

struct sdshdr {
 // 记录 buf 数组中已使用字节的数量
 // 等于 SDS 所保存字符串的长度
 int len;
 
 // 记录 buf 数组中未使用字节的数量
 int free;
 
 // 字节数组，用于保存字符串
 char buf[];
}

比如保存一个 "Redis" 字符串：

 ------
|sdshdr|
 ------
| free |
|  0   |
 ------
|  len |
|   5  |
 ------      
| buf  |   ----->   | 'R' | 'e' | 'd' | 'i' | 's' | '\0' |
 ------ 


free 值为0，表示这个 SDS 没有分配任未使用空间，如果free > 0, 这个 SDS 为 buf 数组分配对应值的未使用空间，比如 free = 5, 会在 buf 数组的 "\0" 后分配5字节未使用的空间
len  值为5，表示这个 SDS 保存了一个5字节长的字符串

SDS 和 C 字符串的区别

SDS 比 C 字符串更适用于 Redis 的原因？

1、C 字符串不记录自身的长度，导致获取长度需要遍历字符串， 复杂度为O(N)。而 SDS 结构的 len 属性记录了 SDS 本身的长度，复杂度为O(1)
2、当使用 char *strcat(chart *dest, const chart *src) 函数时，如果 dest 没有分配足够的内存容纳 src， 将产生缓冲区溢出的问题，导致溢出到相邻的字符的空间中，修改了相邻字符的内容
3、SDS 空间分配策略会检查 SDS 的空间是否满足所需的需求，然后通过 SDS API 自动将空间扩展到所需的大小，就不会出现缓冲区溢出问题
4、减少修改字符串时带来的内存重分配次数，如果是增长字符串的操作，执行操作之前会通过内存重分配来扩展底层数组的空间大小，如果是缩短字符串的操作，执行操作之后通过内存重分配来释放字符串不再使用的部分空间。内存重分配涉及复杂的算法，是一个耗时操作

​ C 字符串 与 SDS 区别

C 字符串	SDS
获取字符串长度复杂度O(N)	获取字符串长度复杂度O(1)
API 不安全，容易缓冲区溢出	API 安全，缓冲区无溢出
修改字符串长度N次需要执行 N 次内存重分配	修改字符串长度N次<= N次内存重分配
只能保持文本数据	保持文本及二进制数据
使用所有库函数	只能使用部分库函数

SDS 空间预分配和惰性空间释放策略

---

1、空间预分配

空间预分配用于优化 SDS 的字符串增长操作，其实就是当需要对 SDS 空间扩展时，除了分配所需空间外，还会为 SDS 分配额外的未使用空间。额外分配的空间有两种情况：

1、修改 SDS 后, SDS 的长度(len属性) < 1MB, 将分配和 len 大小一样的未使用空间，len 的值和 free 值相同
(如修改后 SDS = 13 字节，程序分配了 13 字节未使用空间，SDS 的 buf 数组长度 = 13 + 13 + 1 = 27 字节)
2、修改 SDS 后，SDS 的长度 > 1MB, 将分配 1MB 的未使用空间
(如修改后 SDS = 20MB，SDS 的 buf 数组长度 = 20MB + 1MB + 1byte(保存空字符))

2、惰性空间释放

惰性空间释放用于优化 SDS 的字符串缩短操作，当 SDS API 需要缩短 SDS 保存的字符串长度时，不立即使用内存重分配回收，而是使用 free 记录这些字节的数量。不释放多出来的字节空间，如果这时候对 SDS 进行增长操作，这些未使用空间就可以使用。

总结

Redis 使用 C 字符串作为字面量，在大多数情况下，使用 SDS (简单动态字符串) 作为字符串表示，还有对比了 C 字符串与 SDS 的区别，并指出 SDS 的优势等