时至今日,Linus Torvalds 实际上已经很少会亲自动手写内核代码;更多的是忙于监督上游的内核开发社区、审查代码、管理发布,并在邮件列表中进行讨论。不过近日,他就为 Linux 6.5 进行了将近 500 行的 code rework ,以改进用户模式的堆栈扩展代码。
他在合并报告中解释称:
这修改了我们的用户模式堆栈扩展代码,使其在修改 VM 布局之前始终获取 mmap_lock 进行写入。
实际上这是我们在技术上应该做到的事情,但是因为我们并不严格地需要它,所以我们有点偷懒("机会主义"听起来好多了,不是吗?)。并且在我们需要的地方设置了这个 hack,会在不进行适当锁定的情况下就地扩展堆栈 vma。
而且效果很好。我们只需要改变 vm_start(或者,在 grow-up stacks 的情况下,vm_end),再加上一些使用 anon_vma 锁和 mm>page_table_lock 的特殊的临时锁,这一切都相当简单明了。
也就是说这一切都很好,直到 Ruihan Li 指出,现在 vma 布局使用 maple tree code,我们真的不只是改变 vm_start 和 vm_end 了,而且 locking 真的被打破了。
一劳永逸地解决这个问题并做适当的 locking 其实并不可怕,但有点痛苦。 我们基本上有三种不同的堆栈扩展情况,它们的工作方式都略有不同。
目前,Linux 6.5 中的这个问题应该已经得到了解决。更多详情可查看此处。