深入千尺Redis之数据库

1. 数据库

2. 服务器中的数据库

Redis服务器将所有数据库都保存在服务器状态redis.h/redisserver结构的db数组中，db数组的每个项都是一个redis.h/redisDb结构，每个redisDb结构代表一个数据库。

3. 切换数据库

每个Redis客户端都有自己的目标数据库，每当客户端执行数据库写命令或者数据库读命令的时候,目标数据库就会成为这些命令的操作对象。

默认情况下，Redis客户端的目标数据库为0号数据库，但客户端可以通过执行SELECT命令来切换目标数据库。

4. 数据库键空间

Redis是一个键值对（key-value pair）数据库服务器，服务器中的每个数据库都由一个redis.h/redisDb结构表示，其中，redisDb结构的dict字典保存了数据库中的所有键值对，我们将这个字典称为键空间( key space ) :

键空间和用户所见的数据库是直接对应的:

• 键空间的键也就是数据库的键，每个键都是一个字符串对象。

• 键空间的值也就是数据库的值，每个值可以是字符串对象、列表对象、哈希表对象、集合对象和有序集合对象中的任意一种Redis对象。

添加新键

添加一个新键值对到数据库，实际上就是将一个新键值对添加到键空间字典里面，其中键为字符串对象，而值则为任意一种类型的Redis对象。

删除键

删除数据库中的一个键，实际上就是在键空间里面删除键所对应的键值对对象。

更新键

对一个数据库键进行更新，实际上就是对键空间里面键所对应的值对象进行更新，根据值对象的类型不同，更新的具体方法也会有所不同。

对键取值

对一个数据库键进行取值，实际上就是在键空间中取出键所对应的值对象，根据值对象的类型不同，具体的取值方法也会有所不同。

其他空间操作

比如说，用于清空整个数据库的FLUSHDB命令，就是通过删除键空间中的所有键值对来实现的。又比如说，用于随机返回数据库中某个键的RANDOMKEY命令，就是通过在键空间中随机返回一个键来实现的。

另外，用于返回数据库键数量的DBSIZE命令，就是通过返回键空间中包含的键值对的数量来实现的。类似的命令还有EXISTS、RENAME、KEYS等，这些命令都是通过对键空间进行操作来实现的。

读写键空间时的维护操作

当使用Redis命令对数据库进行读写时，服务器不仅会对键空间执行指定的读写操作，还会执行一些额外的维护操作，其中包括:

• 在读取一个键之后（读操作和写操作都要对键进行读取)，服务器会根据键是否存在来更新服务器的键空间命中 ( hit）次数或键空间不命中( miss)次数，这两个值可以在INFO stats命令的keyspace_hits属性keyspace_misses属性中查看。

• 在读取一个键之后，服务器会更新键的LRU(最后一次使用)时间，这个值可以用于计算键的闲置时间，使用OBJECT idletime <key>命令可以查看键key的闲置时间。

• 如果服务器在读取一个键时发现该键已经过期，那么服务器会先删除这个过期键,然后才执行余下的其他操作。

• 如果有客户端使用WATCH命令监视了某个键，那么服务器在对被监视的键进行修改之后，会将这个键标记为脏( dirty )，从而让事务程序注意到这个键已经被修改过。

• 服务器每次修改一个键之后，都会对脏( dirty)键计数器的值增1，这个计数器会触发服务器的持久化以及复制操作。

• 如果服务器开启了数据库通知功能，那么在对键进行修改之后，服务器将按配置发送相应的数据库通知，本章稍后讨论数据库通知功能的实现时会详细说明这一点。

5. 设置键的生存时间或过期时间

通过EXPIRE命令或者PEXPIRE命令，客户端可以以秒或者毫秒精度为数据库中的某个键设置生存时间（Time To Live，TTL)，在经过指定的秒数或者毫秒数之后，服务器就会自动删除生存时间为0的键。

设置过期时间

Redis有四个不同的命令可以用于设置键的生存时间（键可以存在多久）或过期时间键什么时候会被删除):

• EXPIRE<key> <ttl>命令用于将键key的生存时间设置为ttl秒。

• PEXPIRE<key> <ttl>命令用于将键key的生存时间设置为tt1毫秒。

• EXPIREAT<key><timestamp>命令用于将键key的过期时间设置为timestamp所指定的秒数时间戳。

• PEXPIREAT<key> <timestamp>命令用于将键key的过期时间设置为timestamp所指定的毫秒数时间戳。

最终，EXPIRE、PEXPIRE和 EXPIREAT三个命令都会转换成PEXPIREAT命令来执行，如图9-11所示。

保存过期时间

redisDb 结构的expires字典保存了数据库中所有键的过期时间，我们称这个字典为过期字典:

• 过期字典的键是一个指针，这个指针指向键空间中的某个键对象（也即是某个数据库键)。

• 过期字典的值是一个long long类型的整数，这个整数保存了键所指向的数据库键的过期时间———一个毫秒精度的UNIX时间戳。

例子P119

移除过期时间

PERSIST命令可以移除一个键的过期时间。

PERSIST命令就是PEXPIREAT命令的反操作:PERSIST命令在过期字典中查找给定的键,并解除键和值（过期时间)在过期字典中的关联。

例子P121

计算并返回剩余生存时间

TTL命令以秒为单位返回键的剩余生存时间，而PTTL 命令则以毫秒为单位返回键的剩余生存时间。

TTL 和 PTTL两个命令都是通过计算键的过期时间和当前时间之间的差来实现的。

过期键的判定

通过过期字典，程序可以用以下步骤检查一个给定键是否过期:

1）检查给定键是否存在于过期字典；如果存在，那么取得键的过期时间。

2）检查当前UNIX时间戳是否大于键的过期时间:如果是的话，那么键已经过期;否则的话，键未过期。

6. 过期键的删除策略

三种不同的删除策略:

• 定时删除:在设置键的过期时间的同时，创建一个定时器( timer )，让定时器在键的过期时间来临时，立即执行对键的删除操作。

• 惰性删除:放任键过期不管，但是每次从键空间中获取键时，都检查取得的键是否过期，如果过期的话，就删除该键;如果没有过期，就返回该键。

• 定期删除:每隔一段时间，程序就对数据库进行一次检查，删除里面的过期键。至于要删除多少过期键，以及要检查多少个数据库，则由算法决定。

在这三种策略中，第一种和第三种为主动删除策略，而第二种则为被动删除策略。

定时删除

定时删除策略对内存是最友好的:通过使用定时器，定时删除策略可以保证过期键会尽可能快地被删除，并释放过期键所占用的内存。

另一方面，定时删除策略的缺点是，它对CPU时间是最不友好的:在过期键比较多的情况下，删除过期键这一行为可能会占用相当一部分CPU时间，在内存不紧张但是CPU时间非常紧张的情况下，将CPU时间用在删除和当前任务无关的过期键上，无疑会对服务器的响应时间和吞吐量造成影响。

惰性删除

惰性删除策略对CPU时间来说是最友好的:程序只会在取出键时才对键进行过期检查,这可以保证删除过期键的操作只会在非做不可的情况下进行，并且删除的目标仅限于当前处理的键，这个策略不会在删除其他无关的过期键上花费任何CPU时间。

惰性删除策略的缺点是，它对内存是最不友好的:如果一个键已经过期，而这个键又仍然保留在数据库中，那么只要这个过期键不被删除，它所占用的内存就不会释放。

定期删除

从上面对定时删除和惰性删除的讨论来看，这两种删除方式在单一使用时都有明显的缺陷：

• 定时删除占用太多CPU时间，影响服务器的响应时间和吞吐量。

• 惰性删除浪费太多内存，有内存泄漏的危险。

定期删除策略是前两种策略的一种整合和折中:

• 定期删除策略每隔一段时间执行一次删除过期键操作，并通过限制删除操作执行的时长和频率来减少删除操作对CPU时间的影响。

• 除此之外，通过定期删除过期键，定期删除策略有效地减少了因为过期键而带来的内存浪费。

定期删除策略的难点是确定删除操作执行的时长和频率:

• 如果删除操作执行得太频繁，或者执行的时间太长，定期删除策略就会退化成定时删除策略，以至于将CPU时间过多地消耗在删除过期键上面。

• 如果删除操作执行得太少，或者执行的时间太短，定期删除策略又会和惰性删除策略一样,出现浪费内存的情况。

7. Redis的过期键删除策略

Redis服务器使用的是惰性删除和定期删除两种策略:通过配合使用这两种删除策略，服务器可以很好地在合理使用CPU时间和避免浪费内存空间之间取得平衡。

惰性删除策略的实现

过期键的惰性删除策略由db.c/expireIfNeeded函数实现，所有读写数据库的Redis命令在执行之前都会调用expireTfNeeded 函数对输入键进行检查:

• 如果输人键已经过期，那么expireIfNeeded函数将输入键从数据库中删除。

• 如果输入键未过期，那么expireIfNeeded 函数不做动作。

命令调用expireIfNeeded函数的过程如图9-15所示。

expireIfNeeded函数就像一个过滤器，它可以在命令真正执行之前，过滤掉过期的输入键,从而避免命令接触到过期键。

另外，因为每个被访问的键都可能因为过期而被expireIfNeeded 函数删除，所以每个命令的实现函数都必须能同时处理键存在以及键不存在这两种情况:

• 当键存在时，命令按照键存在的情况执行。

• 当键不存在或者键因为过期而被expireIfNeeded 函数删除时，命令按照键不存在的情况执行。

定期删除策略的实现

过期键的定期删除策略由redis.c/activeExpirecycle函数实现，每当Redis的服务器周期性操作redis.c/serverCron函数执行时，activeExpirecycle函数就会被调用，它在规定的时间内，分多次遍历服务器中的各个数据库，从数据库的expires 字典中随机检查一部分键的过期时间，并删除其中的过期键。

activeExpirecycle函数的工作模式可以总结如下:

• 函数每次运行时，都从一定数量的数据库中取出一定数量的随机键进行检查，并删除其中的过期键。

• 全局变量current_db 会记录当前activeExpirecycle函数检查的进度，并在下一次activeExpirecycle函数调用时，接着上一次的进度进行处理。比如说，如果当前activeExpirecycle函数在遍历10号数据库时返回了，那么下次activeExpireCycle函数执行时，将从11号数据库开始查找并删除过期键。

• 随着activeExpirecycle函数的不断执行，服务器中的所有数据库都会被检查一遍，这时函数将current_db变量重置为0，然后再次开始新一轮的检查工作。

8. AOF、RDB和复制功能对过期键的处理 P128

生成RDB文件

载入RDB文件

AOF文件写入

AOF重写

复制

9. 数据库通知

数据库通知是Redis 2.8版本新增加的功能，这个功能可以让客户端通过订阅给定的频道或者模式，来获知数据库中键的变化，以及数据库中命令的执行情况。

发送通知

发送数据库通知的功能是由notify.c/notifyKeyspaceEvent函数实现的:

void notifyKeyspaceEvent(int type, char *event, robj *key,int dbid) ;

函数的type参数是当前想要发送的通知的类型，程序会根据这个值来判断通知是否就是服务器配置notify-keyspace-events选项所选定的通知类型，从而决定是否发送通知。

event、keys 和 dbid分别是事件的名称、产生事件的键，以及产生事件的数据库号码，函数会根据type参数以及这三个参数来构建事件通知的内容，以及接收通知的频道名。

每当一个Redis命令需要发送数据库通知的时候，该命令的实现函数就会调用notify-KeyspaceEvent函数，并向函数传递传递该命令所引发的事件的相关信息。

发送通知的实现

notifyKeyspaceEvent函数执行以下操作:

l ) server.notify_keyspace_events属性就是服务器配置notify-keyspace-events选项所设置的值，如果给定的通知类型type不是服务器允许发送的通知类型，那么函数会直接返回，不做任何动作。

2）如果给定的通知是服务器允许发送的通知，那么下一步函数会检测服务器是否允许发送键空间通知，如果允许的话，程序就会构建并发送事件通知。

3）最后，函数检测服务器是否允许发送键事件通知，如果允许的话，程序就会构建并发送事件通知。

另外,pubsubPublishMessage函数是PUBLISH命令的实现函数，执行这个函数等同于执行PUBLISH命令，订阅数据库通知的客户端收到的信息就是由这个函数发出的。

10. 重点

• Redis服务器的所有数据库都保存在redisServer.db数组中，而数据库的数量则由redisserver .dbnum属性保存。

• 客户端通过修改目标数据库指针，让它指向redisserver.db数组中的不同元素来切换不同的数据库。

• 数据库主要由dict和 expires两个字典构成，其中dict字典负责保存键值对，而expires字典则负责保存键的过期时间。

• 因为数据库由字典构成，所以对数据库的操作都是建立在字典操作之上的。

• 数据库的键总是一个字符串对象，而值则可以是任意一种Redis对象类型，包括字符串对象、哈希表对象、集合对象、列表对象和有序集合对象，分别对应字符串键、哈希表键、集合键、列表键和有序集合键。

• expires字典的键指向数据库中的某个键，而值则记录了数据库键的过期时间，过期时间是一个以毫秒为单位的UNIX时间戳。

• Redis 使用惰性删除和定期删除两种策略来删除过期的键:惰性删除策略只在碰到过期键时才进行删除操作，定期删除策略则每隔一段时间主动查找并删除过期键。执行SAVE命令或者BGSAVE命令所产生的新RDB文件不会包含已经过期的键。执行BGREWRITEAOF命令所产生的重写AOF 文件不会包含已经过期的键。

• 当一个过期键被删除之后，服务器会追加一条DEL命令到现有AOF文件的末尾，显式地删除过期键。

• 当主服务器删除一个过期键之后，它会向所有从服务器发送一条DEL命令，显式地删除过期键。

• 从服务器即使发现过期键也不会自作主张地删除它，而是等待主节点发来DEL命令，这种统一、中心化的过期键删除策略可以保证主从服务器数据的一致性。

• 当Redis命令对数据库进行修改之后，服务器会根据配置向客户端发送数据库通知。