Redis - SDS（简单动态字符串）

mooddance

已于 2022-07-17 18:31:01 修改

阅读量882

点赞数 2

分类专栏： Redis 文章标签： redis 字符串数据结构

于 2021-04-14 22:51:53 首次发布

本文链接：https://blog.csdn.net/m0_51504545/article/details/115711744

版权

Redis 专栏收录该内容

16 篇文章 22 订阅

订阅专栏

定义解释

Redis 没有直接使用C语言传统的字符串表示(以空字符 \0 结尾的字符数组，以下简称 C字符串)，而是自己构建了一种名为简单动态字符串(simple dynamic string,SDS)的抽象类型，并将 SDS 作为默认字符串表示。

Redis 客户端传入服务器的协议内容、 aof 缓存、返回给客户端的回复等等，这些重要的内容都是由 sds 类型来保存的。只有在字符串不需要修改的时候采用 C字符串，其余情况都采用 SDS。

不直接使用 C字符串的原因大致下面几种：

1）C语言的字符串不记录自身长度，想要知道一个字符串的长度就必须遍历一遍字符串，复杂度为 O(N)，而Redis的字符串同样使用命令 STRLEN 的时候，复杂度为 O(1)。

2）二进制安全，可以存储非文本数据的，包括视频，音频，图片等。SDS并不是像传统的C字符串(字符数组)一样，而SDS常被称作字节数组，采用以字节为单位的形式存储数据，而最后的 \0 也是一个字节，这样数据怎么样存入的，取出来的时候还是怎么样的，因此是二进制安全的。因为在结构中定义了 len 属性，所以及时在字符串中间出现 \0 也是可以完整存储而不会被截断。

3）可以高效地执行追加操作（append），加快追加操作的速度，并降低内存分配的次数，代价是多占用了一些内存，而且这些内存不会被主动释放。

源码解读

对于 SDS ，Redis 有五种实现方式 SDS_TYPE_5、 SDS_TYPE_8、 SDS_TYPE_16、 SDS_TYPE_32、 SDS_TYPE_64。根据初始化的长度决定使用哪种类型，从而减少内存的使用。

数据结构

位于 sds.h 头文件

struct __attribute__ ((__packed__)) sdshdr8 {

    uint8_t len;         // 已经使用的字节数
    uint8_t alloc;       // 总共可用的字符空间大小，应该是实际buf的大小减1 (因为c字符串末尾必须是 \0, 不计算在内)。
    unsigned char flags; // 标志位，主要是识别这是sdshdr几，目前只用了3位，还有5位空余
    char buf[];          // 实际存储字符串的地方 其实就是 C 原生字符串+部分空余空间

};

但是当初始化为空和 SDS_TYPE_5 较为特殊，在源码中会强制转换为 SDS_TYPE_8。理解是因这种情况下，很大可能后续会追加数据。故给一个比较合适的等级。

位于 sds.c

sds sdsnewlen(const void *init, size_t initlen) {

...

    if (type == SDS_TYPE_5 && initlen == 0) type = SDS_TYPE_8;
    
...

}

有意思的是对于 Key 和 Value 都很小，只有 Value 会被强转，我理解是 Key 不怎么会更新。故给最小的值即可。


sds sdsnewlen(const void *init, size_t initlen) {
    
...
    s[initlen] = '\0';
    return s;
}

sdsnewlen() 返回的 SDS 指针并不是直接指向 sdshdr 的地址，而是直接指向了 sdshdr 中 buf 的地址。因为这样可以兼容c原生字符串, buf 其实就是 C 原生字符串 + 部分空余空间，中间是特殊符号’\0’隔开，‘\0’是标识C字符串末尾的符号，这样就实现了和C原生字符串的兼容，部分C字符串的API也就可以直接使。

扩容操作

若新申请的内存加已使用内存没有超过 SDS_MAX_PREALLOC(1024*1024) 则按 * 2 倍申请。反之按 SDS_MAX_PREALLOC 递增。


// 扩大sds的实际可用空间，以便后续能拼接更多字符串。
// 这里实际不会改变sds的长度，只是增加了更多可用的空间(buf)
sds sdsMakeRoomFor(sds s, size_t addlen) {
...

    len = sdslen(s);
    sh = (char*)s-sdsHdrSize(oldtype);
    newlen = (len+addlen);

    // 在未超出SDS_MAX_PREALLOC前，扩容都是按2倍的方式扩容，超出后只能递增
    if (newlen < SDS_MAX_PREALLOC)  // SDS_MAX_PREALLOC = 1024*1024
        newlen *= 2;
    else
        newlen += SDS_MAX_PREALLOC;
...
    sdssetalloc(s, newlen);
    return s;
}

String 类型实现

上面提到 String 类型不仅仅只能存储字符串类型数据，所以对于赋予不同的数据类型时候，string 是会区别对待。

1）当存储的数据是整数类型时候，String 类型会使用 int 编码方式来存储。具体为使用一个 8字节的 Long 类型来实现。

2）当存储的数据中包含字符串时候，String 类型会使用 SDS 结构体来存储。

结构如下

struct {
 
 flags;     // 占 8 个字节，标志位，主要是识别这是sdshdr几，目前只用了3位，还有5位空余   
 len  ;     // 占 4 个字节，表示 buf 的已用长度。    
 alloc;     // 占 4 个字节，表示 buf 的实际分配长度，一般大于 len。
 buf ;      // 字节数组，保存实际数据。为了表示字节数组的结束，Redis 会自动在数组最后加一个“\0”，这就会额外占用 1 个字节的开销。

}

除了记录实际数据，String 类型还需要额外的内存空间记录数据长度、空间使用、最后一次访问的时间、被引用的次数等元数据，所以，Redis 会用一个 RedisObject 结构体来统一记录这些元数据，同时指向实际数据。

一个 RedisObject 包含了 8 字节的元数据和一个 8 字节指针，这个指针再进一步指向具体数据类型的实际数据所在或者为真实值。