Redis实现之对象（三）

集合对象

集合对象的编码可以是intset或者hashtable，intset编码的集合对象使用整数集合作为底层实现，集合对象包含的所有元素都被保存在整数集合里面。举个栗子，以下代码将创建一个图1-12所示的intset编码集合对象：

127.0.0.1:6379> SADD numbers 1 3 5
(integer) 3
127.0.0.1:6379> OBJECT ENCODING numbers
"intset"

图1-12   inset编码的numbers集合对象

另一方面，hashtable编码的集合对象使用字典作为底层实现，字典的每个键都是一个字符串对象，每个字符串对象包含了一个集合元素，而字典的值则全部被设置为NULL，以下的示例，将创建一个如图1-13所示的hashtable编码集合对象：

127.0.0.1:6379> SADD fruits "apple" "banana" "cherry"
(integer) 3
127.0.0.1:6379> OBJECT ENCODING fruits
"hashtable"

图1-13   hashtable编码的fruits集合对象

编码的转换

当集合对象可以同时满足以下两个条件时，对象使用intset编码：

• 集合对象保存的所有元素都是整数值
• 集合对象保存的元素数量不超过512个

不能满足以上两个条件对的集合对象需要使用hashtable编码，注意，第一个条件是无法修改的，但第二个条件的上限值可以修改，具体请看配置文件中关于set-max-intset-entries选项的说明

对于使用intset编码的集合对象来说，当使用intset编码所需的两个条件的任意一个不能被满足时，就会执行对象的编码转换操作，原本保存在整数集合中的所有元素都会被转移并保存到字典里面，并且对象的编码也会从intset变为hashtable

举个栗子，以下代码创建一个只包含整数元素的集合对象，该对象原来的编码为intset，但我们只要添加一个字符串元素，集合对象的编码转移操作就会被执行

127.0.0.1:6379> SADD numbers 1 3 5
(integer) 3
127.0.0.1:6379> OBJECT ENCODING numbers
"intset"
127.0.0.1:6379> SADD numbers "seven"
(integer) 1
127.0.0.1:6379> OBJECT ENCODING numbers
"hashtable"

除此之外，如果我们创建一个包含512个整数元素的集合对象，那么对象的编码应该是intset。但是，只要我们再往集合添加一个整数元素，使得这个集合的元素变为513，那么对象的编码转换操作就会被执行：

127.0.0.1:6379> EVAL "for i=1, 512 do redis.call(‘SADD‘, KEYS[1], i) end" 1 integers
(nil)
127.0.0.1:6379> SCARD integers
(integer) 512
127.0.0.1:6379> OBJECT ENCODING integers
"intset"
127.0.0.1:6379> SADD integers 10086
(integer) 1
127.0.0.1:6379> SCARD integers
(integer) 513
127.0.0.1:6379> OBJECT ENCODING integers
"hashtable"

集合命令的实现

因为集合键的值为集合对象，所以用于集合键的所有命令都是针对集合对象来操作的，表1-10列出了其中一部分集合键的命令，以及这些命令在不同编码的集合对象下的实现方法

有序集合对象

有序集合的编码可以是ziplist或者skiplist，ziplist编码的压缩列表中，每个集合元素使用两个紧挨在一起的压缩列表节点来保存，第一个节点保存元素的成员（member），而第二个元素保存元素的分值（score）。压缩列表内的集合元素按分值从小到大进行排序，分值较小的元素被放置在靠近表头的方向，而分值较大的元素则被放置在靠近表尾的方向

举个栗子，如果我们执行以下ZADD命令，那么服务器将创建一个有序集合对象作为price键的值：

127.0.0.1:6379> ZADD price 8.5 apple 5.0 banana 6.0 cherry
(integer) 3
127.0.0.1:6379> OBJECT ENCODING price
"ziplist"

price这个值对象如图1-14所示，而对象所使用的的压缩列表如图1-15所示

图1-14   ziplist编码的有序集合对象

图1-15   有序集合元素在压缩列表中按分值从小到大排列

skiplist编码的有序集合对象使用zset结构作为底层实现，一个zset结构同时包含一个字典和一个跳跃表

redis.h

typedef struct zset {
    dict *dict;
    zskiplist *zsl;
} zset;

typedef struct zskiplistNode {
    robj *obj;
    double score;
    struct zskiplistNode *backward;
    struct zskiplistLevel {
        struct zskiplistNode *forward;
        unsigned int span;
    } level[];
} zskiplistNode;

typedef struct zskiplist {
    struct zskiplistNode *header, *tail;
    unsigned long length;
    int level;
} zskiplist;

zset结构中的的zsl跳跃表按分值从小到大保存了所有集合元素，每个跳跃表节点都保存了一个集合元素：跳跃表节点的obj属性保存了元素的成员，而跳跃表节点的score属性则保存了元素的分值。通过这个跳跃表，程序可以对有序集合进行范围型操作，比如ZRANK、ZRANGE等命令就是基于跳跃表API来实现的

除此之外，zset结构中的dict字典为有序集合创建了一个从成员到分值的映射，字典中的每个键值对都保存了一个集合元素：字典的键保存了元素的成员，而字典的值则保存了元素的分值。通过这个字典，程序可以在O(1)的时间复杂度内查找给定成员的分值，ZSCORE命令就是根据这一特性实现的，而很多其他有序集合命令都在实现的内部用到了这一特性

有序集合中每个元素的成员都是一个字符串对象，而每个元素的分值都是一个double类型的浮点数。值得一提的是，虽然zset结构同时使用跳跃表和字典来保存有序集合元素，但这两种数据结构都会通过指针来共享相同元素的成员和分值，所以同时使用跳跃表和字典来保存集合元素不会产生任何重复成员或分值，也不会因为浪费额外的内存

为什么有序集合需要同时使用跳跃表和字典来实现？在理论上，有序集合可以单独使用字典或者跳跃表其中一种数据结构来实现，但无论使用字典还是跳跃表，在性能上比起同时使用字典和跳跃表都会有所降低。举个例子，如果我们只是用字典来实现有序集合，那么虽然可以在O(1)的时间复杂度内查找成员对应的分值，但是，因为字典以无序的方式来保存集合元素，所以每次在执行范围型操作——比如：ZRANK、ZRANGE等命令时，程序都需要对字典的所有元素进行排序，完成这种排序至少需要O(N logN)的时间复杂度，以及额外的O(N)内存空间（因为要创建一个数组来保存排序后的元素）

另一方面如果我们只使用跳跃表来实现有序集合，那么跳跃表执行范围型操作时的所有优点都会被保留，但因为没有了字典，所以根据成员查找分值这一操作的时间复杂度将从O(1)上升至O(logN)。因为以上原因，为了让有序集合的查找和范围型操作都尽可能快地执行，Redis选择了同时使用字典和跳跃表两种数据结构来实现有序集合

举个栗子，如果前面的price键创建的不是ziplist编码的有序集合对象，而是skiplist编码的有序集合对象，那么这个有序集合对象将会是图1-16所示的样子，而对象所使用的zset结构将会是图8-17所示的样子

图1-16   skiplist编码的有序集合对象

图1-17   有序集合元素同时被保存在字典和跳跃表中

编码的转换

当有序集合对象可以同时满足以下条件时，对象使用ziplist编码：

• 有序集合保存的元素数量小于128个
• 有序集合保存的所有元素的长度小于64字节

不能满足以上两个条件的有序集合对象将使用skiplist编码

# 对象包含了 128 个元素
127.0.0.1:6379> EVAL "for i=1, 128 do redis.call(‘ZADD‘, KEYS[1], i, i) end" 1 numbers
(nil)
127.0.0.1:6379> ZCARD numbers
(integer) 128
127.0.0.1:6379> OBJECT ENCODING numbers
"ziplist"
# 再添加一个新元素
127.0.0.1:6379> ZADD numbers 3.14 pi
(integer) 1
# 对象包含的元素数量变为 129 个
127.0.0.1:6379> ZCARD numbers
(integer) 129
# 编码已改变
127.0.0.1:6379> OBJECT ENCODING numbers
"skiplist"

以下代码则展示了有序集合对象因为元素的成员过长而引发编码转换的情况：

# 向有序集合添加一个成员只有三字节长的元素
127.0.0.1:6379> ZADD blah 1.0 www
(integer) 1
127.0.0.1:6379> OBJECT ENCODING blah
"ziplist"
# 向有序集合添加一个成员为 66 字节长的元素
127.0.0.1:6379> ZADD blah 2.0 oooooooooooooooooooooooooooooooooooooooooooooooooooooooooooooooooo
(integer) 1
# 编码已改变
127.0.0.1:6379> OBJECT ENCODING blah
"skiplist"

有序集合命令的实现

因为有序集合键的值为哈希值，所以用于有序集合键的所有命令都是针对哈希对象来构建的，表1-11列出了其中一部分有序集合键命令，以及这些命令在不同编码的哈希对象下的实现方法

原文地址：https://www.cnblogs.com/beiluowuzheng/p/9737243.html