软件构建过程中，“相依关系”走错一步就可能翻车：缺失的相依会导致编译失败或结果异常，而过多的相依还会触发无意义的重复构建，拖慢交付。以往研究就指出，相依性问题在大型软件构建错误中占比惊人，而维护构建系统甚至可能占到开发者相当可观的时间。
近日，早稻田大学研究团队开源了一套新的相依性验证工具 mkcheck2，希望把这类检查真正嵌入持续整合（CI）流程。它的核心目标很直接：在软件实际构建时，找出构建过程里“缺失”或“多余”的相依关系，并在不显著影响构建性能的前提下完成验证。
mkcheck2沿用了英国剑桥大学在2019年提出的开源思路——通过追踪程序在真实构建中发生的文件读写等活动，推断程序真正用到的相依，再对比构建规则中声明的相依是否存在偏差。但在实现细节上，它做了两项关键升级。
第一项改进是追踪技术从 ptrace 换成 eBPF。ptrace 追踪系统调用时需要频繁暂停正在运行的程序、切换到监控流程获取信息，产生额外性能负担；而 eBPF 能在 Linux 内核中直接执行追踪与记录，避免了反复切换。实测数据显示，使用 ptrace 时构建时间平均会增加148%；改用 eBPF 后，仅增加约0.3%。
第二项改进更“省时”：引入增量分析。mkcheck2不再每次都从头重建并检查全量相依图，而是对比前后两次构建的差异——每次代码提交后，只分析发生变化的部分。团队在300个开源项目上进行测试，平均分析时间从1267.49秒降到23.56秒，整体速度提升约54倍。
在保证效率的同时，准确性也没有妥协：对缺失相依的检测准确率达到100%，对多余相依的准确率也有92%。研究团队认为，当追踪与分析成本被大幅压缩后，开发团队就能在每次代码变更时更频繁地做相依性验证，让这项“看起来很重”的质量检查真正变成日常CI的一部分。
