A few actual use cases of kernel bugs due to locking defects
Looking up existing, fixed bugs helps us better understand their root cause, and thus helps when we design and implement code. Here are a few instances of actual kernel bugs related to locking. We don't delve into the details of each (just a few); that's left to you! Quite clearly, the kernel bugs identified here aren't in the least bit exhaustive, merely an attempt to get you started on exploring kernel bugs – caused primarily by locking defects – faced by others and how they were tackled.
Defects identified by KCSAN
As was just covered in detail in the previous section, from the 5.8 kernel (Aug 2020), we have a really powerful weapon to catch kernel concurrency issues – KCSAN. Bugs found by KCSAN include those seen here: https://github.com/google/kernel-sanitizers/blob/master/kcsan/FOUND_BUGS.md.
Identifying locking rules and bugs from the LDV project
The Linux Driver Verification...
