能量优化实验的严格验证
Towards Rigorous Validation of Energy Optimisation Experiments
摘要：
软件能耗的优化在现代计算的所有规模上都越来越重要，即，从嵌入式系统到数据中心。基于搜索的软件工程和软件遗传改进领域的从业者承认，由于噪声和昂贵的适应性评估，优化软件能耗是困难的。然而，从迄今为止的结果来看，很明显，在严格验证优化结果方面需要取得更多进展。这个问题是紧迫的，因为现代计算平台在能耗方面具有高度复杂和可变的行为。为了公平地比较解决方案，我们在本文中提出了一种新的验证方法，称为R3验证，它以旋转循环顺序练习软件变体。使用案例研究，我们提出了一个深入的分析，不断变化的系统状态对软件能源使用的影响，我们展示了如何R3验证减轻这些。我们将其与跨多个设备和操作系统的当前验证方法进行比较，并表明它更好地与实际平台行为保持一致。
英文摘要：
The optimisation of software energy consumption is of growing importance across all scales of modern computing, i.e., from embedded systems to data-centres. Practitioners in the field of Search-Based Software Engineering and Genetic Improvement of Software acknowledge that optimising software energy consumption is difficult due to noisy and expensive fitness evaluations. However, it is apparent from results to date that more progress needs to be made in rigorously validating optimisation results. This problem is pressing because modern computing platforms have highly complex and variable behaviour with respect to energy consumption. To compare solutions fairly we propose in this paper a new validation approach called R3-validation which exercises software variants in a rotated-round-robin order. Using a case study, we present an in-depth analysis of the impacts of changing system states on software energy usage, and we show how R3-validation mitigates these. We compare it with current validation approaches across multiple devices and operating systems, and we show that it aligns better with actual platform behaviour.
机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。
