Linux 中配置不匹配的实证研究
软件工程
2021-10-13 v1
摘要
理想情况下，产品线的可变性由其变异模型完整且正确地表示。然而在实践中，额外的可变性常常体现在构建系统层面或代码中。这种情况可能导致不一致，即实际实现的可变性并未完全对应于变异模型所描述的可变性。本文关注配置不匹配，即有效可变性不同于变异模型所表示的可变性的情况。尽管先前研究已表明，即便在像 Linux 这样被充分分析的产品线中，此类情况至今依然存在，但迄今尚不清楚这类问题在现实中于何种情形下发生。具体而言，尚不清楚会出现哪些类型的配置不匹配及其严重程度如何。我们的贡献在于通过呈现对 Linux 4.4.1 内核中 80 个配置不匹配的详细人工分析并评估其关键性，来弥补这一空白。我们识别出各类配置问题，并表明约三分之二的配置不匹配可能实际导致内核错误配置。
引用
@article{arxiv.2110.05828,
title = {An Empirical Study of Configuration Mismatches in Linux},
author = {Sascha El-Sharkawy and Adam Krafczyk and Klaus Schmid},
journal= {arXiv preprint arXiv:2110.05828},
year = {2021}
}