English
当前您的位置: 当前位置: 首页 > 新闻动态 > 正文

钮鑫涛老师课题组在跨配置增量构建调度方面取得新进展

发布日期:2026-10-08 浏览量:

语义感知调度框架 SIBS 在 21 个开源系统上将构建时间较现有方法几何平均降低 27.7%,相关论文已被 ASE 2026 录用。

现代软件系统通常包含大量可配置选项,以支持不同的平台、功能组合和部署环境。为保证软件在不同配置下的正确性,Linux 内核等大型项目需要在持续集成过程中反复构建和测试大量配置。如果每种配置都从头构建,将产生大量重复编译,显著增加计算资源消耗和持续集成时间。跨配置增量构建可以复用相邻配置间的构建产物,但其效果高度依赖配置的构建顺序。

现有方法通常根据配置选项的语法差异估算配置切换成本,并采用贪心策略安排构建顺序。然而,语法差异难以准确反映配置变化对实际编译过程的影响:不同选项可能影响不同范围的源文件,部分变化还会通过全局配置头文件和文件依赖关系触发大规模重新编译。此外,贪心策略主要关注局部选择,难以获得整体更优的构建顺序。

针对上述问题,南京大学智能软件与工程学院硕士戴枭龙在钮鑫涛、吕骏、李杉杉老师的指导下,提出了语义感知的跨配置增量构建调度框架 SIBS。该框架通过分析配置选项对代码生成和构建过程的实际影响,构建配置之间的语义距离;同时考虑全局配置头文件的变化,以及变化在文件依赖图中的传播,从而更准确地估计配置切换所引发的重新编译成本。在此基础上,SIBS 将构建顺序优化建模为非对称旅行商问题,从全局角度寻找更有利于构建产物复用的配置执行顺序。

图1:SIBS 总体框架

研究团队在 21 个真实世界的可配置开源系统上开展了实验,并针对每个系统独立采样 5 组配置批次。实验结果表明,与现有跨配置增量构建调度方法 BUDDI 相比,SIBS 在 17 个系统中取得了更短的构建时间,跨项目构建时间的几何平均降幅达到 27.7%;计入语义分析和调度开销后,整体构建时间仍降低 27.4%。在不同配置批次中,SIBS 的整体降幅稳定在 25.7% 至 29.3% 之间,表明该方法具有较好的有效性和稳定性。

27.7%

27.4%

17 / 21

28.2%

与 BUDDI 相比,构建时间的几何平均降幅

计入语义分析与调度开销后的整体降幅

构建时间短于 BUDDI 的系统数

SIBS+Guard 比全部从头构建更快

研究团队还设计了带有风险防护机制的 SIBS+Guard,在可能影响增量复用正确性的情况下选择从头构建。实验结果显示,该机制在提高主要构建产物一致性的同时,仍比所有配置均从头构建快 28.2%,在构建效率与结果可靠性之间取得了较好平衡。

相关研究成果“Beyond Syntactic Differencing: Semantic-Aware Scheduling for Cross-Configuration Incremental Builds”已被第 41 届 IEEE/ACM 自动化软件工程国际会议(ASE 2026)录用,南京大学为第一完成单位。

ASE 是软件工程领域的顶级国际会议之一,也是中国计算机学会(CCF)推荐的 A 类会议。ASE 2026 将于 10 月 12 日至 16 日在德国慕尼黑举行。

论文信息

题目

Beyond Syntactic Differencing: Semantic-Aware Scheduling for Cross-Configuration Incremental Builds

会议

第 41 届 IEEE/ACM 自动化软件工程国际会议(ASE 2026),Research Papers 赛道

第一作者

戴枭龙(南京大学软件工程硕士生)

指导教师

钮鑫涛、吕骏、李杉杉

完成单位

南京大学(第一完成单位)

苏州校区

地址:苏州市太湖大道 1520 号

邮编:215163    邮箱:ise@nju.edu.cn

版权所有:南京大学智能软件与工程学院Copyright © All Rights Reserverd

网站制作:南京大学智能软件与工程学院