Capturing the diversity of analyses on the Linux kernel variability

Johann Mortara (1, 2) , Philippe Collet (1, 2)

1 UniCA - Université Côte d'Azur
2 Laboratoire I3S - SPARKS - Scalable and Pervasive softwARe and Knowledge Systems

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.

Mots clés: Linux; configuration; variability; build system; variability anomalies

Domaines: Génie logiciel [cs.SE]

Johann Mortara, Philippe Collet. Capturing the diversity of analyses on the Linux kernel variability. 25th ACM International Systems and Software Product Line Conference - Volume A (SPLC ’21), Sep 2021, Leicester, United Kingdom. ⟨10.1145/3461001.3471151⟩. ⟨hal-03283627⟩