Krace: Data Race Fuzzing for Kernel File Systems
Explore kernel file system data race fuzzing in this IEEE conference talk. Learn about concurrency challenges in the Linux kernel, conventional fuzzing processes, and their limitations in detecting data races. Discover how to explicitly bring out data races using checkers, and understand the importance of locking and ordering in race detection. Examine a multi-dimensional approach to coverage in fuzzing, focusing on the concurrency dimension. Delve into concurrency coverage tracking, aliased-instruction coverage, and active interleaving exploration through delay injection. Gain insights into the relationship between alias coverage growth and edge coverage, and understand the contributions of this research to improving kernel file system security.