《Redis设计与实现》读书笔记（1）

最近项目中用到了redis，主要是作为缓存来使用的，虽然我只写了前端的增删改查，没有接触到核心代码编写，但是也不能放松自己啊，就研究了下redis的相关知识，现在项目也差不多完事了，就总结下关于Redis的相关知识吧（理论性内容居多）。关于Redis怎么下载和启动，就不在多说了，这一节就说下Redis中默认字符串的表示——SDS。

Redis是用C语言写的，但是没有直接使用C语言传统的字符串表示（以空字符串结尾的字符数组，一下简称C字符串），而是使用了简单动态字符串（simple dynamic string sds）的抽象类型来作为默认的字符串表示。当然C字符串并不是没有用处，在Redis里面，C字符串只会作为字符串字面量来使用，这个用处决定了C字符串的值不能被修改。

如果需要对字符串进行修改，就需要使用SDS来表示。需要注意的是，SDS仅仅是char[]数组的封装。

SDS的定义：

/*
 * 保存字符串对象的结构
 */
struct sdshdr {
    
    // buf 中已占用空间的长度，等于SDS所保存字符串的长度
    int len;

    // buf 中剩余可用空间的长度
    int free;

    // 数据空间，保存字符串
    char buf[];
};

SDS与C字符串的区别：

1）获取字符串长度：这个不多说，C字符串需要遍历，SDS中有len属性可以直接获取，这样确保了获取字符串长度的工作不会成为Redis的性能瓶颈。即使一个字符串的键很长，在执行strlen命令的时候，也不会对系统性能造成任何影响。

2）C字符串不记录自身长度，在进行strcat(将src字符串中的内容拼接到dest字符串的末尾)函数时，假定用户已经为dest分配了足够的内存，可以容纳src字符串中所有内容，但是当假定不成立时，就会产生缓冲区溢出（buffer overflow），src的内容会拼接到dest后面，但是之前紧跟着dest的另外的一个字符串的内容就会被覆盖。SDS存在空间分配策略，完全杜绝了缓冲区溢出的可可能性。C字符串的长度和底层数组的长度之间存在着关联（一个包含了N个字符的C字符串，底层实现总是一个N+1个字符长的数组），导致程序对字符串的拼接或截断操作，每次都会对C字符串数组进行内存重分配操作。

SDS通过未使用空间解除了字符串长度和底层数组长度之间的关联：在SDS中，buf数组的长度不一定就是字符串数量加一，数组里面可以包含未使用的字节（数量由free属性记录）。

    空间预分配：用于优化SDS字符串增长操作，当SDS增长时，程序不仅会为SDS分配修改所必须的空间，还会为SDS分配额外的 未使用空间，如果对SDS修改后，len属性值小于1MB，那么程序分配和len属性大小的未使用空间（修改后，SDS的len为13字节，程序再分配13字节的未使用空间，此时，SDS的buf数组的实际长度就是13+13+1=27字节）；如果SDS修改后的len大于1MB，那么程序会分配1MB的未使用空间（修改后，SDS的len为15MB，程序再分配1MB的未使用空间，此时，SDS的buf数组的实际长度就是13MB+1MB+1byte)。通过空间预分配策略，Redis可以减少连续执行字符串增长操作所需的内存重分配次数。在扩展SDS空间之前，SDS API会先检查未使用空间是否足够，足够的话，直接使用未使用空间，无须执行内存重分配。

    惰性空间释放：用于优化SDS字符串缩短操作，当SDS需要缩短时，程序并不立即使用内存重分配来回收缩短后多出来的字节，而是使用free属性将这些字节的数量记录起来，并等待将来使用。与此同时，SDS也提供了响应的API，让我们在有需要时，可以真正的释放SDS中的未使用空间，不用担心惰性空间释放策略会造成内存浪费。

3）SDS的buf属性称为字节数组就是因为Redis是用它来保存一系列二进制数据的（这点及兼容部分C字符串函数的内容就不多介绍了）。

  重点回顾：