Capturing the diversity of analyses on the Linux kernel variability

Abstract

As its variability management architecture is complex, the Linux kernel is a constant subject of study for analyzing different aspects of its variability. It relies on a configuration-aware build system, preprocessor directives in the code, and a configuration tool. While many studies have focused on detecting anomalies within these parts or between them, all concepts and denominations are different among contributions, with similar properties devised with varied formalisms, or with no easy relationship between them. This actually hampers the understanding of all variability issues and proposed analyses, as well as their application to other highly configurable systems. In this paper, we analyse the different properties that have been studied on the variability of the kernel and propose a formalism based on the generic concepts of configurator and derivator. We instantiate them to represent the Kconfig, the Kbuild, and CPP in a unified model that enables to represent all the consistency properties. With this model, we manage to categorize the main related studies, establishing their coverage on the defined properties, showing also overlapping and divergences between studies. CCS CONCEPTS• Software and its engineering → Software product lines.

VaryMinions: leveraging RNNs to identify variants in variability-intensive systems’ logs

“…This problem is not restricted to business processes and naturally extends to variability-intensive systems, which change their behaviour in response to the (de)activation of some options. Examples of variability-intensive systems include Software Product Lines (SPLs) ; Apel et al (2013), operating systems kernels She et al (2010); Mortara and Collet (2021), code generators Boussaa et al (2016); , or web-based frameworks Halin et al (2019); Sánchez et al (2017). Validating these systems is difficult because enumerating all variants, whose number can grow exponentially with the number of options, is generally infeasible Halin et al (2019).…”