A Case Study of Interactive Conflict-Resolution Support in Software Configuration

Examensarbete för masterexamen

Please use this identifier to cite or link to this item: https://hdl.handle.net/20.500.12380/238168
Download file(s):
File Description SizeFormat 
238168.pdfFulltext2.36 MBAdobe PDFView/Open
Type: Examensarbete för masterexamen
Master Thesis
Title: A Case Study of Interactive Conflict-Resolution Support in Software Configuration
Authors: Jonsson, Daniel
Abstract: The Linux kernel is one of the largest highly configurable systems, with more than 13,000 configuration options. Although a description is provided for many of the configuration options, configuring the kernel has been identified as troublesome by both users and developers. To assist the user in satisfying unmet dependencies when configuring a system, an algorithm for resolving configuration conflicts called RangeFix has been proposed by academia. In this case study, we explore how RangeFix can be integrated with the Linux kernel configurator xconfig. We develop a prototype based on xconfig, where an existing Scala implementation of RangeFix is integrated to generate fixes and help the user resolve unmet dependencies. The workflow for configuring the kernel, supported by this prototype, is evaluated with Linux users through a survey. We find that the prototype is promising and can be useful in certain scenarios. We also evaluate the existing Scala implementation of RangeFix in terms of correctness and performance. Although the correctness is found to be good, it is much slower than the users’ expectation. How RangeFix can be implemented to comply with the Linux kernel community’s requirements is also explored in this case study. The result is a partial C implementation of RangeFix, based on a SAT solver. This C implementation is also evaluated in terms of correctness and performance. Even if our C implementation is incomplete, we find that this is a feasible way to implement the algorithm. When finished, it might perform well enough to provide interactive conflict-resolution support in the Linux kernel configurators.
Keywords: Data- och informationsvetenskap;Computer and Information Science
Issue Date: 2016
Publisher: Chalmers tekniska högskola / Institutionen för data- och informationsteknik (Chalmers)
Chalmers University of Technology / Department of Computer Science and Engineering (Chalmers)
URI: https://hdl.handle.net/20.500.12380/238168
Collection:Examensarbeten för masterexamen // Master Theses

Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.