Linux-insides: Synchronization primitives in the Linux kernel. Part 1
github.com