数据库内核月报

数据库内核月报 - 2021 / 06

MySQL · 内核特性 · Btree 顺序插入优化及问题

Author: Yang Yuming

InnoDB 中的 B-tree

InnoDB 引擎使用索引组织表,即将所有数据记录有序存放在一个 B-tree 结构中,实现两个目的:

InnoDB 实现的 B-tree 有几点特性:

B-tree 页面分裂

如果要在下图 B-tree (fan-out=4)上继续插入记录 9,InnoDB 首先以 <= 9 的条件会定位到 leaf 层的记录 8 上,但是发现该 page 已经没有更多空间,此时就需要申请一个 new page。

这里产生一个问题:如何选择分裂点(split point),把哪些 rec 移动到 new page?

image-20210705104919981

InnoDB 采用两种分裂策略:

中间点(mid point)分裂

将原始页面中 50% 数据移动到新页面,这是最普通的分裂方法。以上图为例,分裂后 5、6 保留在原页面,7、8 移动到新页面,并将 9 插入到 8 之后,调整树结构后如下图:

image-20210705104942951

这种分裂方法使两个 page 的空闲率相同,如果之后的插入在这两个 page 上是随机的,那可以很好地利用空闲空间。但是,如果后续插入不是随机的,比如递增插入 10、11、12 等等,填充和分裂的永远是右侧 page,左侧 page 的利用率只有 50%,如下图:

image-20210705105006993

插入点(insert point)分裂

为了优化上述中间点分裂在顺序插入场景的问题,InnoDB 实现了在插入点分裂的方法,在每个 page 上记录上次插入位置 (PAGE_LAST_INSERT),以此判断本次插入是否递增 or 递减,如果判定为顺序插入,就在当前插入点进行分裂。还是以插入记录 9 为例,假设上次插入的是记录 8,本次插入时会判定为递增,在当前位置分裂后如下图:

image-20210705105158872

此后,继续插入记录 10、11、12 都无需分裂,直到插入 13 时才会再次按插入点分裂一次:

image-20210705105238631

(注意,按插入点分裂并不一定发生在 page 的最后一个 rec,如果 PAGE_LAST_INSERT 在 page 中间,并且判定当前插入为顺序插入,也会在插入点进行分裂。)

left split 优化

InnoDB 判断插入为递减模式时,会将 page 进行向左分裂,即 new page 插入到当前 page 左侧,这样做有两个优势:

Bug #67718

可以看出,在持续顺序插入情况下,B-tree 页面的空间利用率接近 100%。但是,在顺序插入和随机插入混合的情况下可能不起作用,甚至极端情况会导致极低的空间利用率(Bug#67718):

假设 B-tree 中原本有记录 5、6、7、8,并且上次插入的是记录 8,我们依次插入 11、10、9,插入 11 时会判定为递增插入,按插入点分裂后,11 被单独放到右侧 new page 中:

image-20210705105416171

继续插入 10,按 InnoDB 遍历 B-tree 的方法会定位到记录 8,此时这个 page 的 PAGE_LAST_INSERT 还是 8,插入 10 又会被判定为递增插入!如果继续插入 9,还会定位到记录 8,最终导致 9、10、11 都独自占据一个 page,空间利用率极低:

image-20210705105459939

我们看到,问题在于每次都定位到记录 8(end of page),并且都判定为递增模式。

根本原因是:

修复

针对这个问题,官方选择的修复方法是:如果插入点在 page 最后,就先尝试插入到其 next page 的开头,具体参考 btr_insert_into_right_sibling 函数。

将 rec 插入 right sibling 开头,会导致父节点中指向 right sibling 的索引项失效,例如,插入记录 10 后,node pointer 中的 key 还是 11,破坏了 B-tree 结构:

image-20210705105526463

必须更新父节点的索引项的 key 为 10,如果此时父节点没有加锁,就需要申请父节点的 latch,导致持有下层 latch 去申请上层 latch 的情况,破坏了加锁顺序,从而导致 InnoDB 的 B-tree 并发控制无法采用 latch coupling。

这种方法增加了分裂的复杂度,也不能保证更极端的数据分布下没有问题。所以针对这个问题,也可以采用更简单直接的办法,例如只对 B-tree 中最左和最右 page 采用顺序插入的优化,其余 page 只使用中间点分裂;或者按插入点分裂时,将插入点反向移动一个 rec,即多移动一个 rec,对上面问题也是有效的。每个方法都有自己的适用场景,没有绝对的优劣势。