一句话:提出基于概率编程的 P4,为可配置系统性能影响建模引入不确定性量化与置信区间。
可配置软件系统的性能受配置选项及其交互影响。已有性能影响建模方法通常将选项影响和配置性能表示为标量点估计,忽略了测量偏差、模型表示与学习过程以及数据不完整等不确定性,导致不同方法和不同学习轮次给出不同结果且无法量化可靠性。本文提出 P4,一种基于概率编程的方法,显式地对选项影响的不确定性建模,从而在标量预测之外为每个配置性能预测给出置信区间,并能解释预测误差来源及哪些选项影响不可靠。在 12 个真实系统上的评估表明,P4 的预测精度与当前最优方法相当,同时提供可靠的置信区间。
Understanding the influence of configuration options on performance is key for finding optimal system configurations, system understanding, and performance debugging. In prior research, a number of performance-influence modeling approaches have been proposed, which model a configuration option's influence and a configuration's performance as a scalar value. However, these point estimates falsely imply a certainty regarding an option's influence that neglects several sources of uncertainty within the assessment process, such as (1) measurement bias, (2) model representation and learning process, and (3) incomplete data. This leads to the situation that different approaches and even different learning runs assign different scalar performance values to options and interactions among them. The true influence is uncertain, though. There is no way to quantify this uncertainty with state-of-the-art performance modeling approaches. We propose a novel approach, P4, based on probabilistic programming that explicitly models uncertainty for option influences and consequently provides a confidence interval for each prediction of a configuration's performance alongside a scalar. This way, we can explain, for the first time, why predictions may cause errors and which option's influences may be unreliable. An evaluation on 12 real-world subject systems shows that P4's accuracy is in line with the state of the art while providing reliable confidence intervals, in addition to scalar predictions.