Redis基本结构

 以前看了《Redis设计与实现》这本书，对Redis的认识加深了一些，便作了一些总结，同时也记录下本身的一些想法。

 这节先介绍Redis提供的基本结构，主要分为底层的基本结构和以对象形式包装的Object结构。

1.SDS

 C字符串在redis中主要用于无须对字符串值进行修改的地方，对于须要修改字符串的场景，则使用SDS（简单动态字符串）。

SDS的结构以下示：

 其中buff是字符串缓冲区，用于存放字符串，len为buf数组中已使用字节的数量，free为buf数组中未使用字节的数量。注意，buff中存放的是二进制数据，使用len属性来判断字符串是否结束，保留’\0’符号是为了兼容部分C函数。

 同C字符串相比，因为SDS记录了相关的使用状况，于是可以以常数复杂度获取字符串长度，而且可以杜绝缓冲区溢出。同时，经过使用空间预分配和惰性空间释放两种策略，可以减小修改字符串时带来的内存重分配次数。

 所谓空间预分配是指，当对SDS进行修改的时候，而且须要对SDS空间进行扩展的时候，程序不只会为SDS分配修改所须要的空间，还会为SDS分配额外的未使用空间。其分配策略是以下定义的：若是对SDS修改后的长度小于1MB，那么程序分配和len属性一样大小的未使用空间；若是对SDS修改后的长度大于等于1MB，那么程序会分配1MB的未使用空间。经过空间预分配策略，redis能够减小连续执行字符串增加操做所须要的内存重分配次数。

 所谓惰性空间释放，就是当须要缩短SDS保存的字符串的时候，程序并不当即使用内存从新分配来回收缩短后多出来的字节，而是使用free属性将这些字节的数量记录下来，并等未来使用。

 SDS的行为同Java中的StringBuilder相似。

2.list

 list结构是个标准的无环双向链表实现，结构以下:

 具体过程再也不讲解，网上对该结构的讲解比较多。

3.dict

 dict结构是个标准的字典实现，使用链地址法解决冲突。Dict的结构以下:

 其中ht是一个长度为2的数组，通常状况下只使用了ht[0]，ht[1]用于rehash过程。rehashidx记录了rehash的过程，-1表示没有在进行。redis采用渐进式rehash的方式来rehash，防止在数量庞大时致使服务器在一段时间内中止服务。

 渐进式rehash的主要过程为：为dict的ht[1]哈希表分配空间，能够是扩容，也能够是缩容;将保存在ht[0]中的全部键值对从新计算索引值，rehash到ht[1]上;迁移完成后释放ht[0]，将ht[1]设置为ht[0],并在ht[1]新建立一个空白哈希表，为下一次rehash作准备。

4.jump List

 跳表是有序集合的底层实现之一。

 关于跳表的细节，能够看下面的介绍

 redis使用跳表不用红黑树的缘由在于：

 在插入、删除、查找以及迭代输出有序序列这几个操做上，跳表跟红黑树的时间复杂度是同样的，可是在按区间查找数据的操做上，跳表的效率比红黑树更高。

1. 跳表较红黑树更好实现，意味着可读性好、不易出错。

2. 跳表更加灵活，能够经过改变索引结构来平衡执行效率和内存消耗之间的关系

5.intset

 当一个集合只包含整数值元素，而且这个集合的元素数量很少时，redis就会使用整数集合做为集合的底层实现。下面是intset的结构

 其中content用于存储整数集合的值，length为content的长度，encoding为content中存储的整数的类型，能够为int_16,int_32和int_64。

 当须要新增元素到intset里时，redis会保证元素是有序的。若是content长度不够或者新增的类型同encoding的类型不一样，还会触发intset的升级。升级过程包括从新分配content大小（以新的encoding类型为准），必要时提高encoding的类型，移动元素的位置，最后修改length属性。

 注意，intset不支持降级操做，一旦对数组进行了升级，编码就会一直保持升级后的状态。

6.zipList

 当一个列表键只包含少许列表项，而且每一个列表项要么就是小整数，要么就是长度比较短的字符串，那么就会使用压缩列表来作列表键的底层实现。

 压缩列表的结构以下:

 每一个zipList节点的组成部分以下:

每一个节点保存一个字节数据或者一个整数值，其中字节数组和整数值都容许保存不一样的长度,由encoding属性决定。previous_entry_length属性则记录了前一个节点的长度，使用1个字节或者5个字节来存储，在新节点加入时可能引发连锁更新.

7.object

 Redis以对象的形式来存储键值，提供了字符串对象，列表对象，哈希对象，集合对象和有序集合对象5种类型。并使用引用计数来管理对象的回收。

 对象结构的主要属性包括type，encoding和ptr属性。

 其中type属性记录了对象的类型，这个属性的值包括:

类型常量	对象的名称
REDIS_STRING	字符串对象
REDIS_LIST	列表对象
REDIS_HASH	哈希对象
REDIS_SET	集合对象
REDIS_ZSET	有序集合对象

 encoding记录了对象使用了什么数据结构的对象底层实现，这个属性的值包括:

编码常量	编码所对应的底层数据结构
REDIS_ENCODING_INT	long类型的整数
REDIS_ENCODING_EMBSTR	embstr编码的简单动态字符串
REDIS_ENCODING_RAW	简单动态字符串
REDIS_ENCODING_HT	字典
REDIS_ENCODING_LINKEDLIST	双端链表
REDIS_ENCODING_ZIPLIST	压缩列表
REDIS_ENCODING_INTSET	整数集合
REDIS_ENCODING_SKIPLIST	跳跃表和字典

1.REDIS_STRING

 字符串对象的编码能够为INT,EMBSTR或者RAW。当字符串对象保存的是整数，且该整数可以用long来表示，则使用int存储整数值;当保存的是一个字符串，且长度小于39字节，则使用embstr编码，大于39字节则使用raw编码.关于二者的区别，能够看下面的说明。而embstr要以39个字节来划分的缘由能够看这个说明

2.REDIS_LIST

 列表对象的编码能够为ZIPLIST或者LINKEDLIST。

 当列表对象能够同时知足如下两个条件时，列表对象使用ziplist编码：

1. 列表对象保存的全部字符串元素的长度都小于64字节;

2. 列表对象保存的元素数量小于512个 若不知足则使用linkedlist编码，该条件能够经过配置文件的配置项list-max-ziplist-value和list-max-ziplist-entries进行修改。

3.REDIS_HASH

 哈希对象的编码能够为ZIPLIST或者HASHTABLE

 当哈希对象能够同时知足如下两个条件时，哈希对象使用ziplist编码：

1. 哈希对象保存的全部键值对的键和值的字符串当度都小于64字节;

2. 哈希对象保存的键值对数量小于512个  若不知足则使用hashtable编码，该条件能够经过配置文件的配置项hash-max-ziplist-value和hash-max-ziplist-entries进行修改。

4.REDIS_SET

 集合对象的编码能够为INTSET或者HASHTABLE

 当集合对象能够同时知足如下两个条件时，使用intset编码：

1. 集合对象保存的全部元素都是整数值;

2. 集合对象保存的元素数量不超过512个

 若不知足则使用hashtable编码，该条件能够经过配置文件的配置项set-max-intset-entries进行修改。

5.REDIS_ZSET

 有序集合的编码能够为ZIPLIST或者SKIPLIST

 当有序集合对象同时知足如下两个条件时，使用ziplist

1. 有序集合保存的元素数量小于128个;

2. 有序集合保存的全部元素成员的长度都小于64字节;

 若不知足则使用skiplist编码，该条件能够经过配置文件的配置项zset-max-ziplist-entries和zset-max-ziplist-values进行修改。

 我的公众号:啊驼