Improving Linux-Kernel Tests for LockDoc with Feedback-driven Fuzzing

Alexander Lochmann, Robin Thunig, Horst Schirmeier

LockDoc is an approach to extract locking rules for kernel data structures from a dynamic execution trace recorded while the system is under a benchmark load. These locking rules c…