redis内存编码数据结构(整数集合、压缩列表)

redis内存编码数据结构(整数集合、压缩列表)_第1张图片

1、整数集合

整数集合(intset)是 Redis 用于保存整数值的集合抽象数据结构, 它可以保存类型为 int16_t 、 int32_t 或者 int64_t 的整数值, 并且保证集合中不会出现重复元素。

typedef struct intset {

    // 编码方式
    uint32_t encoding;
    /* contents 数组并不保存任何 int8_t 类型的值 —— contents 数组的真正类型取决于 encoding 属性的值:*/

    // 集合包含的元素数量,即contents数组的长度。
    uint32_t length;

    // 保存元素的数组
    int8_t contents[];
    /* 整数集合的每个元素都是 contents 数组的一个数组项(item), 各个项在数组中按值的大小从小到大有序地排列, 并且数组中不包含任何重复项。*/

} intset;

一个整数集合示例,包含五个 int16_t 类型的整数值
redis内存编码数据结构(整数集合、压缩列表)_第2张图片

    每当我们要将一个新元素添加到整数集合里面, 并且新元素的类型比整数集合现有所有元素的类型都要长时, 整数集合需要先进行升级(upgrade), 然后才能将新元素添加到整数集合里面。
    升级整数集合并添加新元素共分为三步进行:
①根据新元素的类型, 扩展整数集合底层数组的空间大小, 并为新元素分配空间。
②将底层数组现有的所有元素都转换成与新元素相同的类型, 并将类型转换后的元素放置到正确的位上, 而且在放置元素的过程中, 需要继续维持底层数组的有序性质不变。
③将新元素添加到底层数组里面。
    因为每次向整数集合添加新元素都可能会引起升级, 而每次升级都需要对底层数组中已有的所有元素进行类型转换, 所以向整数集合添加新元素的时间复杂度为 O(N) 。
    整数集合的升级策略有两个好处:提升整数集合的灵活性, 尽可能地节约内存。

    整数集合不支持降级操作,一旦对数组进行了升级,编码就会一直保持升级后的状态。

2、压缩列表

你可能感兴趣的:(redis)