Publicación:
Scalable Sampling of Highly-Configurable Systems: Generating Random Instances of the Linux Kernel

dc.contributor.authorMayr Dorn, Christoph
dc.contributor.authorEgyed, Alexander
dc.contributor.authorFernández Amoros, David José
dc.contributor.authorHeradio Gil, Rubén
dc.date.accessioned2024-08-21T12:11:41Z
dc.date.available2024-08-21T12:11:41Z
dc.date.issued2023-01-05
dc.description.abstractSoftware systems are becoming increasingly configurable. A paradigmatic example is the Linux kernel, which can be adjusted for a tremendous variety of hardware devices, from mobile phones to supercomputers, thanks to the thousands of configurable features it supports. In principle, many relevant problems on configurable systems, such as completing a partial configuration to get the system instance that consumes the least energy or optimizes any other quality attribute, could be solved through exhaustive analysis of all configurations. However, configuration spaces are typically colossal and cannot be entirely computed in practice. Alternatively, configuration samples can be analyzed to approximate the answers. Generating those samples is not trivial since features usually have inter-dependencies that constrain the configuration space. Therefore, getting a single valid configuration by chance is extremely unlikely. As a result, advanced samplers are being proposed to generate random samples at a reasonable computational cost. However, to date, no sampler can deal with highly configurable complex systems, such as the Linux kernel. This paper proposes a new sampler that does scale for those systems, based on an original theoretical approach called extensible logic groups. The sampler is compared against five other approaches. Results show our tool to be the fastest and most scalable one.en
dc.description.versionversión final
dc.identifier.urihttps://hdl.handle.net/20.500.14468/23190
dc.publisherAssociation for Computing Machinery (ACM)
dc.relation.centerFacultades y escuelas::E.T.S. de Ingeniería Informática
dc.relation.departmentIngeniería de Software y Sistemas Informáticos
dc.rightsAtribución-NoComercial-SinDerivadas 4.0 Internacional
dc.rightsinfo:eu-repo/semantics/openAccess
dc.rights.urihttp://creativecommons.org/licenses/by-nc-nd/4.0
dc.subject.keywordsrandom sampling
dc.subject.keywordsconfigurable systems
dc.subject.keywordsvariability modeling
dc.subject.keywordssoftware product lines
dc.subject.keywordsSAT
dc.subject.keywordsbinary decision diagrams
dc.subject.keywordsKconfig
dc.titleScalable Sampling of Highly-Configurable Systems: Generating Random Instances of the Linux Kerneles
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
Cargando...
Miniatura
Nombre:
Heradio_Ruben_Scalable_Sampling_of_Highly.pdf
Tamaño:
7.41 MB
Formato:
Adobe Portable Document Format