Locking

• Lock types and their rules
• Runtime locking correctness validator
• Lock Statistics
• Kernel Lock Torture Test Operation
• Generic Mutex Subsystem
• RT-mutex implementation design
• RT-mutex subsystem with PI support
• Sequence counters and sequential locks
• Locking lessons
• Wound/Wait Deadlock-Proof Mutex Design
• Proper Locking Under a Preemptible Kernel: Keeping Kernel Code Preempt-Safe
• Lightweight PI-futexes
• Futex Requeue PI
• Hardware Spinlock Framework
• Percpu rw semaphores
• A description of what robust futexes are
• The robust futex ABI