针对大型软件项目中依赖关系管理复杂、构建错误频发的问题，早稻田大学研究人员 Yuta Saito、Kazunori Sakamoto 和 Hironori Washizaki 提出了一种基于 eBPF（扩展伯克利包过滤器）的新验证方法。该方法旨在解决传统工具如 Make、CMake 和 Zig 构建系统在依赖规范管理上的不足，据称能将速度提升约 54 倍。
技术背景与挑战
现代软件构建系统自动化了从源代码到可执行程序的转化过程，负责处理编译顺序、对象链接、平台特定要求以及测试和文档生成。然而，研究指出，在大型项目中，依赖关系的规范管理仍是主要痛点，超过半数的构建错误源于此。现有的依赖性分析工具多依赖于 ptrace 机制，这种机制需要大量的性能开销，限制了其在实时开发环境中的应用。
mkcheck2：基于 eBPF 的高效追踪
为改善这一状况，研究团队开发了名为 mkcheck2 的工具，其核心在于利用 eBPF 进行系统调用跟踪以分析依赖关系。eBPF 允许沙箱程序在内核空间内运行，从而执行网络监控、可观察性和安全性等低级操作任务。与 ptrace 每次系统调用都需要暂停进程并进行上下文切换不同，mkcheck2 通过在内核中直接执行跟踪代码，实现了非侵入式的监控，大幅降低了性能损耗。
实验数据与性能提升
该研究成果已发表在 2026 年 IEEE/ACM 第 48 届软件工程国际会议论文《使用 eBPF 和增量分析有效构建依赖性验证》中。评估数据显示：
- 开销降低：在保持检测精度的前提下，mkcheck2 相比现有基于 ptrace 的方法，可将依赖错误检测的开销降低高达 99.7%。
- 速度提升：在对 300 个 Make 项目的测试中，引入增量分析技术后，每次提交的平均分析时间从 1267.49 秒降至 23.56 秒。
- 效率倍数：这一改进使得持续依赖性验证在现实开发环境中变得切实可行，相当于将处理速度提高了约 54 倍。
局限性与适用范围
尽管效果显著，研究人员也指出了该方法的局限性。目前，mkcheck2 的收益主要体现于 Linux 等支持 eBPF 的系统，其他操作系统的构建系统可能无法获得同等程度的优化。此外，某些复杂的构建场景仍具挑战性，包括冗余依赖的类型识别、内存映射区域访问的追踪、动态加载库的依赖可见性、网络依赖处理以及分布式构建系统等。尽管如此，其潜在的巨大开销降低能力为节省软件开发时间提供了新的技术路径。
