Snowboard
Sishuai Gong, Deniz Altınbüken, Pedro Fonseca, Petros Maniatis
Abstract
Kernel concurrency bugs are challenging to find because they depend on very specific thread interleavings and test inputs. While separately exploring kernel thread interleavings or test inputs has been closely examined, jointly exploring interleavings and test inputs has received little attention, in part due to the resulting vast search space. Using precious, limited testing resources to explore this search space and execute just the right concurrent tests in the proper order is critical.
Topics & Concepts
Computer scienceConcurrencyThread (computing)Kernel (algebra)Parallel computingProgramming languageMathematicsCombinatoricsParallel Computing and Optimization TechniquesRadiation Effects in ElectronicsSoftware Testing and Debugging Techniques