对象共享
概述
除了用于实现引用计数内存回收机制之外,对象的引用计数属性还带有对象共享的作用。
在Redis中,让多个键共享同一个值对象需要执行以下两个步骤:
- 1.将数据库键的值指针指向一个现有的值对象
- 2.将被共享的值对象的引用计数增一
目前来说,Redis在初始化服务器时,创建一万个字符串对象,这些对象包含了从0到9999的所有整数值,当服务器需要用到值为0到9999的字符串对象时,服务器就会使用这些共享对象,而不是新创建对象
例子
- 举个例子,假设键A创建了一个包含整数值100的字符串对象作为值对象,如图所示
如果这时键B也要创建一个同样保存了整数100的字符串对象作为之对象,
那么服务器有以下两种做法:
1.为键B新创建一个包含整数值100的字符串对象
2.让键A和键B共享同一个字符串
以上两种方法明显是第二种方法更节约内存 - 举个例子,如图所示展示了包含整数值100的字符串对象同时被键A和键B
共享之后的样子,可以看到,除了对象的引用计数从之前的1变成了2之外,其他属性都没有变化,共享对象机制对于节约内存非常有帮助,数据库中保存的相同的值对象越多,对象共享机制就能节约越多的内存
- 例如,假设数据库中保存了整数值100的键不只有键A和键B两个,而是有一百个,那么服务器只需要用一个字符串对象的内存就可以保存原本需要使用一百个字符串对象的内存才能保存的数据。
- 举个例子,如果创建一个值为100的键A,并使用OBJECT REFCOUNT命令查看键A的值对象的引用计数,就会发现值对象的引用计数为2
127.0.0.1:6379> SET A 100
OK
127.0.0.1:6379> OBJECT REFCOUNT A
(integer) 2
引用这个值对象的两个程序分别时持有这个之对象的服务器程序,以及共享这个值对象的键A,如图所示。如果此时再创建一个值为100的键B,那么键B也会指向包含整数值100的共享对象,使得共享对象的引用计数值变为3,如图所示
127.0.0.1:6379> SET B 100
OK
127.0.0.1:6379> OBJECT REFCOUNT A
(integer) 3
127.0.0.1:6379> OBJECT REFCOUNT B
(integer) 3
注意
创建共享字符串对象的数量可以通过修改redis.h/REDIS_SHARED_INTEGERS
常量来修改
另外,这些共享对象不仅只有字符串键可以使用,那些在数据结构中嵌套了字符串对象的对象(linkedlist编码的列表对象、hashtable编码的哈希对象、hastable编码的集合对象,以及zset编码的有序集合对象)都可以使用这些共享对象。
为什么Redis不共享包含字符串的对象?
当服务器考虑将一个共享对象设置为键的值对象时,程序需要先检查给定的共享对象和键想创建的目标对象是否完全相同,只有在共享对象和目标对象完全相同的情况下,程序才会将共享对象用作键的值对象,而一个共享对象保存的值越复杂,验证共享目标和目标对象是否完全相同所需的复杂度就会越高,消耗的CPU时间也会越多:
- 1.如果共享对象是保存整数值的字符串,那么一年挣操作的复杂度为O(1)
- 2.如果共享对象是保存字符串值的字符串对象,那么验证操作的复杂度为O(N)
- 3.如果共享对象是包含了多个值(或者对象)的对象,比如列表对象或者哈希对象,那么验证操作的复杂度为O(N^2)因此,尽管共享更复杂的对象可以节约更多的内存,但受到CPU时间的限制,Redis只对包含整数值的字符串对象进行共享
对象的空转时长
概述
redisObject除了type、encoding、ptr和refcount四个属性之外,还包含最后一个属性lru属性,该属性记录了对象最后一次被命令程序访问的时间
typedef struct redisObject {
// ...
unsigned lru:22;
// ....
} robj;
OBJECT IDLETIME命令可以打印出给定键的空转市场,这一空转时长就是通过将当前时间减去键的之对象的lru时间计算得出的:
例子
- 举个例子
127.0.0.1:6379> SET msg "hello world"
OK
// 等待一小段时间
127.0.0.1:6379> OBJECT IDLETIME msg
(integer) 11
// 等待一阵子
127.0.0.1:6379> OBJECT IDLETIME msg
(integer) 16
// 访问msg键的值
127.0.0.1:6379> GET msg
"hello world"
// 键处于活跃状态,空转时长为0
127.0.0.1:6379> OBJECT IDLETIME msg
(integer) 5
注意
OBJECT IDLETIME命令的实现比较特殊,这个命令在访问键的值对象时,不会修改值对象的lru属性
除了可以被OBJECT IDLETIME命令打印出来之外,键的空转时长还有另外一项作用:如果服务器打开了maxmemory选项,并且服务器用于回收内存的算法为volatile-lru或者allkeys-lru,那么当服务器占用的内存数超过了maxmemory选项所设置的上限值时,空转时长较高的那部分键会优先被服务器释放,从而回收内存。