数据库索引并不是万能药
几乎所有的业务项目都会涉及数据存储,虽然当前各种nosql和文件系统大行其道,但mysql等关系型数据库因为满足acid、可靠性高、对开发友好等特点,仍然最常被用于存储重要数据。在关系型数据库中,索引是优化查询性能的重要手段。
为此,我经常看到一些同学一遇到查询性能问题,就盲目要求运维或dba给数据表相关字段创建大量索引。显然,这种想法是错误的。今天,我们就以mysql为例来深入理解下索引的原理,以及相关误区。
innodb是如何存储数据的?
mysql把数据存储和查询操作抽象成了存储引擎,不同的存储引擎,对数据的存储和读取方式各不相同。mysql支持多种存储引擎,并且可以以表为粒度设置存储引擎。因为支持事务,我们最常使用的是innodb。为方便理解下面的内容,我先和你简单说说innodb是如何存储数据的。
虽然数据保存在磁盘中,但其处理是在内存中进行的。为了减少磁盘随机读取次数,innodb采用页而不是行的粒度来保存数据,即数据被分成若干页,以页为单位保存在磁盘中。innodb的页大小,一般是16kb。
各个数据页组成一个双向链表,每个数据页中的记录按照主键顺序组成单向链表;每一个数据页中有一个页目录,方便按照主键查询记录。数据页的结构如下:
页目录通过槽把记录分成不同的小组,每个小组有若干条记录。如图所示,记录中最前面的小方块中的数字,代表的是当前分组的记录条数,最小和最大的槽指向2个特殊的伪记录。有了槽之后,我们按照主键搜索页中记录时,就可以采用二分法快速搜索,无需从最小记录开始遍历整个页中的记录链表。
举一个例子,如果要搜索主键(pk)=15的记录:
- 先二分得出槽中间位是(0+6)/2=3,看到其指向的记录是12<15,所以需要从#3槽后继续搜索记录;
- 再使用二分搜索出#3槽和#6槽的中间位是(3+6)/2=4.5取整4,#4槽对应的记录是16>15,所以记录一定在#4槽中;
- 再从#3槽指向的12号记录开始向下搜索3次,定位到15号记录。
理解了innodb存储数据的原理后,我们就可以继续学习mysql索引相关的原理和坑了。
聚簇索引和二级索引
说到索引,页目录就是最简单的索引,是通过对记录进行一级分组来降低搜索的时间复杂度。但,这样能够降低的时间复杂度数量级,非常有限。当有无数个数据页来存储表数据的时候,我们就需要考虑如何建立合适的索引,才能方便定位记录所在的页。
为了解决这个问题,innodb引入了b+树。如下图所示,b+树是一棵倒过来的树:
- 最底层的节点叫作叶子节点,用来存放数据;
- 其他上层节点叫作非叶子节点,仅用来存放目录项,作为索引;
- 非叶子节点分为不同层次,通过分层来降低每一层的搜索量;
- 所有节点按照索引键大小排序,构成一个双向链表,加速范围查找。
因此,innodb使用b+树,既可以保存实际数据,也可以加速数据搜索,这就是聚簇索引。如果把上图叶子节点下面方块中的省略号看作实际数据的话,那么它就是聚簇索引的示意图。由于数据在物理上只会保存一份,所以包含实际数据的聚簇索引只能有一个。
innodb会自动使用主键(唯一定义一条记录的单个或多个字段)作为聚簇索引的索引键(如果没有主键,就选择第一个不包含null值的唯一列)。上图方框中的数字代表了索引键的值,对聚簇索引而言一般就是主键。
我们再看看b+树如何实现快速查找主键。比如,我们要搜索pk=4的数据,通过根节点中的索引可以知道数据在第一个记录指向的2号页中,通过2号页的索引又可以知道数据在5号页,5号页就是实际的数据页,然后再通过二分法查找页目录马上可以找到记录的指针。
为了实现非主键字段的快速搜索,就引出了二级索引,也叫作非聚簇索引、辅助索引。二级索引,也是利用的b+树的数据结构,如下图所示:
举个例子,有个索引是针对用户名字段创建的,索引记录上面方块中的字母是用户名,按照顺序形成链表。如果我们要搜索用户名为b的数据,经过两次定位可以得出在#5数据页中,查出所有的主键为7和6,再拿着这两个主键继续使用聚簇索引进行两次回表得到完整数据。
考虑额外创建二级索引的代价
创建二级索引的代价,主要表现在维护代价、空间代价和回表代价三个方面。接下来,我就与你仔细分析下吧。
首先是维护代价。创建n个二级索引,就需要再创建n棵b+树,新增数据时不仅要修改聚簇索引,还需要修改这n个二级索引。
我们通过实验测试一下创建索引的代价。假设有一个person表,有主键id,以及name、score、create_time三个字段:
create table `person` ( `id` bigint(20) not null auto_increment, `name` varchar(255) not null, `score` int(11) not null, `create_time` timestamp not null, primary key (`id`) ) engine=innodb default charset=utf8mb4;
通过下面的存储过程循环创建10万条测试数据,我的机器的耗时是140秒(本文的例子均在mysql 5.7.26中执行):
create definer=`root`@`%` procedure `insert_person`() begin declare c_id integer default 1; while c_id<=100000 do insert into person values(c_id, concat('name',c_id), c_id+100, date_sub(now(), interval c_id second)); set c_id=c_id+1; end while; end
如果再创建两个索引,一个是name和score构成的联合索引,另一个是单一列create_time的索引,那么创建10万条记录的耗时提高到154秒:
key `name_score` (`name`,`score`) using btree, key `create_time` (`create_time`) using btree
这里,我再额外提一下,页中的记录都是按照索引值从小到大的顺序存放的,新增记录就需要往页中插入数据,现有的页满了就需要新创建一个页,把现有页的部分数据移过去,这就是页分裂;如果删除了许多数据使得页比较空闲,还需要进行页合并。页分裂和合并,都会有io代价,并且可能在操作过程中产生死锁。
你可以查看这个文档,以进一步了解如何设置合理的合并阈值,来平衡页的空闲率和因为再次页分裂产生的代价。
其次是空间代价。虽然二级索引不保存原始数据,但要保存索引列的数据,所以会占用更多的空间。比如,person表创建了两个索引后,使用下面的sql查看数据和索引占用的磁盘:
select data_length, index_length from information_schema.tables where table_name='person'
结果显示,数据本身只占用了4.7m,而索引占用了8.4m。
最后是回表的代价。二级索引不保存原始数据,通过索引找到主键后需要再查询聚簇索引,才能得到我们要的数据。比如,使用select * 按照name字段查询用户,使用explain查看执行计划:
explain select * from person where name='name1'
执行计划如下,可以发现:
- key字段代表实际走的是哪个索引,其值是name_score,说明走的是name_score这个索引。
- type字段代表了访问表的方式,其值ref说明是二级索引等值匹配,符合我们的查询。
把sql中的*修改为name和score,也就是select name_score联合索引包含的两列:
explain select name,score from person where name='name1'
再来看看执行计划:
原因很简单,联合索引中其实保存了多个索引列的值,对于页中的记录先按照字段1排序,如果相同再按照字段2排序,如图所示:
最后,我和你总结下关于索引开销的最佳实践吧。
第一,无需一开始就建立索引,可以等到业务场景明确后,或者是数据量超过1万、查询变慢后,再针对需要查询、排序或分组的字段创建索引。创建索引后可以使用explain命令,确认查询是否可以使用索引。我会在下一小节展开说明。
第二,尽量索引轻量级的字段,比如能索引int字段就不要索引varchar字段。索引字段也可以是部分前缀,在创建的时候指定字段索引长度。针对长文本的搜索,可以考虑使用elasticsearch等专门用于文本搜索的索引数据库。
第三,尽量不要在sql语句中select *,而是select必要的字段,甚至可以考虑使用联合索引来包含我们要搜索的字段,既能实现索引加速,又可以避免回表的开销。
不是所有针对索引列的查询都能用上索引
在上一个案例中,我创建了一个name+score的联合索引,仅搜索name时就能够用上这个联合索引。这就引出两个问题:
- 是不是建了索引一定可以用上?
- 怎么选择创建联合索引还是多个独立索引?
首先,我们通过几个案例来分析一下索引失效的情况。
第一,索引只能匹配列前缀。比如下面的like语句,搜索name后缀为name123的用户无法走索引,执行计划的type=all代表了全表扫描:
explain select * from person where name like '%name123' limit 100
explain select * from person where name like 'name123%' limit 100
第二,条件涉及函数操作无法走索引。比如搜索条件用到了length函数,肯定无法走索引:
explain select * from person where length(name)=7
第三,联合索引只能匹配左边的列。也就是说,虽然对name和score建了联合索引,但是仅按照score列搜索无法走索引:
explain select * from person where score>45678
explain select * from person where score>45678 and name like 'name45%'
现在回到最开始的两个问题。
- 是不是建了索引一定可以用上?并不是,只有当查询能符合索引存储的实际结构时,才能用上。这里,我只给出了三个肯定用不上索引的反例。其实,有的时候即使可以走索引,mysql也不一定会选择使用索引。我会在下一小节展开这一点。
- 怎么选择建联合索引还是多个独立索引?如果你的搜索条件经常会使用多个字段进行搜索,那么可以考虑针对这几个字段建联合索引;同时,针对多字段建立联合索引,使用索引覆盖的可能更大。如果只会查询单个字段,可以考虑建单独的索引,毕竟联合索引保存了不必要字段也有成本。
数据库基于成本决定是否走索引
通过前面的案例,我们可以看到,查询数据可以直接在聚簇索引上进行全表扫描,也可以走二级索引扫描后到聚簇索引回表。看到这里,你不禁要问了,mysql到底是怎么确定走哪种方案的呢。
其实,mysql在查询数据之前,会先对可能的方案做执行计划,然后依据成本决定走哪个执行计划。
这里的成本,包括io成本和cpu成本:
- io成本,是从磁盘把数据加载到内存的成本。默认情况下,读取数据页的io成本常数是1(也就是读取1个页成本是1)。
- cpu成本,是检测数据是否满足条件和排序等cpu操作的成本。默认情况下,检测记录的成本是0.2。
基于此,我们分析下全表扫描的成本。
全表扫描,就是把聚簇索引中的记录依次和给定的搜索条件做比较,把符合搜索条件的记录加入结果集的过程。那么,要计算全表扫描的代价需要两个信息:
- 聚簇索引占用的页面数,用来计算读取数据的io成本;
- 表中的记录数,用来计算搜索的cpu成本。
那么,mysql是实时统计这些信息的吗?其实并不是,mysql维护了表的统计信息,可以使用下面的命令查看:
show table status like 'person'
输出如下:
- 总行数是100086行(之前explain时,也看到rows为100086)。你可能说,person表不是有10万行记录吗,为什么这里多了86行?其实,mysql的统计信息是一个估算,其统计方式比较复杂我就不再展开了。但不妨碍我们根据这个值估算cpu成本,是100086*0.2=20017左右。
- 数据长度是4734976字节。对于innodb来说,这就是聚簇索引占用的空间,等于聚簇索引的页面数量*每个页面的大小。innodb每个页面的大小是16kb,大概计算出页面数量是289,因此io成本是289左右。
所以,全表扫描的总成本是20306左右。
接下来,我还是用person表这个例子,和你分析下mysql如何基于成本来制定执行计划。现在,我要用下面的sql查询name>‘name84059' and create_time>‘2020-01-24 05:00:00'
explain select * from person where name >'name84059' and create_time>'2020-01-24 05:00:00'
其执行计划是全表扫描:
- mysql选择索引,并不是按照where条件中列的顺序进行的;
- 即便列有索引,甚至有多个可能的索引方案,mysql也可能不走索引。
其原因就是,mysql并不是猜拳决定是否走索引的,而是根据成本来判断的。虽然表的统计信息不完全准确,但足够用于策略的判断了。
不过,有时会因为统计信息的不准确或成本估算的问题,实际开销会和mysql统计出来的差距较大,导致mysql选择错误的索引或是直接选择走全表扫描,这个时候就需要人工干预,使用强制索引了。比如,像这样强制走name_score索引:
explain select * from person force index(name_score) where name >'name84059' and create_time>'2020-01-24 05:00:00'
我们介绍了mysql会根据成本选择执行计划,也通过explain知道了优化器最终会选择怎样的执行计划,但mysql如何制定执行计划始终是一个黑盒。那么,有没有什么办法可以了解各种执行计划的成本,以及mysql做出选择的依据呢?
在mysql 5.6及之后的版本中,我们可以使用optimizer trace功能查看优化器生成执行计划的整个过程。有了这个功能,我们不仅可以了解优化器的选择过程,更可以了解每一个执行环节的成本,然后依靠这些信息进一步优化查询。
如下代码所示,打开optimizer_trace后,再执行sql就可以查询
information_schema.optimizer_trace表查看执行计划了,最后可以关闭optimizer_trace功能:
set optimizer_trace="enabled=on"; select * from person where name >'name84059' and create_time>'2020-01-24 05:00:00'; select * from information_schema.optimizer_trace; set optimizer_trace="enabled=off";
对于按照create_time>'2020-01-24 05:00:00'条件走全表扫描的sql,我从optimizer_trace的执行结果中,摘出了几个重要片段来重点分析:
使用name_score对name84059<name条件进行索引扫描需要扫描25362行,成本是30435,因此最终没有选择这个方案。这里的30435是查询二级索引的io成本和cpu成本之和,再加上回表查询聚簇索引的io成本和cpu成本之和,我就不再具体分析了:
{ "index": "name_score", "ranges": [ "name84059 < name" ], "rows": 25362, "cost": 30435, "chosen": false, "cause": "cost" },
使用create_time进行索引扫描需要扫描23758行,成本是28511,同样因为成本原因没有选择这个方案:
{ "index": "create_time", "ranges": [ "0x5e2a79d0 < create_time" ], "rows": 23758, "cost": 28511, "chosen": false, "cause": "cost" }
最终选择了全表扫描方式作为执行计划。可以看到,全表扫描100086条记录的成本是20306,和我们之前计算的一致,显然是小于其他两个方案的28511和30435:
{ "considered_execution_plans": [{ "table": "`person`", "best_access_path": { "considered_access_paths": [{ "rows_to_scan": 100086, "access_type": "scan", "resulting_rows": 100086, "cost": 20306, "chosen": true }] }, "rows_for_plan": 100086, "cost_for_plan": 20306, "chosen": true }] },
把sql中的create_time条件从05:00改为06:00,再次分析optimizer_trace可以看到,这次执行计划选择的是走create_time索引。因为是查询更晚时间的数据,走create_time索引需要扫描的行数从23758减少到了16588。这次走这个索引的成本19907小于全表扫描的20306,更小于走name_score索引的30435:
{ "index": "create_time", "ranges": [ "0x5e2a87e0 < create_time" ], "rows": 16588, "cost": 19907, "chosen": true }
有关optimizer trace的更多信息,你可以参考mysql的文档。
重点回顾
今天,我先和你分析了mysql innodb存储引擎页、聚簇索引和二级索引的结构,然后分析了关于索引的两个误区。
第一个误区是,考虑到索引的维护代价、空间占用和查询时回表的代价,不能认为索引越多越好。索引一定是按需创建的,并且要尽可能确保足够轻量。一旦创建了多字段的联合索引,我们要考虑尽可能利用索引本身完成数据查询,减少回表的成本。
第二个误区是,不能认为建了索引就一定有效,对于后缀的匹配查询、查询中不包含联合索引的第一列、查询条件涉及函数计算等情况无法使用索引。此外,即使sql本身符合索引的使用条件,mysql也会通过评估各种查询方式的代价,来决定是否走索引,以及走哪个索引。
因此,在尝试通过索引进行sql性能优化的时候,务必通过执行计划或实际的效果来确认索引是否能有效改善性能问题,否则增加了索引不但没解决性能问题,还增加了数据库增删改的负担。如果对explain给出的执行计划有疑问的话,你还可以利用optimizer_trace查看详细的执行计划做进一步分析。
到此这篇关于数据库索引并不是万能药的文章就介绍到这了,更多相关数据库索引内容请搜索以前的文章或继续浏览下面的相关文章希望大家以后多多支持!
推荐阅读