redis
是用C
写的,但它却没有完全直接使用C
的字符串,而是自己又重新构建了一个叫简单动态字符串SDS
(simple dynamic string)的抽象类型。
redis
也支持使用C
语言的传统字符串,只不过会用在一些不需要对字符串修改的地方,比如静态的字符输出。
SDS结构
一个SDS值的数据结构,主要由len
、free
、buf[]
这三个属性组成。
struct sdshdr{
int free; // buf[]数组未使用字节的数量
int len; // buf[]数组所保存的字符串的长度
char buf[]; // 保存字符串的数组
}
其中buf[]
为实际保存字符串的char
类型数组;free
表示buf[]数组未使用字节的数量;len
表示buf[]数组所保存的字符串的长度
例如上图表示的是buf[]
保存长度为6个字节的字符串,未使用的字节数free
为0
上边提到过SDS
没有完全直接使用C
的字符串,还是沿用了一些C特性的,比如遵循C
的字符串以空格符结尾的规则,这样还可以使用一部分C字符串的函数。而对于SDS来说,空字符串占用的一字节是不计算在len
属性里的,会为他分配额外的空间。
SDS结构 相比于C字符串有哪些优点。
效率高
举个例子:工作中使用redis
,经常会通过STRLEN
命令得到一个字符串的长度,在SDS
结构中len
属性记录了字符串的长度,所以我们获取一个字符串长度直接取len
的值,复杂度是O(1)。
而如果用C字符串,在获取一个字符串长度时,需对整个字符串进行遍历,直至遍历到空格符结束(C中遇到空格符代表一个完整字符串),此时的复杂度是O(N)。
在高并发场景下频繁遍历字符串,获取字符串的长度很有可能成为redis
的性能瓶颈,所以SDS性能更好一些。
数据溢出
上边提到C字符串是不记录自身长度的,相邻的两个字符串存储的方式可能如下图,为字符串分配了合适的内存空间.
SDS很好的规避了这点,当我们需要修改数据时,首先会检查当前SDS空间len
是否满足,不满足则自动扩容空间至修改所需的大小.
内存重分配策略
C字符串长度是一定的,所以每次在增长或者缩短字符串时,都要做内存的重分配,而内存重分配算法通常又是一个比较耗时的操作,如果程序不经常修改字符串还是可以接受的。
但很不幸,redis
作为一个数据库,数据肯定会被频繁修改,如果每次修改都要执行一次内存重分配,那么就会严重影响性能。
SDS通过两种内存重分配策略,很好的解决了字符串在增长和缩短时的内存分配问题。
1.空间预分配
空间预分配策略用于优化SDS字符串增长操作,当修改字符串并需对SDS的空间进行扩展时,不仅会为SDS分配修改所必要的空间,还会为SDS分配额外的未使用空间free
,下次再修改就先检查未使用空间free
是否满足,满足则不用在扩展空间。
通过空间预分配策略,redis
可以有效的减少字符串连续增长操作,所产生的内存重分配次数。
额外分配未使用空间free
的规则:
- 如果对 SDS 字符串修改后,
len
值小于1M
,那么此时额外分配未使用空间free
的大小与len
相等。 - 如果对 SDS 字符串修改后,
len
值大于等于1M
,那么此时额外分配未使用空间free
的大小为1M
。
2.惰性空间释放
惰性空间释放策略则用于优化SDS字符串缩短操作,当缩短SDS字符串后,并不会立即执行内存重分配来回收多余的空间,而是用free
属性将这些空间记录下来,如果后续有增长操作,则可直接使用。
数据格式多样性
C字符串中的字符必须符合某些特定的编码格式,而且上边我们也提到,C字符串以\0
空字符结尾标识一个字符串结束,所以字符串里边是不能包含\0
的,不然就会被误认是多个。
由于这种限制,使得C字符串只能保存文本数据,像音视频、图片等二进制格式的数据是无法存储的。
redis 会以处理二进制的方式操作Buf
数组中的数据,所以对存入其中的数据未做任何的限制、过滤,只要存进来什么样,取出来还是什么样。