
Linux Kernel Debugging
By :

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.
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.
The Linux Driver Verification...