Redis - 对象结构

简介

Redis 使用对象存储数据库中的键和值，每当在 Redis 中创建一个新的键值对时，都会创建两个对象：一个是键对象，另一个是值对象。

其中，Redis 的每种对象都由对象结构和对应编码的数据结构组合而成，而每种对象类型对应若干编码方式，不同编码方式对应的底层数据结构也会有所不同。

数据库结构

Redis 服务器的数据库都保存在 redisServer 的 db 数组中，数组中的每个项都是 redisDb 结构，每个 redisDb 结构代表一个数据库。

下面是部分 redisServer 结构：

struct redisServer {
    redisDb *db;    // 保存数据库的数组
    int dbnum;      // 服务器的数据库数量
    // ...
};

其中，初始化服务器时，会根据 dbnum 的值决定创建多少个数据库。默认情况下，dbnum 的值是 16。

切换数据库

默认情况下，Redis 客户端的目标数据库是 0 号数据库，但是客户端可以使用 SELECT 命令切换目标数据库。

需要注意的是，Redis 现在没有向客户端返回目标数据库的命令，对数据库进行误操作极易出现不符合预期的情况，尤其是像 FLUSHDB 这样的命令。

比较好的做法是尽量少地在代码中切换数据库，即使是在命令行操作，也尽量显式地切换到指定的数据库，然后再执行命令。

数据库键空间

每一个数据库中都存储了一个字典，这个字典存储了数据库中的所有键值对，这个字典又被称为键空间。

所有对数据库中键值对的增删查改操作，实际上都是在操作键空间字典。

只是，由于数据库可以存储多种不同的数据结构类型，这些增删查改操作，都会使用对应数据结构提供的函数执行。

读写键空间的维护操作

当使用 Redis 命令对键空间字典进行读写操作时，服务器不仅会执行这些读写操作，还会做一些维护性的操作，提高 Redis 的可用性，其中包括：

• 读取一个键时，服务器会根据键是否存在来更新键空间命中次数和不命中次数
• 读取到一个键之后，服务器会更新这个键的 lru 属性
• 如果服务器读取到键之后，发现这个键已经过期，会先删除这个键，再执行后续的操作
• 如果有客户端使用 WATCH 命令监视这个键，服务器修改这个键之后，会将这个键标记为 dirty 状态
• 服务器每次修改一个键之后，都会对脏计数器的值增 1，这个计数器会触发服务器的持久化或复制操作
• 如果服务器开启了通知功能，那么对这个键做修改操作之后，服务器将按配置发送对应的数据库通知

类型与编码

Redis 中的每个对象都是由一个 redisObject 结构表示，其结构如下：

typedef struct redisObject {
    unsigned type:4;        // 类型
    unsigned encoding:4;    // 编码
    unsigned lru:LRU_BITS;  // 记录最后访问的时间
    int refcount;           // 引用计数
    void *ptr;              // 指向底层实现数据结构的指针
} robj;

其中 type、encoding 和 ptr 是最重要的三个属性。

数据类型

对象的 type 属性记录了数据结构的类型，它总是以下枚举值之一：

• REDIS_STRING
• REDIS_LIST
• REDIS_HASH
• REDIS_SET
• REDIS_ZSET

对象编码

对象的 encoding 属性记录了 ptr 指针指向对象的编码方式，它总是以下枚举值之一：

• OBJ_ENCODING_RAW
• OBJ_ENCODING_INT
• OBJ_ENCODING_HT
• OBJ_ENCODING_ZIPMAP
• OBJ_ENCODING_LINKEDLIST
• OBJ_ENCODING_ZIPLIST
• OBJ_ENCODING_INTSET
• OBJ_ENCODING_SKIPLIST
• OBJ_ENCODING_EMBSTR
• OBJ_ENCODING_QUICKLIST
• OBJ_ENCODING_STREAM

通过使用 encoding 属性设定对象的编码方式，而不是使用固定编码，这样极大地提高了 Redis 的灵活性和效率，也方便 Redis 针对不同的场景选择不同的编码，针对性地做优化。

对象指针

对象的 ptr 属性是一个指针，指向实际保存值的数据结构。

空转时间

对象的 lru 属性记录了对象最后一次被命令程序访问的时间。空转时间指的是当前时间减去 lru 属性得到的时长，即未被访问的时长。

键的空转时间在内存回收算法是 volatile-lru 或 allkeys-lru 时使用到，当服务器占用的内存超过了 maxmemory 之后，空转时长较高的那部分键会优先被服务器释放，从而回收内存。

命令执行流程

Redis 中用于操作键的命令分为两类：任何类型的键都可以执行的命令、针对特定类型的键可执行的命令。例如 DEL、EXPIRE 等命令属于前者，SET、HSET 等命令属于后者。

针对特定类型的键的执行命令，执行前需要检查键的类型，确定当前键是否可执行当前命令。

在 Redis 中，一个数据类型有可能对应多个编码方式，在检查完键的类型之后，还需要根据数据类型的不同编码进行多态处理。

因此，当处理一个特定类型命令的时候，执行的步骤如下：

• 根据给定的 key 名称，在数据库字典中查找相对应的 Redis 对象，如果没有找到，返回 NULL 值
• 检查 Redis 对象中的 type 属性和执行命令所需的类型是否相符，如果不相符，返回类型错误
• 根据 Redis 对象中的 encoding 属性选择合适的操作函数来处理底层数据结构
• 将操作函数的返回值作为命令请求的响应返回给客户端

对象共享

目前，为了解决重复分配的麻烦，Redis 会在初始化服务器时创建一万个字符串对象，这些对象包含了从 0 到 9999 的所有整数值，当服务器需要用到值为 0 到 9999 的字符串对象时，服务器就会使用这些共享对象，而不是创建新的对象。

尽管共享更复杂的对象可以节约更多的内存，但受到 CPU 时间的限制，Redis 只对包含整数值的字符串对象进行共享。

需要注意的是，共享对象只能被字典和双向链表这类能带有指针的数据结构使用。

内存回收

因为 C 语言并不具备自动内存回收功能，所以 Redis 在自己的对象系统中构建了一个引用计数技术实现内存回收机制。通过这个内存回收机制，Redis 可以通过对象的引用计数信息，在适当的时候自动释放对象并进行内存回收。

对象的引用计数信息通过 refcount 属性记录，其使用如下：

• 当创建新对象时，引用计数的值会初始化为 1
• 当这个对象被共享时，引用计数的值会自增
• 当使用完一个对象后，或者消除对这个对象的引用之后，引用计数的值会自减
• 当对象的引用计数值变为 0 时，对象所占用的内存会被释放