一句话:提出 PromiseTune,用因果纯化规则引导配置调优,缓解探索-利用权衡并提供可解释性。
现代软件系统高度可配置,配置调优对保证延迟、吞吐等性能至关重要。但由于测量代价高昂、配置空间巨大且适应度地形崎岖,现有调优器难以在探索未知区域(逃离局部最优)与利用已知好配置(快速收敛)之间取得预算平衡,其根源在于我们不知道有前景区域位于何处,这也导致调优结果难以解释。本文提出 PromiseTune:它学习反映配置地形中某些区域的规则,并用因果推断对这些规则进行纯化;保留下来的规则可作为有前景区域的近似刻画,从而将调优搜索约束到这些区域,有效缓解探索-利用权衡。这些纯化区域还可与实测配置配对,在地形层面提供空间可解释性。在12个系统与不同预算下与11个最先进调优器对比,PromiseTune 显著更优,排名比总体第二名高出42%,同时提供更丰富的信息来解释隐藏的系统特性。
The high configurability of modern software systems has made configuration tuning a crucial step for assuring system performance, e.g., latency or throughput. However, given the expensive measurements, large configuration space, and rugged configuration landscape, existing tuners suffer ineffectiveness due to the difficult balance of budget utilization between exploring uncertain regions (for escaping from local optima) and exploiting guidance of known good configurations (for fast convergence). The root cause is that we lack knowledge of where the promising regions lay, which also causes challenges in the explainability of the results. In this paper, we propose PromiseTune that tunes the configuration guided by causally purified rules. PromiseTune is unique in the sense that we learn rules, which reflect certain regions in the configuration landscape, and purify them with causal inference. The remaining rules serve as approximated reflections of the promising regions, bounding the tuning to emphasize these places in the landscape. This, as we demonstrate, can effectively mitigate the impact of the exploration and exploitation trade-off. Those purified regions can then be paired with the measured configurations to provide spatial explainability at the landscape level. Compared with 11 state-of-the-art tuners on 12 systems and varying budgets, we show that PromiseTune performs significantly better than the others with \(42\%\) superior rank to the overall second best while providing richer information to explain the hidden system characteristics.