Publicación:
Pragmatic Random Sampling of the Linux Kernel: Enhancing the Randomness and Correctness of the conf Tool

Vista sencilla de ítem
dc.contributor.authorFernández Amoros, David José
dc.contributor.authorHeradio Gil, Rubén
dc.contributor.authorHorcas Aguilera, Jose Miguel
dc.contributor.authorGalindo, José A.
dc.contributor.authorBenavides, David
dc.contributor.authorFuentes, Lidia
dc.contributor.orcidhttps://orcid.org/0000-0003-3758-0195
dc.contributor.orcidhttps://orcid.org/0000-0002-5677-7156
dc.contributor.orcidhttps://orcid.org/0000-0002-8449-3273
dc.contributor.orcidhttps://orcid.org/0000-0001-9293-9784
dc.coverage.spatialDommeldange, Luxembourg
dc.coverage.temporal2024-09
dc.date.accessioned2024-10-11T10:28:26Z
dc.date.available2024-10-11T10:28:26Z
dc.date.issued2024-09-02
dc.description.abstractThe 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.en
dc.description.versionversión final
dc.identifier.citationDavid 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
dc.identifier.doihttps://doi.org/10.1145/3646548.36725
dc.identifier.isbn979-8-4007-0593-9
dc.identifier.urihttps://hdl.handle.net/20.500.14468/24019
dc.language.isoen
dc.publisherAssociation for Computing Machinery, New York
dc.relation.centerFacultades y escuelas
dc.relation.congressSPLC '24: Proceedings of the 28th ACM International Systems and Software Product Line Conference
dc.relation.departmentIngeniería de Software y Sistemas Informáticos
dc.rightsinfo:eu-repo/semantics/openAccess
dc.rights.urihttp://creativecommons.org/licenses/by/4.0/deed.es
dc.subject33 Ciencias Tecnológicas::3304 Tecnología de los ordenadores
dc.subject.keywordsrandom samplingen
dc.subject.keywordsconfigurable systemsen
dc.subject.keywordsvariability modelingen
dc.subject.keywordssoftware product linesen
dc.subject.keywordsKconfigen
dc.subject.keywordsSATen
dc.subject.keywordsrandconfigen
dc.titlePragmatic Random Sampling of the Linux Kernel: Enhancing the Randomness and Correctness of the conf Toolen
dc.typeactas de congresoes
dc.typeconference proceedingsen
dspace.entity.typePublication
relation.isAuthorOfPublication60bb7374-7021-4fda-b2cb-ef7f923c64f4
relation.isAuthorOfPublication38af03ae-439e-45a8-8383-80340d20f7cb
relation.isAuthorOfPublication.latestForDiscovery60bb7374-7021-4fda-b2cb-ef7f923c64f4
Archivos
Bloque original
Mostrando 1 - 1 de 1
Miniatura
Nombre:
Heradio_Ruben_Pragmatic Random Sampling of th_RUBEN HERADIO GIL.pdf
Tamaño:
1.68 MB
Formato:
Adobe Portable Document Format
Descargar
Bloque de licencias
Mostrando 1 - 1 de 1
No hay miniatura disponible
Nombre:
license.txt
Tamaño:
3.62 KB
Formato:
Item-specific license agreed to upon submission
Descripción:
Descargar
Colecciones
Actas y comunicaciones de congresos