Linux创始人林纳斯·托瓦兹(Linus Torvalds)在近期推进的内核开发工作中再次尝试引入人工智能工具。继此前借助Claude Code优化文件读取性能之后,他利用大型语言模型分析了一段长期以来逻辑晦涩的关联数组代码。此次尝试不仅确认了开发者尼尔斯·奥尔罗格此前提交的缺陷报告,还意外发现了另外三个潜伏达十余年的漏洞。
托瓦兹在自己的Linux代码仓库中新增了名为assoc-array-fixes的Git标签,用于集中整理针对关联数组代码的修复工作。这项工作源于奥尔罗格报告的错误及相关补丁。由于原始实现过于晦涩难以直接理解,托瓦兹选择借助现代大型语言模型辅助分析,将庞大复杂的函数拆分为更清晰的结构,以便于审查其逻辑正确性。
在完成代码结构重构并将其放入用户空间测试框架运行后,测试结果不仅证实了最初报告的错误确实存在,还暴露出另外三个隐藏极深的问题。根据说明,这三个额外发现的漏洞可以追溯到2013年首次将该关联数组库引入Linux内核的时期,在长达十年的时间里一直未被充分暴露。
作为服务于内核内部数据管理的基础组件,关联数组涉及树状结构调整与复杂的边界条件,代码维护难度历来较高。此次进展表明AI工具在协助梳理复杂逻辑、拆分大型函数方面具备实际价值。然而实践也显示,AI并非凭借自身超越人类的程序理解能力直接定位缺陷,而是通过改善代码可读性,配合实际执行和可重复的测试框架,最终由人工审查确认问题。
这组针对关联数组的修复补丁目前尚未合并到Linux内核主线,预计将在接下来的Linux 7.4合并窗口期间进一步推进。对于维护庞大开源项目的开发者而言,在代码面对严苛稳定性要求时,利用AI梳理结构、结合严格工程验证的模式,提供了一条兼顾效率与安全的可行路径。