看过了《redis设计与实现》，了解了redis设计的基本原理。但是三个月之后发现，遗忘了很多，只好重新温习。只是，这次是从redis源码的角度学习的，当然过程中会翻阅《redis设计与实现》这本书，毕竟需要一个框架指导。按照redis源码的阅读顺序，按照从基本到复杂、从redis使用的基本数据结构开始。本文就介绍redis中使用的最常见的数据结构之一---sds（simple dynamic string)，当然是从源码的角度进行解释的。大致的原理，读者可以参考《redis设计与实现》第一章。
redis源码中，关于sds的代码分布在sds.h和sds.c两个文件夹中。本文主要配合源码介绍redis代码中关于sds实现的重要思想。
sds是基于c语言中的char*实现的，存储的字符串都是char*类型的。这从sds的定义可以看得出来（ typedef char* sds;），这可以让redis直接使用c语言的字符串的很多函数，而不必自己实现一些在c语言中已有的函数。
但是，redis中实现的sds与一般的c语言的字符串又不一样。sds除了存放字符串本身的数据之外，sds还分别存放着字符串相关的信息，如字符串的长度、未使用的空间的长度，同时针对不同的字符串的长度采用五种不同的说明字符串信息的头结构，最大化节约内存；sds使用空间预分配和惰性空间释放策略，减少内存中空间分配的次数，提高该数据库的性能。下面针对redis中使用的五种不同的字符串头结构及其空间预分配和惰性空间释放策略进行介绍。
一、字符串的五种头结构
//sdshdr5与其他几个header结构体不同，不包含alloc字段，而是用flags的高5位来存储。因此不能为字符串分配空余空间。如果字符串需要动态增长，那么他> 就必然要分配内存才行。所以说，这种类型的sds字符串更适合存储静态的短字符串（长度小于32）
struct __attribute__ ((__packed__)) sdshdr5 {
unsigned char flags; /* 3 lsb of type, and 5 msb of string length */
char buf[];
};
struct __attribute__ ((__packed__)) sdshdr8 {
uint8_t len; /* used */
uint8_t alloc; /* excluding the header and null terminator */
unsigned char flags; /* 3 lsb of type, 5 unused bits */
char buf[];
};
struct __attribute__ ((__packed__)) sdshdr16 {
uint16_t len; /* used */
uint16_t alloc; /* excluding the header and null terminator */
unsigned char flags; /* 3 lsb of type, 5 unused bits */
char buf[];
};
struct __attribute__ ((__packed__)) sdshdr32 {
uint32_t len; /* used */
uint32_t alloc; /* excluding the header and null terminator */
unsigned char flags; /* 3 lsb of type, 5 unused bits */
char buf[];
};
struct __attribute__ ((__packed__)) sdshdr64 {
uint64_t len; /* used */
uint64_t alloc; /* excluding the header and null terminator */
unsigned char flags; /* 3 lsb of type, 5 unused bits */
char buf[];
};
上面列出的五种struct就是redis中的sds使用的五种管理字符串的结构头，现在分别对其中的成员变量做解释。
uint(8,16,32,64)_t：是已经占用的字节数，就是buf中存放的字符串的长度，不包括结尾的'\0'。
uint(8,16,32,64)_t：是一共分配的空间的大小，包括使用的和未使用的大小，不包括结尾的'\0'。
unsigned char flag：是用于表示该结构体类型的标志位，在sdshdr8，sdshdr16，sdshdr32和sdshdr64中主要用于表示该结构体的类型，在sdshdr5中还用于表示长度。这五种结构体中flags的低三位都是用于表示结构体的类型，因为有五种，所以需要使用三位进行表示；高五位在hdrsds5中用于表示长度；在其他的四种struct中是未被使用的位。
char buf[]：在这里只是一个占位符而已，表示在flag之后是buf的位置，并不占用空间。如果对struct __attribute__ ((packed)) sdshdr64取长度，就是sizeof(struct __attribute__ ((packed)) sdshdr64)，那么值应该是17，既不是24，也不是其他的值。这是因为，其一使用了__attribute__ ((packed))，其二char buf[]不占用实际的空间。关于__attribute__ ((packed))的详细解释，可以自行google。
__attribute__ ((packed))这个命令的作用是取消编译阶段的内存优化对齐功能，按照结构体重各个元素实际占用的字节数进行对齐。使用__attribute__ ((packed))之后，sdshdr（8，16，32，64)中各个元素是紧紧相邻的，其内存中的布局如图1所示。
图 1 sds内存空间布局
因此，使用了__attribute__ ((packed))属性之后，有以下两点好处：
1.redis一般作为内存数据库使用，因此__attribute__ ((packed))属性能够尽最大的可能节约内存空间，从而增加内存中可以存放的键值对的数量，提高系统的性能；
2.__attribute__ ((packed))属性使得所有的元素在内存中的位置可以按照简单的加减进行计算，因此可以根据指定的sds的位置，确定flag的位置；例如给定sds为s，那么flag的位置就是s[-1]，结构体内部寻址变得简单；
如果没有__attribute__ ((packed))属性，那么struct中的成员建按照内存进行对齐，那么就不能根据sds的变量s，直接用s[-1]获取flag的位置了。
sds.h文件中存在几个比较重要的宏定义，如下。
#define SDS_TYPE_5 0
#define SDS_TYPE_8 1
#define SDS_TYPE_16 2
#define SDS_TYPE_32 3
#define SDS_TYPE_64 4
//flags中最低的三位用于表示类型，因此取SDS_TYPE_MASK为7,这三位都是1,用"位与"操作获取header的类型;
#define SDS_TYPE_MASK 7
//标志位占据的长度
#define SDS_TYPE_BITS 3
#define SDS_TYPE_5_LEN ((f)>>SDS_TYPE_BITS) #define SDS_HDR_VAR(T,s) struct sdshdr##T *sh = (void*)((s)-(sizeof(struct sdshdr##T)));
#define SDS_HDR(T,s) ((struct sdshdr##T *)((s)-(sizeof(struct sdshdr##T))))
//返回指向实际分配的字符串开始位置的char*
sds sdsnewlen(const void *init, size_t initlen) {
//只是为了指向新分配的一段空间，与case语句中使用的sh无关，可以替换成任意的别的名字的变量;
void *sh;
sds s;
//为了节省内存而是用不同的类型,根据请求的长度确定应该使用的类型;
char type = sdsReqType(initlen);
/* Empty strings are usually created in order to append. Use type 8
* since type 5 is not good at this. */
if (type == SDS_TYPE_5 && initlen == 0) type = SDS_TYPE_8;
int hdrlen = sdsHdrSize(type);
unsigned char *fp; /* flags pointer. */
//分配的内存块的大小包括头的大小和实际字符串的大小以及结尾的"\0"的总长度;
sh = s_malloc(hdrlen+initlen+1);
//如果init为NULL，则将所有的数据都清0;
if (!init)
memset(sh, 0, hdrlen+initlen+1);
//为什么不先检查内存的分配是否成功呢？？？是不是应该和上一句调换顺序???
if (sh == NULL) return NULL;
//确定实际字符串的位置;
s = (char*)sh+hdrlen;
//确定类型的地址;
fp = ((unsigned char*)s)-1;
//到此为止，只是将sh指向了一个新分配的固定大小的空间，用于存放sds，但是并没有关联任何类型的sdshdr；
switch(type) {
case SDS_TYPE_5: {
//设置分配的长度以及类型;
*fp = type | (initlen << SDS_TYPE_BITS);
break;
}
case SDS_TYPE_8: {
//#define SDS_HDR_VAR struct sdshdr##T *sh = (void*)((s)-(sizeof(struct sdsfdr##T)));
//由该宏定义可以知道，该宏定义在相应的作用范围内重新定义了一个指向struct sdshdr##T的指针sh，该定义要屏蔽掉外层空间中定义的void* s h的定义；case语句的作用就是将包含s地址的一段连续空间初始化为与具体的sdshdr##T相关联的数据结构，而不仅仅是一段已经分配好的连续地址空间而已。当
然这里，下面的写法和case SDS_TYPE_16效果是一样的;
//SDS_HDR_VAR(8, s);
//sh->len = initlen;
//sh->alloc = initlen;
//*fp = type;
//break;
struct sdshdr8* test;
test = SDS_HDR(8,s);
test->len = initlen;
test->alloc = initlen;
*fp = type;
break;
}
case SDS_TYPE_16: {
/** 定义一个sh指针，并且用16和s进行初始化 **/
SDS_HDR_VAR(16,s);
sh->len = initlen;
sh->alloc = initlen;
*fp = type;
break;
}
case SDS_TYPE_32: {
SDS_HDR_VAR(32,s);
sh->len = initlen;
sh->alloc = initlen;
*fp = type;
break;
}
case SDS_TYPE_64: {
SDS_HDR_VAR(64,s);
sh->len = initlen;
sh->alloc = initlen;
*fp = type;
break;
}
}
}
if (initlen && init)
memcpy(s, init, initlen);
s[initlen] = '\0';
return s;
}
二、空间预分配和惰性空间释放策略
正如前所述，sds使用了sdshdr记录相关的sds的长度和总的分配的长度，因此sds在其后追加字符串的时候能够防止缓冲区溢出。在追加字符串到已有字符串末尾的时候（sdscat，sdscatsds)，首先检查剩余的字符串的空间大小（alloc-len)是否能够容纳将要添加的字符串，如果可以的话，则直接将字符串添加进去。如果剩余的空闲空间不够，那么需要重新分配空间，再将原来的字符串复制进去（这是sdshdr类型发生变化的做法），然后将要添加的字符串再复制进去；或者直接使用realloc函数分配空间（这是sdshdr的类型没有发生变化的情况），然后将要添加的字符串复制进去。鉴于可能存在空间重新分配，因此参数中传入的sds的变量（假设为s），可能并不再有效，因此需要使用函数返回的sds。
我们说在已有字符串末尾添加新的字符串的时候，可能需要重新分配空间，那么需要分配的空间的大小怎么确定？？？是不是只需要重新分配和需要添加的字符串长度大小一致的空间呢？当然不是，要是这样的话，每次添加字符串都需要重新分配内存，这是一件极为耗时的事情。Redis在重新分配空间的时候使用空间预分配策略。下面是Redis执行空间分配的函数sdsMakeRoomFor(sds s, size_t addlen)，我们将详细解释该函数。
//空间分配策略的执行过程:
//1.首先检查新要分配的空间的大小与现存的空间的大小，如果新要增加的空间的大小小于已存在的空闲空间的大小，那么直接返回，无需再分配内存空间；否> 则的话需要重新分配空间；
//2.新分配的被占用的空间的大小等于已经占用的空间的大小加上传入函数中addlen参数的大小；
//3.执行空间预分配策略，如果新要分配的已经占用的空间的大小小于SDS_MAX_PREALLOC，那么新分配的总大小为已经占用的空间大小的2倍;如果要分配的占用> 空间的大小大于SDS_MAX_REALLOC的大小，则需要分配的总的长度为 newlen + 1MB 的大小;
//4.如果执行分配之后的newlen的大小没有导致header类型发生变化，则直接执行realloc，不必更改s相对于header的偏移；如果newlen导致header的type发生> 变化，需要执行malloc重新分配空间并将原来的内容复制到新分配的内存中间中，释放原来的空间（包括s和header的空间）,更改type和新分配的空间的len，同
时更改s相对于header指针的偏移量;
sds sdsMakeRoomFor(sds s, size_t addlen) {
void *sh, *newsh;
//可用的剩余空间的大小;
size_t avail = sdsavail(s);
size_t len, newlen;
//通过s[-1] & SDS_TYPE_MASK可以确定旧的sdshdr的类型;
char type, oldtype = s[-1] & SDS_TYPE_MASK;
int hdrlen;
/* Return ASAP if there is enough space left. */
if (avail >= addlen) return s;
len = sdslen(s);
sh = (char*)s-sdsHdrSize(oldtype);
newlen = (len+addlen);
/* 执行空间预分配策略的方式，如果当前需要占用的空间的数量<SDS_MAX_PREALLOC,直接按照当前需要使用的空间的2倍的大小进行分配；如果当前需要占> 用的空间的数量>=SDS_MAX_PREALLOC,那么直接预分配SDS_MAX_PREALLOC执行空间预分配 */
if (newlen < SDS_MAX_PREALLOC)
newlen *= 2;
else
newlen += SDS_MAX_PREALLOC;
type = sdsReqType(newlen);
/* Don't use type 5: the user is appending to the string and type 5 is
* not able to remember empty space, so sdsMakeRoomFor() must be called
* at every appending operation. */
/* SDS_TYPE_5之所以不被使用，使用为该类型无法记住空闲的空间大小，如果使用这种类型的sdshdr，那么每次使用sdscat的时候必须要重新分配空间 */
if (type == SDS_TYPE_5) type = SDS_TYPE_8;
hdrlen = sdsHdrSize(type);
if (oldtype==type) {
newsh = s_realloc(sh, hdrlen+newlen+1);
if (newsh == NULL) return NULL;
//复制新的数据之后，将s指向数据复制之后的地址;
s = (char*)newsh+hdrlen;
} else {
/* Since the header size changes, need to move the string forward,
* and can't use realloc */
newsh = s_malloc(hdrlen+newlen+1);
if (newsh == NULL) return NULL;
memcpy((char*)newsh+hdrlen, s, len+1);
s_free(sh);
s = (char*)newsh+hdrlen;
s[-1] = type;
sdssetlen(s, len);
}
sdssetalloc(s, newlen);
return s;
}
空间分配策略的执行过程:
1.首先检查新要分配的空间的大小与现存的空间的大小，如果新要增加的空间的大小小于已存在的空闲空间的大小，那么直接返回，无需再分配内存空间；否> 则的话需要重新分配空间；
2.新分配的被占用的空间的大小等于已经占用的空间的大小加上传入函数中addlen参数的大小；
3.执行空间预分配策略，如果新要分配的已经占用的空间的大小小于SDS_MAX_PREALLOC，那么新分配的总大小为已经占用的空间大小的2倍;如果要分配的占用> 空间的大小大于SDS_MAX_REALLOC的大小，则需要分配的总的长度为 newlen + 1MB 的大小;
4.如果执行分配之后的newlen的大小没有导致header类型发生变化，则直接执行realloc，不必更改s相对于header的偏移；如果newlen导致header的type发生> 变化，需要执行malloc重新分配空间并将原来的内容复制到新分配的内存中间中，释放原来的空间（包括s和header的空间）,更改type和新分配的空间的len，同时更改s相对于header指针的偏移量;
5.最终返回新的sds；
通过空间预分配策略，redis将执行n次sdscat（）函数需要重新分配n次内存空间变为之多需要分配n次空间，提高了代码的执行效率。
所谓的惰性空间释放是当sds的字符串缩短的时候，只是改变存储的字符串和len的大小，并不改变释放多余的空间和改变alloc的大小。如果将来有新的字符串需要添加到已有字符串的末尾，那么可以减少空间分配的次数。当然sds也提供了函数sdsRomoveFreeSpace(sds s)用于真正的释放未使用的空间。
本篇文章主要总结了sds的实现方式，sds在管理空间上使用的策略---空间预分配和惰性空间释放，更详细的可以参考redis中关于sds的实现代码。刚开始阅读redis的源码，如果有不对的地方，欢迎吐槽。
516
被折叠的 条评论
为什么被折叠?
到【灌水乐园】发言
