Files: /kernel/locking/ww-mutex-design.html