阿里面试这样问:redis 为什么把简单的字符串设计成 SDS?
2021开工第一天,就有小伙伴私信我,还给我分享了一道他面阿里的redis
题(这家伙绝比已经拿到年终奖了),我看了以后觉得挺有意思,题目很简单,是那种典型的似懂非懂,常常容易被大家忽略的问题。这里整理出来分享一下,顺便自己巩固一下基础,希望对正在面试和想要面试的兄弟有点帮助。
题目大致是这样的
面试官:了解redis
的String
数据结构底层实现嘛?
铁子:当然知道,是基于SDS
实现的
面试官:redis
是用C
语言开发的,那为啥不直接用C
的字符串,还单独设计SDS
这样的结构呢?
铁子:·····
“
其实看得出面试官是想看看,铁子是只停留在redis的使用层面,还是对底层数据结构有过更深入的研究,面试嘛都爱这样问大家都懂得。
我们知道redis
是用C
写的,但它却没有完全直接使用C
的字符串,而是自己又重新构建了一个叫简单动态字符串SDS
(simple dynamic string)的抽象类型。
redis
也支持使用C
语言的传统字符串,只不过会用在一些不需要对字符串修改的地方,比如静态的字符输出。
而我们开发中使用redis
,往往会经常性的修改字符串的值,这个时候就会用SDS
来表示字符串的值了。有一点值得注意:在redis数据库中,key-value
键值对含有字符串值的,都是由SDS
来实现的。
比如:在redis
执行一个最简单的set
命令,这时redis
会新建一个键值对。
127.0.0.1:6379> set xiaofu "程序员内点事"
此时键值对的key
和value
都是一个字符串对象,而对象的底层实现分别是两个保存着字符串xiaofu
和程序员内点事
的SDS
结构。
再比如:我向一个列表中压入数据,redis 又会新建一个键值对。
127.0.0.1:6379> lpush xiaofu "程序员内点事" "程序员小富"
这时候键值对的键和上边一样,还是一个由SDS实现的字符串对象,键值对的值是一个包含两个字符串对象的列表对象了,而这两个对象的底层也是由SDS实现。
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,但是眼尖的同学会发现这明明是7个字符,还有一个"\0"
啊?
上边提到过SDS
没有完全直接使用C
的字符串,还是沿用了一些C特性的,比如遵循C
的字符串以空格符结尾的规则,这样还可以使用一部分C字符串的函数。而对于SDS来说,空字符串占用的一字节是不计算在len
属性里的,会为他分配额外的空间。
简单了解SDS结构后,下边我们来看看SDS相比于C字符串有哪些优点。
效率高
举个例子:工作中使用redis
,经常会通过STRLEN
命令得到一个字符串的长度,在SDS
结构中len
属性记录了字符串的长度,所以我们获取一个字符串长度直接取len
的值,复杂度是O(1)。
而如果用C字符串,在获取一个字符串长度时,需对整个字符串进行遍历,直至遍历到空格符结束(C中遇到空格符代表一个完整字符串),此时的复杂度是O(N)。
在高并发场景下频繁遍历字符串,获取字符串的长度很有可能成为redis
的性能瓶颈,所以SDS性能更好一些。
数据溢出
上边提到C字符串是不记录自身长度的,相邻的两个字符串存储的方式可能如下图,为字符串分配了合适的内存空间。
如果此时我想把“程序员内点事”
改成“程序员内点事123”
,可之前分配的内存只有6个字节,修改后的字符串需要9个字节才能放下啊,怎么搞?
没办法只能侵占
相邻字符串的空间,自身数据溢出导致其他字符串的内容被修改。
而SDS很好的规避了这点,当我们需要修改数据时,首先会检查当前SDS空间len
是否满足,不满足则自动扩容空间至修改所需的大小,然后再执行修改,如下图所示。
不过有个特殊的地方,在把“程序员内点事”
的6个字节扩容到“程序员内点事123”
9个字节后,发现free
属性的值变成了扩容后字符串的总长度,这就涉及到下边要说的内存重分配策略了。
内存重分配策略
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
数组中的数据,所以对存入其中的数据未做任何的限制、过滤,只要存进来什么样,取出来还是什么样。
总结
上边只是 redis 数据结构的一点基础知识,没什么难度,但以我的面试经验,如果被问这类问题,不要只含糊其辞的说出底层是SDS,有理有据的把为什么这样实现也说出来。
一来可以显得自己基本功扎实,如果表达的在条理清晰,是个很不错的加分项;在一个主动打消面试官问下去的念头,当然就怕不按套路出牌的人!
特别推荐一个分享架构+算法的优质内容,还没关注的小伙伴,可以长按关注一下:
长按订阅更多精彩▼如有收获,点个在看,诚挚感谢
阿里面试这样问:redis 为什么把简单的字符串设计成 SDS?相关推荐
- java语言特点 字符串不变_面试必问:Java中String类型为什么设计成不可变的?
这几天在各大平台上都看到过这样一些帖子,全都是关于String类型对象不可变的问题,当然现在也是找工作的准备时期,因此花了一部分时间对其进行整理一下. 想要完全了解String,在这里我们需要解决以下 ...
- java中数组的返回值是什么类型_面试必问:Java中String类型为什么设计成不可变的?...
这几天在各大平台上都看到过这样一些帖子,全都是关于String类型对象不可变的问题,当然现在也是找工作的准备时期,因此花了一部分时间对其进行整理一下. 想要完全了解String,在这里我们需要解决以下 ...
- eureka自我保护时间_阿里面试官问我:到底知不知道什么是Eureka,这次,我没沉默...
文章首发:阿里面试官问我:到底知不知道什么是Eureka,这次,我没沉默 什么是服务注册? 首先我们来了解下,服务注册.服务发现和服务注册中心的之间的关系. 举个形象的例子,三者之间的关系就好像是供货 ...
- 面试阿里!妹子终面,阿里面试官问:有没有男朋友? 结果...
点击"开发者技术前线",选择"星标????" 在看|星标|留言, 真爱 作者: 前线小熙 | 责编: 可可 来源 :开发者技术前线 刚好要到端午节前 ...
- 阿里面试官为什么面试狂问 Redis,把我问到哑口无言……
Redis 在国内各大公司都很热门,比如新浪.阿里.腾讯.百度.美团.小米等.Redis 也是大厂面试最爱问的,尤其是 Redis 客户端.Redis 高级功能.Redis 持久化和开发运维常用问题探 ...
- 阿里面试这样问:Nacos配置中心交互模型是 push 还是 pull ?(原理+源码分析)...
本文来源:公众号「 程序员内点事」 对于Nacos大家应该都不太陌生,出身阿里名声在外,能做动态服务发现.配置管理,非常好用的一个工具.然而这样的技术用的人越多面试被问的概率也就越大,如果只停留在使用 ...
- b+树时间复杂度_阿里面试,问了B+树,这个回答让我通过了
前言 上周我通过阿里一面,岗位是客户端开发工程师(是的,还是java岗!).面试过程中面试官问了B+树,回答时面试官一直点头(应该回答得还不错所以过了),今天详细讲一讲B+树. 平衡二叉树 它是一棵空 ...
- 查找树的指定层级_阿里面试,问了B+树,这个回答让我通过了
前言 上周我通过阿里一面,岗位是客户端开发工程师(是的,还是java岗!).面试过程中面试官问了B+树,回答时面试官一直点头(应该回答得还不错所以过了),今天详细讲一讲B+树. 平衡二叉树 它是一棵空 ...
- 阿里面试官:Redis分片集群都不懂?还来面试?
面试官:聊下Redis的分片集群,先聊 Redis Cluster好咯? 面试官:Redis Cluser是Redis 3.x才有的官方集群方案,这块你了解多少? 候选者:嗯,要不还是从基础讲起呗? ...
最新文章
- 将数据库改为使用登录名密码登陆
- LOL手游超燃测试好评如潮,没拿到资格不用急,期待一手不删档
- 深入理解gradle中的task
- ft2232驱动安装方法_ST-Link资料03_ST-Link固件升级、驱动下载安装方法
- [react] 说说react的生命周期有哪些?
- ruby array_Ruby中带有示例的Array.delete_if方法
- celery 可视化_Django中Celery的实现介绍(一)
- 注解形式控制器 数据验证,类型转换(3)
- WindStyle ExifInfo for Windows Live Writer发布
- 乌班图服务器系统网卡驱动,Linux_Ubuntu系统无法衔接网络 该怎样安装无线网卡驱动?,ubuntu已经很好的兼容了主流的 - phpStudy...
- linux光盘启动盘制作工具,Linux_最新万能 DOS 启动盘制作全攻略(软盘+光盘+U盘+硬盘+NTFS+应急实用工具),首先说明一下各种操作系统启 - phpStudy...
- 动态规划 DEMO 投资分配问题
- 从iOS切换到Android(flyme)
- cold diffusion的个人理解
- icraft服务器网页图片,iCraft家族添新一代顶级显卡
- SpringBoot文件上传遇到的问题及解决方案
- 6个“纽扣”卖2600 索尼动捕设备要捕捉谁?
- html5 励志名言,经典的励志名言50句
- 什么才是AI公司的商业模式?
- 面试展示:CRM项目客户管理模块展示
热门文章
- mysql/mariadb:数据库变量(参数)管理
- 伺服驱动器生产文件_在速度控制和力矩控制方面伺服驱动器与变频器的较量
- 关于学习Python的一点学习总结(49->迭代协议及迭代器的创建)
- CF570D Tree Requests
- 线段树扫描线求矩形周长详解
- anaconda 升级jupyter notebook_搭建 Python 轻量级编写环境(WSL2+Jupyter 自动开启本地浏览器)
- 2个422 并联一个总线_株洲新添2个全国“一村一品”示范村,一个在炎陵
- 数据结构(C语言版) 第 三 章 栈与队列 知识梳理 + 作业习题详解
- 【数论】数论基础合集
- java线程——join