整数集合是redis集合键的底层实现之一,如果一个集合只包含整数值元素,而且元素数量不多,redis就会用整数集合作为集合键的底层实现(redis集合键的另一种底层实现是跳表)。
一、整数集合的应用场景
跟整数集合intset相关的redis命令主要有ZADD、SADD等等
二、整数集合的数据结构
typedef struct intset {
uint32_t encoding; //编码方式
uint32_t length; //集合元素数量
int8_t contents[]; //保存元素的数组
} intset;
各个字段具体说明如下:
1. encoding:表示整数的编码方式,可选项为INTSET_ENC_INT16、INTSET_ENC_INT32和INTSET_ENC_INT64
2. length:集合包含的元素数量
3. contents[]:保存实际元素的数组,数组中元素是有序的。
三、整数集合的升级操作
step 1: 假设升级前有3个元素1、3、10,因为这3个元素都可以用INTSET_ENC_INT16表示,所以intset的实际存储如下,其中contents数组占用内存为3*16=48bit:
step 2:此时插入一个元素100000,因为INTSET_ENC_INT16存不下100000,而INTSET_ENC_INT32可以存下,所以需要将整数集合升级到INTSET_ENC_INT32。升级后intset的实际存储如下,其中contents数组占用内存为4*32=128bit:
升级时数据迁移过程具体为:扩展整数集合底层数组contents的空间大小,如上面例子中为128bit。然后先把10移到第64-95bit的位置上,再把3移到第32-63bit的位置上,再把1到第0-31bit的位置上,最后才把100000放到96-127bit的位置上(时间复杂度为O(N))。
四、整数集合的降级操作
不支持。。。浪费点空间,但影响不大。