整数集合
整数集合(intset)是redis用于保存整数值的集合抽象数据结构,它可以保存类型为int16_t、int32_t、int64_t的整数值,并且保证集合中不会出现重复元素。
数据结构:
typedef struct intset {
uint32_t encoding;//INTSET_ENC_INT16、INTSET_ENC_INT32、INTSET_ENC_INT64
uint32_t length; //记录数组包含元素数量
int8_t contents[];
} intset;
contents数组是整个集合的底层实现:整数集合的每个元素都是contents数组的一个数组项(item), 各个项在数组中按值的大小从小到大有序排列。、
升级:
content保存着原来数组,如果添加进来一个数据长度要大于之前数组长度,就会升级
升级步骤:
1 根据新元素类型,扩展整数集合底层数组的空间大小,并为新元素分配空间
2 将底层数组现有的所有元素都转换成与新元素相同的类型,并将类型转换后的元素放置在正确的位置上,而且在放置元素的过程中,需要继续维持底层数组的有序性质不变
3 将新元素添加到底层数组里面
//升级函数
static intset *intsetUpgradeAndAdd(intset *is, int64_t value) {
uint8_t curenc = intrev32ifbe(is->encoding);
uint8_t newenc = _intsetValueEncoding(value);
int length = intrev32ifbe(is->length);
int prepend = value < 0 ? 1 : 0;
/* First set new encoding and resize */
is->encoding = intrev32ifbe(newenc);
is = intsetResize(is,intrev32ifbe(is->length)+1);
/* Upgrade back-to-front so we don't overwrite values.
* Note that the "prepend" variable is used to make sure we have an empty
* space at either the beginning or the end of the intset. */
while(length--)
_intsetSet(is,length+prepend,_intsetGetEncoded(is,length,curenc));
/* Set the value at the beginning or the end. */
if (prepend)
_intsetSet(is,0,value);
else
_intsetSet(is,intrev32ifbe(is->length),value);
is->length = intrev32ifbe(intrev32ifbe(is->length)+1);
return is;
}
//添加
intset *intsetAdd(intset *is, int64_t value, uint8_t *success) {
uint8_t valenc = _intsetValueEncoding(value);
uint32_t pos;
if (success) *success = 1;
/* Upgrade encoding if necessary. If we need to upgrade, we know that
* this value should be either appended (if > 0) or prepended (if < 0),
* because it lies outside the range of existing values. */
if (valenc > intrev32ifbe(is->encoding)) {
/* This always succeeds, so we don't need to curry *success. */
//编码大于之前,需要升级
return intsetUpgradeAndAdd(is,value);
} else {
/* Abort if the value is already present in the set.
* This call will populate "pos" with the right position to insert
* the value when it cannot be found. */
//找到最佳位置
if (intsetSearch(is,value,&pos)) {
if (success) *success = 0;
return is;
}
//扩展大小
is = intsetResize(is,intrev32ifbe(is->length)+1);
//move
if (pos < intrev32ifbe(is->length)) intsetMoveTail(is,pos,pos+1);
}
//set
_intsetSet(is,pos,value);
is->length = intrev32ifbe(intrev32ifbe(is->length)+1);
return is;
}
压缩列表
压缩列表(ziplist)是列表键和哈希键的底层实现之一。当一个列表键只包含少量列表项,并且每个列表项要么就是小整数值,要么就是长度比较短的字符串,那么redis就使用压缩列表来做列表键的底层实现,另外,当一个哈希键只包含少量键值对,并且每个键值对的键和值要么就是小整数值,要么就是长度比较短的字符串,那么redis会使用压缩列表做哈希表的底层实现。
域 | 长度/类型 | 域的值 |
zlbytes | uint32_t | 整个 ziplist 占用的内存字节数,对 ziplist 进行内存重分配,或者计算末端时使用。 |
zltail | uint32_t | 到达 ziplist 表尾节点的偏移量。 通过这个偏移量,可以在不遍历整个 ziplist 的前提下,弹出表尾节点。 |
zllen | uint16_t | ziplist 中节点的数量。 当这个值小于 UINT16_MAX (65535)时,这个值就是 ziplist 中节点的数量; 当这个值等于 UINT16_MAX 时,节点的数量需要遍历整个 ziplist 才能计算得出。 |
entryX | ? | ziplist 所保存的节点,各个节点的长度根据内容而定。 |
zlend | uint8_t | 255 的二进制值 1111 1111 (UINT8_MAX) ,用于标记 ziplist 的末端。 |
对象
redis并没有直接使用这些原始的数据结构,而是把这些数据结构封装成对象。这个系统包含字符串对象、列表对象、哈希对象、集合对象、有序集合对象, 这些对象会根据不同场景使用不同数据结构
typedef struct redisObject {
unsigned type:4; //对象类型
unsigned encoding:4; //对象使用编码
unsigned lru:REDIS_LRU_BITS; /* lru time (relative to server.lruclock) */
int refcount;
void *ptr; //指向对象的底层数据结构
} robj;
类型:
对象 | 对象type属性的值 | type命令的输出 |
字符串对象 | REDIS_STRING | “string”’ |
列表对象 | REDIS_LIST | “list” |
哈希对象 | REDIS_HASH | “hash” |
集合对象 | REDIS_SET | “set” |
有序集合对象 | REDIS_HSET | “zset” |
编码:
编码常量 | 底层数据结构 |
|
REDIS_ENCODING_INT | long类型的整数 | REDIS_STRING |
REDIS_ENCODING_EMBSTR | embstr编码的简单动态字符串 | |
REDIS_ENCODING_RAW | 简单动态字符串 | |
REDIS_ENCODING_HT | 字典 | REDIS_HASH REDIS_SET |
REDIS_ENCODING_LINKEDLIST | 双端链表 | REDIS_LIST |
REDIS_ENCODING_ZIPLIST | 压缩列表 | REDIS_LIST REDIS_HASH REDIS_ZSET |
REDIS_ENCODING_INTSET | 整数集合 | REDIS_SET |
REDIS_ENCODING_SKIPLIST | 跳跃表和字典 | REDIS_ZSET |
对redis数据库保存的键值对来说,键总是一个字符串对象,而值可以是字符串对象、列表对象、哈希对象、集合对象、有序集合对象的其中一种。
通过encoding属性来设定对象所使用的编码,而不是为特定类型的对象关联一种固定的编码,极大的提升了redis的灵活性和效率。
有序集合zset 是dict和skiplist结合 dict保存key->score skiplist保存zset 数据