paperbot · PL 论文追踪

全部论文 待读 收藏

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

超越语法差异:跨配置增量构建的语义感知调度
ASE Proceedings of the 41st IEEE/ACM International Conference on Automated Software Engineering2026引用 0 inbox
Xiaolong Dai, Shanshan Li, Jun Lyu, Xintao Niu
crossref: 2026-10-09

AI 速览

一句话:提出SIBS,用语义距离建模配置变更对重建范围的影响,并以ATSP全局调度减少跨配置增量构建时间。

现代可配置软件需在上千配置变体上构建测试,跨配置复用构建产物可减少冗余但调度困难。现有方法基于语法选项差异估计重建代价并贪心调度,易误判真实代价。本文提出SIBS,首个语义感知增量构建调度框架:用语义距离度量刻画配置变更对代码生成与重建范围的影响,考虑全局配置头文件并沿依赖图传播,再将代价感知全局调度形式化为非对称旅行商问题(ATSP)。在21个真实系统、五批配置上,SIBS在17个系统中快于最新调度器,平均节省196秒(21%),几何平均构建时间降低27.7%,批级降低25.7%–29.3%,调度开销中位3.1秒。

问题
跨配置增量构建中,如何准确估计配置变更导致的重建范围并安排构建顺序,以减少重复构建时间;现有语法差异估计与贪心调度常导致代价误判和次优顺序。
方法
提出语义距离度量,建模选项对代码生成的影响,考虑全局配置头文件并沿依赖图传播变更,进而将代价感知全局调度形式化为非对称旅行商问题(ATSP)求解。
评估
在21个真实系统和五批独立采样配置上,与最新构建调度器对比构建时间与调度开销;SIBS在17个系统中更优,平均节省21%,几何平均构建时间降低27.7%。
原文摘要(Abstract)

Modern configurable software systems are routinely built and tested across thousands of configuration variants to ensure correctness under diverse settings. Reusing build artifacts across configurations is therefore crucial to reduce redundant effort, yet remains challenging. Existing approaches estimate rebuild cost using syntactic option differences and apply greedy scheduling, which often misestimate true costs and yield suboptimal build orders. We present SIBS, the first semantics-aware scheduling framework for incremental builds across configurations, addressing both inaccurate cost estimation and the limitations of greedy scheduling. The key idea is a semantic distance metric that models the impact of configuration changes on rebuild scope by capturing option-level effects on code generation, accounting for global configuration headers, and propagating changes through dependency graphs. This enables cost-aware global scheduling formulated as an Asymmetric Traveling Salesman Problem (ATSP). Across 21 real-world systems and five independently sampled configuration batches, SIBS reduces observed build time relative to the state-of-the-art build scheduler in 17 systems. On average, it saves 196s (21%), with a median saving of 40s (3%), and achieves a 27.7% geometric-mean reduction in build time across projects. Batch-level reductions range from 25.7% to 29.3%, and the scheduling overhead remains modest (median 3.1s; mean 12.9s). These results demonstrate that semantics-aware cost modeling and global scheduling provide substantial and robust efficiency gains across diverse configurable systems.

链接与引用

DOI 原文 · PDF(开放获取) ·

BibTeX
@inproceedings{paperbot12483,
  title = {Beyond Syntactic Differencing: Semantic-Aware Scheduling for Cross-Configuration Incremental Builds},
  author = {Xiaolong Dai and Shanshan Li and Jun Lyu and Xintao Niu},
  booktitle = {ASE},
  year = {2026},
  doi = {10.1145/3832783.3837533}
}