Finding NetBSD Kernel Bugs through LockDoc.

This post will be my attempt to package up my master’s thesis in a format that can be read comfortably. I’ve spent the last 15 months mostly on this topic, and if you’ve noticed that some of my past posts mostly revolved around NetBSD, this is why. I hope this also gives me the opportunity to shine a light on some implementation details, since the thesis itself had to be mostly focused on the academic stuff...

https://scholz.ruhr/blog/finding-netbsd-locking-bugs/

#kernel #system