Publicación: Pragmatic Random Sampling of the Linux Kernel: Enhancing the Randomness and Correctness of the conf Tool
Fecha
2024-09-02
Autores
Horcas Aguilera, Jose Miguel
Galindo, José A.
Benavides, David
Fuentes, Lidia
Editor/a
Director/a
Tutor/a
Coordinador/a
Prologuista
Revisor/a
Ilustrador/a
Derechos de acceso
info:eu-repo/semantics/openAccess
Título de la revista
ISSN de la revista
Título del volumen
Editor
Association for Computing Machinery, New York
Resumen
The configuration space of some systems is so large that it cannot be computed. This is the case with the Linux Kernel, which provides almost 19,000 configurable options described across more than 1,600 files in the Kconfig language. As a result, many analyses of the Kernel rely on sampling its configuration space (e.g., debugging compilation errors, predicting configuration performance, finding the configuration that optimizes specific performance metrics, etc.). The Kernel can be sampled pragmatically, with its built-in tool conf, or idealistically, translating the Kconfig files into logic formulas. The pros of the idealistic approach are that it provides statistical guarantees for the sampled configurations, but the cons are that it sets out many challenging problems that have not been solved yet, such as scalability issues. This paper introduces a new version of conf called randconfig+, which incorporates a series of improvements that increase the randomness and correctness of pragmatic sampling and also help validate the Boolean translation required for the idealistic approach. randconfig+ has been tested on 20,000 configurations generated for 10 different Kernel versions from 2003 to the present day. The experimental results show that randconfig+ is compatible with all tested Kernel versions, guarantees the correctness of the generated configurations, and increases conf’s randomness for numeric and string options.
Descripción
Categorías UNESCO
Palabras clave
random sampling, configurable systems, variability modeling, software product lines, Kconfig, SAT, randconfig
Citación
David Fernandez-Amoros, Ruben Heradio, Jose Miguel Horcas Aguilera, José A. Galindo, David Benavides, Lidia Fuentes. Pragmatic Random Sampling of the Linux Kernel: Enhancing the Randomness and Correctness of the conf Tool in the 28th ACM International Systems and Software Product Line Conference 2024 DOI: 10.1145/3646548.3672586
Centro
Facultades y escuelas
Departamento
Ingeniería de Software y Sistemas Informáticos