paperbot · PL 论文追踪

全部论文 待读 收藏

P2 Multi-objectivizing software configuration tuning

软件配置调优的多目标化
FSE Proceedings of the 29th ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering2021匹配度 2/10 · 论文研究软件配置调优的搜索优化模型(元多目标化),属于性能工程/优化领域,与用户关注的静态分析、LLM/Agent、浮点程序分析、贝叶斯程序分析均无直接交叉;虽涉及运行时与配置系统,但不涉及程序分析或 Agentic 程序。引用 40 inbox
Tao Chen, Miqing Li
crossref: 2026-09-12

AI 速览

一句话:提出元多目标化模型 MMO,通过辅助性能目标使配置解互不支配,避免软件配置调优陷入局部最优。

自动调优软件配置以优化单一性能属性(如延迟)面临配置景观崎岖稀疏、测量昂贵、相邻配置行为差异大等困难,现有优化器易陷入局部最优。本文不改进优化器,而是在优化模型层面提出元多目标化模型(MMO)。该模型引入一个辅助性能目标(如吞吐量),但算法并不优化该辅助目标,而是利用它使性能相近而配置不同的解彼此互不支配(Pareto 非支配),从而扩大搜索覆盖、防止搜索被局部最优困住。摘要未报告具体实验评估;论文的贡献在于为昂贵测量下的软件配置调优提供一种新的建模视角。

问题
自动调优软件配置以优化单一性能属性(如最小化延迟)很困难,因为配置空间崎岖稀疏、测量昂贵,且相邻配置行为差异大,现有优化器容易陷入局部最优。
方法
提出元多目标化模型(MMO):引入辅助性能目标(如吞吐量),但不优化它,而是用它使性能相近但配置不同的解互不支配,从而避免搜索陷入局部最优。
评估
摘要未给出具体实验设置或结果;论文面向昂贵测量下的软件配置调优场景提出该模型。
原文摘要(Abstract)

Automatically tuning software configuration for optimizing a single performance attribute (e.g., minimizing latency) is not trivial, due to the nature of the configuration systems (e.g., complex landscape and expensive measurement). To deal with the problem, existing work has been focusing on developing various effective optimizers. However, a prominent issue that all these optimizers need to take care of is how to avoid the search being trapped in local optima — a hard nut to crack for software configuration tuning due to its rugged and sparse landscape, and neighboring configurations tending to behave very differently. Overcoming such in an expensive measurement setting is even more challenging. In this paper, we take a different perspective to tackle this issue. Instead of focusing on improving the optimizer, we work on the level of optimization model. We do this by proposing a meta multi-objectivization model (MMO) that considers an auxiliary performance objective (e.g., throughput in addition to latency). What makes this model unique is that we do not optimize the auxiliary performance objective, but rather use it to make similarly-performing while different configurations less comparable (i.e. Pareto nondominated to each other), thus preventing the search from being trapped in local optima.

链接与引用

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

BibTeX
@inproceedings{paperbot6307,
  title = {Multi-objectivizing software configuration tuning},
  author = {Tao Chen and Miqing Li},
  booktitle = {FSE},
  year = {2021},
  doi = {10.1145/3468264.3468555}
}