无效回表谁的锅?存储引擎:这事儿不赖我
明确场景
要回答这个问题,我们一般分几步来走:
1.确认问题,对齐 Sql 语句;
2.解答问题本身,也就是时间复杂度分析;
3.针对本身提出这个场景,可能出现的性能瓶颈进行分析;
4.针对瓶颈,提出多种优化手段。
接下来我们就按照这个思路来一步步深入。
对齐 Sql 语句
通常而言,面试官抛出一个问题,不见得就是一个非常完善、非常准确的描述,他其实是希望你能提出问题,通过沟通对齐,这也是工作中必备的能力。
首先问面试官,目前表的结构大概是怎样,索引的建设,又是怎样的,假设通过沟通,我们得到如下简化过的表 t_player:
只在 score 字段上建了二级索引,大小是从小到大。这里要找第 k 个,其实就是偏移 k-1:
时间复杂度分析
这个问题的核心就是查找语句的时间复杂度是多少?
这道题实际是有一定引导性的,故意说索引,就是想让你往树分支上引,我们都知道,走索引,按数值本身查找一个数据,那二级索引的时间复杂度,肯定是 O(logN)。
但这题不一样,是找第 k 个,比如第 100 个,我们其实是不知道树的分支结构具体是怎样的,也就是说我们不知道左子树有多少个节点,右子树有多少个节点。
进一步而言,我们没法确定走哪条路,树的分支结构不可行。
所以这里其实是考察 B+树的理解,B+树除了分支,底层还有一个双链表,直接走双链表查询,反而是更快的了。
时间复杂读 O(N),我们反过来想,其实这道题就是考你 B+树数据结构,如果直接问你 B+树结构,大多数有准备的同学,都能回答清楚,但是通过一个实际问题来问你,只有真正理解其作用,才能快速答出。
这就完了吗?当然没有,这只是一个起手式,下一步,面试官肯定会问你这个操作的性能如何,当然你也可以主动谈起。
offet 慢问题
如果 offset 大于 10000,这个数据查询就会非常的慢。为什么会慢呢,一般都会答因为遍历,时间复杂度是 O(N)。
但实际如果你测试一下,你会发现这条语句会慢得离谱,这绝不是所谓遍历能导致的。
更深层次的原因在于,对于前 10000 个不需要的数据,MySQL 每次也要回表去查找,这就导致了 10000 次随机 IO,当然慢成狗。
优化方案
如果有开发经验的同学,会很容易想到从业务形态上去优化,这里就不卖关子了,这种场景通常有三种解决方案。
1.业务上绕过
将 limit、offset,改为 next,也就是将第 x 页,改为下一页,这样就
可以通过树分支查找。
举个例子,百度的搜索界面,就是典型的分页面。
而现在移动互联网时代,用得更多的就是上一页、下一页这样的翻页逻辑,微博、抖音都是这样的逻辑。
使用这种模式,可以利用树索引直接找到目标,也绕过了无效回表问题,在 Offset 超过一万的情况下,性能通常都能提高两个量级以上。
当然,这种适合给分页做优化,如果回到我们题目本身来说,那查找第 k 大的数,就需要循环“下一页”下去,损耗反而更大。
2.硬碰硬
上面分析了,对无用数据还回表查询,导致大量随机 IO,是性能的核心瓶颈,那我们对症下药,能否不回表呢?
当然可以,我们可以进行索引覆盖。
索引覆盖是说当二级索引查询的数据都在二级索引本身,比如索引 Key 或主键 ID,那么就不必再去查聚簇索引。
那你可能会问,在我们的场景,还有其它需要查询的信息,比如名字,并不在二级索引上啊。
是的,但我们可以通过 sql 的拆分,来达到目的,思路如下:
这句话是说,先从条件查询中,查找数据对应的数据库唯一 id 值,因为主键在辅助索引上就有,所以不用回归到聚簇索引的磁盘上拉取。
如此以来,offset 部分均不需要去反查聚蔟索引,只有 limit 出来的 10 个主键 id 会去查询聚簇索引,这样只会 1 次 IO。在业务确实需要用分页的情况下,使用该方案可以大幅度提高性能,通常能满足性能要求。有同学可能担心本身走 B+树的双指针会是瓶颈,牛哥也做了测试:一张 500w 的表,offset 10000,要是没索引覆盖,处理时间甚至可以达到十秒级,有了的话,能降低到十毫秒级,有质的飞跃。ps:具体时耗和数据库性能等因素有关,以上数据只是参考。
3.预判边界值
这其实也是根据业务场景的做法,能通过业务预判边界,这种方式并不是通用解决方案,但因为《高性能 MySQL》中提到了,也一并列出来。
深层次灵魂发问
为什么 MySQL 不直接丢掉无用数据,还要傻乎乎地回表?
也许你曾经听过一个词,叫索引下推,在 MySQL5.6 之后,MySQL 通过索引下推提升了性能。
这个问题也类似,答案是 Offset 未曾下推!我们先 review 下查找流程:
1.存储引擎通过二级索引查找,获取主键值;2.进行回表操作,将完整记录返回给上层;3.上层判断是否需要该记录,需要则返回给客户端,不需要则跳过该记录;4.存储引擎接着查找下一条;
5.重复第二步。
从流程其实我们能看出,存储引擎层是没有 Offset 信息的。
牛哥和咱们训练营导师虎哥也讨论过这个问题,虎哥的解释还是比较到位的:
MySQL 不做的原因,无非两点:
1.限制场景太多,给多个引擎做有点得不偿失;
2.更核心的,分层设计理念,这件事本身是 Sql 层的,本就不该存储引擎做。
野生 db
那我们现在来看看所谓的野生 db 的情况:
野生 db1 号:阿里云
野生 db 2 号:腾讯云
另外,腾讯云还描述了适用场景:
下推之后阿里云测试了性能,Q3 即我们二级索引 order by ... limit 回表的场景,可以看到从 25s 降低到了 329ms 左右,相差 75.82 倍。
可以发现阿里腾讯两大云厂商 MySQL 自研版本都做了下推,那 MySQL 从技术上自然也能。
有大佬针对这个问题还给 MySQL 提了 bug。https://bugs.mysql.com/bug.php?id=109173
还带了修复方案:
https://bugs.mysql.com/file.php?id=31884&bug_id=109173
当然 mysql 有自己的设计理念和坚持,可能以后也不会采纳。
而将阿里云、腾讯云这些称为野生 db,其实也只是调侃的说法。
实际上他们都遵循实用原则,是非常优秀的团队,自研产品的决策灵活性本身也更高一些。
这倒不是非要分个孰优孰劣,大家搞清楚前因后果即可。
补丁分析
虽然我们已经将前因后果弄得很清楚,但相信还是会有同学好奇,上面的大佬做的补丁,到底是怎样的。牛哥和虎哥,也做了一些分析。
核心要素就是在引擎层增加了这么一个函数,可以下推索引。
这个函数有几层,最核心的其实在这里:
其实就是 offset 判断,如果 offset 比现在的遍历偏移还大,就跳过。
Sql 层会调用引擎层这个函数,当然调用之前会有个判断。
很复杂是吧,没事,咱们看注解:
其实就是限制了很多情况,比如 group by,having 这种推了也不顶用的,就不推了。
Review 一下
可以看到,看起来很简单的一个问题,其实牵涉到的知识很广:
**首先时间复杂度是多少?**考察 B+树结构;
**Offset 为什么慢?**考察对底层行为一定程度的掌握;
**几种解决方案?**考察技术视野和解决问题的能力;
**深层次行为原因?**考察 MySQL 分层架构,及对开源社区的关注。
如果你只是背八股文,而不去深入探索其中的原理,那面试官随便问几个问题,就能看出你其实基础是不扎实的。
这里不是说八股文不好,而是不能觉得面试就是考八股文,这其实是一个很大的误区。
评论