Operating Systems: Three Easy Pieces by Remzi H. Arpaci-Dusseau and others / Locks

Online text: pages.cs.wisc.edu/~remzi/OSTEP/threads-locks.pdf

Cited passages: Chapter 28, sections 28.1–28.2 and 28.7–28.8: ownership, multiple lock objects, and spinning; Chapter 28, sections 28.6–28.7, figures 28.1–28.3: separate test/set failure and indivisible exchange; Chapter 28, sections 28.7–28.8, printed pp. 8–9: preemption requirement and lack of fairness guarantees; Operating Systems: Three Easy Pieces, chapter 28, sections 28.1–28.2, printed pp. 1–2: lock ownership and critical sections.