Linus Torvalds 不满 Linux 6.9 中的一些 Bcachefs 代码

Bcachefs 文件系统自从被纳入 Linux 6.7 内核的上游版本以来，一直保持着良好的运行状态。但现如今，随着 Bcachefs 的功能更新被提交到 Linux 6.9 合并窗口，引发了 Linus Torvalds 对其中一些 proposed code 的不满。

维护者 Kent Overstreet 将针对 Linux 6.9 的 Bcachefs 改动的拉取请求总结为：

• Subvolume children btree；是为 walking subvolumes 提供用户空间界面所必需的，计划在稍后提供
• 对目录结构检查进行了大量改进
• 改进了日志管道，显着提高了 high iodepth write workloads 的性能
• Discard path 改进：Discard path 更加高效，并且不再不必要地刷新日志
• Buffered write path 现在可以避免占用 inode lock
• 调出用于 XFS 的各种库代码：time stats、mean_and_variance、darray、eytzinger、thread_with_file
• 新的 mm helper：memalloc_flags_{save|restore}
• mempool now does kvmalloc mempools

但让 Linus Torvalds 感到不解的是，这些补丁把 Bcachefs 代码中的一些元素移到了一些 library-type 的代码中，以至于可以轻松地被其他文件系统重用。

Linus Torvalds 在回应相关 PR 时表示：“我看了看'make random bcachefs code be a library function'的内容，觉得毫无意义，最终决定在没有进一步解释的情况下我不会使用它（老实说，我不认为这些解释站得住脚）。”

并直言 "stdio_redirect_printf() "和 darray_char 都很“恶心”。建议 Overstreet 将其保留在自己的代码中就好，不要试图提交上来。如果实在不死心的话，建议他先做好以下几点：

• 多加解释
• 有更合理的命名，减少恶心和完全无意义的 interfaces ("DARRAY()")。

而且，仅仅找到一个其他文件系统来共享这种代码并不足以证明它是一个合理的 interfaces 和合理的命名。

但是，最主要的问题是疯狂的数学计算。该死的，我们很久以前就讨论过"mean and variance"这种愚蠢的垃圾。当时就错了，现在还是错的。你没有解释为什么它不能使用简单得多的 MAD（median absolute deviation），而不是使用 variance。这个错误的决定直接导致无意义地使用过于复杂的 128 位数学。

我当时称其为疯狂的过度工程化，而就我所知，除了一些轻微的类型名称细节外，绝对没有任何变化。

只要你把它改成某种只适用于 bcachefs 的东西，我就不介意。但现在，你却试图把这些垃圾作为通用库代码推向市场，让其他人也能使用，这就意味着，我会介意这种过度设计的 interfaces。

在其他方面，time_stats 看上去就像是一个有名称和用途的正常 interfaces，但使用了这种可怕的基础架构后，它就变得不伦不类了。

在 Overstreet 争辩之后，Linus 进一步补充道：

加权版本的代码字面上没有任何变化。

variance value 是不同的，但 MAD 和 standard deviation 之间的区别基本上只是一个 constant factor（不同的分布会有所不同，但那又怎样？任何特定情况都会有特定的分布）。那么，为什么 constant factor 会对指数加权产生任何影响呢？

不管怎样，请随意将您的代码保存在 bcachefs 中。也许 xfs 甚至想复制该代码。我不在乎，这看起来很愚蠢，但这是文件系统的选择。但如果我们要把它打造成一个通用的内核库，它就必须是健全的。不要让人们仅仅为了随机统计元素而进行 64 位平方根和 128 位除法。

因此，就目前情况而言，Linus Torvalds 并没有接受这个针对 Linux 6.9 内核的 Bcachefs 拉取请求。至于后续如何，就要看新的 PR 会不会放弃这些补丁或以其他方式重新修改以满足 Linus 的要求。