redis经过前面几篇的数据结构构键了一个对象系统,这个对象系统包含了字符串对象,列表对象,哈希对象,集合对象,有序集合对象redis
每个对象都是一个redisobjectwindows
typedef struct redisObject { // 类型 unsigned type:4; // 编码 unsigned encoding:4; // 指向底层实现数据结构的指针 void *ptr; // ... } robj;
type表示类型,有5种,就是缓存
REDIS_STRING,REDIS_LIST,REDIS_HASH,REDIS_SET,REDIS_ZSET服务器
编码表示的就是底层的实现,由于每一种对象都至少有两种以上的实现方式。ptr指向的就是底层实现的数据结构数据结构
字符串对象的编码能够是int,raw,embstrapp
int针对的是整数函数
若是字符串的长度小于39,那么使用embram,不然使用raw优化
embstr和raw的区别编码
(1)embstr是连续的,object和sds是一块连续的内存,这样的话分配内存和释放内存都不是两次,而是一次spa
(2)充分利用缓存的优点
double类型其实也是字符串类型的
当时用的时候会从字符串类型转换为double类型
int和embstr在知足条件的时候都会转换为raw编码,好比一个整数10085 appending一个字符串的话就不在是一个整数了
另外embsr不能够修改的,他是只读的,若是要修改的话,他会自动转换为raw以后再进行修改
列表对象:
列表对象的编码可使压缩列表和双端链表,若是其中有字符串的话,字符串是字符串对象的表示,说明字符串对象能够被其余的对象嵌套
编码转换
(1)每个元素得长度都小于64,
(2)数量小于512,
知足上面两个条件的话就是用压缩列表,不然的话使用双端链表
哈希对象
哈希对象的编码能够是压缩列表和字典
以下图所示
至于编码的转换,和上面的是同样的,若是两个都知足,就使用压缩列表,不然使用字典
ps:注意这两个限制条件在redis.conf的配置文件中是能够修改的
集合对象:
集合对象的编码能够是整数集合和hashtable
看下面:
编码的转换条件
(1)都是整数
(2)元素数量不超过512个
知足以上条件使用整数集合,不然的话使用hashtable
有序集合对象:
编码能够是压缩列表和跳跃表
压缩列表实现的话,使按照分值排序,而且存储的话对象在前,分值在后
zset中基于跳跃表实现的话,就是讲分值从小到大排序,创建一个跳跃表,可是额外还须要一个字典,记录对象和分值的映射,这样的话对于ZSCORE命令,咱们能够在O(1)的时间复杂度就能够得到到指定对象的分值
二者结合,不管是有序遍历仍是得到指定元素,都会择优选择,下降时间复杂度
编码转换
(1)长度都小于64
(2)数量不超过128个
这两个都知足就是用压缩列表,否者就是用skiplist做为编码
额外对于对象还有不少优化和处理
(1)多态:不少命令都是具备多态的性质,就是能够处理多种命令
在执行一个命令的时候,咱们首先会根据值对象的类型去判断这个命令可否执行,若是能够的话,咱们还会根据值对象的编码方式选择正确的API去执行
好比上面,咱们就能够认为LLEN是多态的,多态能够包括基于类型的多态,和基于编码的多态
(2)内存管理:
对于redisobject咱们基于引用计数原值,定义在redisobject结构里面的refcount int,当对象引用计数下降为0的时候,释放对象。这个有点相似windows线程回收机制,采用计数原值,关闭handle减一,线程函数退出减一,为0的时候自动回收线程资源
(3)对象共享:
redis中多个键的值同样的话,会使值指针只想一块内存,引用计数增长,redis服务器初始化的时候会默认建立0-9999字符串,因此他们的引用计数在还没使用的时候就是1了
(4)空转时长:
redisobject中有个lru,表示最后访问的时候
经过idletime能够求出多久没有被访问了,就是当前时间和lru时间差(空转时长)
可是ps(这个命令不会修改lru属性)
若是服务器设置了maxmemory选项,那么当内存达到上线了,服务器会优先空转时间长的进行释放