sds结构-1
数据结构
这里比较有意思的是GNU C的零长度数组,sizeof(char buf[0]) == 0, 关于这篇内容的C语言技巧改日写一篇文章阐述
struct __attribute__ ((__packed__)) sdshdr8 {
uint8_t len; /* used */
uint8_t alloc; /* excluding the header and null terminator */
unsigned char flags; /* 3 lsb of type, 5 unused bits */
char buf[];
};
struct __attribute__ ((__packed__)) sdshdr16 {
uint16_t len; /* used */
uint16_t alloc; /* excluding the header and null terminator */
unsigned char flags; /* 3 lsb of type, 5 unused bits */
char buf[];
};
struct __attribute__ ((__packed__)) sdshdr32 {
uint32_t len; /* used */
uint32_t alloc; /* excluding the header and null terminator */
unsigned char flags; /* 3 lsb of type, 5 unused bits */
char buf[];
};
struct __attribute__ ((__packed__)) sdshdr64 {
uint64_t len; /* used */
uint64_t alloc; /* excluding the header and null terminator */
unsigned char flags; /* 3 lsb of type, 5 unused bits */
char buf[];
};
len:字符串长度
alloc:可用容量
flags:数据类型
buf:字符数据
可以看到,内容相同的数据结构,因为类型的原因按字长定义了四种。 redis存储的时候选最小的可用的结构去描述字符串,在避免内存消耗方面做到了极致。
宏解析
#define SDS_TYPE_8 1
#define SDS_TYPE_16 2
#define SDS_TYPE_32 3
#define SDS_TYPE_64 4
#define SDS_TYPE_MASK 7
#define SDS_TYPE_BITS 3
#define SDS_HDR_VAR(T,s) struct sdshdr##T *sh = (struct sdshdr##T *)((s)-(sizeof(struct sdshdr##T)));
#define SDS_HDR(T,s) ((struct sdshdr##T *)((s)-(sizeof(struct sdshdr##T))))
#define SDS_TYPE_5_LEN(f) ((f)>>SDS_TYPE_BITS)
flags值最大为4,占3位,所以SDS_TYPE_BITS为3,SDS_TYPE_MASK为7。
SDS_HDR就是获得一个类型的基地址,同时做了强制类型转换,这里所谓的基地址就是结构体的地址。
SDS_HDR_VAR就是定义了一个具体类型的指针。
可以看到redis作者通过宏来动态管理字符串的类型。这些trick玩的比较好,有可能是我玩单片机的时候接触不到这么高级的写法。
函数解析
因为传入的sds都是真正存储的位置,而函数中都会先获取到具体类型才执行相应逻辑。
unsigned char flags = s[-1];
因为声明结构体时已经取消了优化字节对齐,所以这些结构体都是程序都是连续存储的。
上述操作就是拿到了结构体的flags成员,这里的trick就是[]的玩法,其实就是base_addr+offset
sdslen
typedef char *sds;
static inline size_t sdslen(const sds s) {
unsigned char flags = s[-1];
switch(flags&SDS_TYPE_MASK) {
case SDS_TYPE_5:
return SDS_TYPE_5_LEN(flags);
case SDS_TYPE_8:
return SDS_HDR(8,s)->len;
case SDS_TYPE_16:
return SDS_HDR(16,s)->len;
case SDS_TYPE_32:
return SDS_HDR(32,s)->len;
case SDS_TYPE_64:
return SDS_HDR(64,s)->len;
}
return 0;
}
//就是获取到真正类型后直接取出对应的成员
static inline size_t sdsavail(const sds s);
static inline void sdssetlen(sds s, size_t newlen);
static inline void sdsinclen(sds s, size_t inc);
static inline size_t sdsalloc(const sds s);
static inline void sdssetalloc(sds s, size_t newlen);
//上述几个函数都是对结构体成员的获取和更新
//其实就是在算法前多了获取类型的操作
总结
觉得自己学的很浅,很多都没有接触过。redis作者这么巧妙的使用宏和各种自己想不到的知识点去实现,很有学习借鉴意义。你和大神的差别就在思想。