基于符号执行的大型系统中伪配置自动推理与检测
软件工程
2020-10-14 v1
摘要
错误配置是系统故障的主要原因。已有的解决方案侧重于检测由用户失误引入的无效设置。但另一种持续困扰生产服务的错误配置类型是伪配置——即设置本身有效，却在生产中导致出乎意料的性能低下。此类错误配置十分微妙，即便细致的管理员也可能无法预见。我们提出一种名为 Violet 的工具来检测此类错误配置。我们认识到伪配置的关键在于它导致某些慢速代码路径被执行，但不良性能影响并非总能被触发。因此，Violet 采用一种新方法，利用选择性符号执行系统性地推理配置参数、其组合效应以及与输入的性能关系。Violet 输出一个性能影响模型，用于自动检测不良配置设置。我们将 Violet 应用于四个大型系统。为评估 Violet 的有效性，我们收集了 17 个真实世界的伪配置案例。Violet 检测出了其中 15 个。Violet 还识别出了 9 个未知的伪配置。
引用
@article{arxiv.2010.06356,
title = {Automated Reasoning and Detection of Specious Configuration in Large Systems with Symbolic Execution},
author = {Yigong Hu and Gongqi Huang and Peng Huang},
journal= {arXiv preprint arXiv:2010.06356},
year = {2020}
}